SP1 Vector Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge in SP1. Docs