The integration of existing solutions for Data Availability, such as Avail and Celestia, emerges as a compelling initiative outlined in a MIP, as referenced here: https://forums.minaprotocol.com/t/draft-mina-data-availability-layer/6150/15. A deeper examination of this endeavor reveals VectorX, Avail’s data attestation proofs employing Plonky2 prover and Groth16 wrapper, and Blobstreamx, Celestia’s data availability solution implemented by Succinct Labs utilizing Plonky2 prover and Groth16 wrapper with a Plonk verifier. Through the incorporation of a Plonk Verifier within o1js, projects within the Mina Ecosystem gain the capability to validate VectorX and BlobstreamX proofs, which serve as data availability solutions. The implementation of a Plonk Verifier in o1js streamlines the validation process for VectorX and BlobstreamX proofs (representing Avail’s and Celestia’s Data Availability solutions), accessible through the “Latest Proof Section” found here: https://alpha.succinct.xyz/explorer. This implementation leverages the BN254 Pairing-friendly implementation, pivotal for the Plonk Verifier, alongside a pairing functionality in o1js, as detailed in the aforementioned section. This strategic approach ensures the effective deployment of a Plonk Verifier within o1js.

The long-term vision is to implement a zk light client both tracks the record of Avail’s Grandpa consensus and Vector, which is the Avail’s data commitment solution.

Onur İnanç Doğruyol Discord ID: onurinanc#8498 Read the original zkIgnite proposal here >