zkIgnite 3: Plonk Verifier within o1js

zkIgnite 3: Plonk Verifier within o1js

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 >

Français

L’implémentation d’un vérificateur Plonk dans o1js rationalise le processus de validation pour les preuves VectorX et BlobstreamX (représentant les solutions de disponibilité des données d’Avail et Celestia), accessibles via la section “Latest Proof Section” trouvée ici : https://alpha.succinct.xyz/explorer.

Cette mise en œuvre tire parti de l’implémentation conviviale de l’appariement BN254, cruciale pour le vérificateur Plonk, ainsi que d’une fonctionnalité d’appariement dans o1js, comme détaillé dans la section mentionnée. Cette approche stratégique assure le déploiement efficace d’un vérificateur Plonk dans o1js.

Featured zkApps
MAC!
Katz
Anomix
Social Cap
zkLocus
Protokit
Pado
Wordle
zkFusion
zKeeper
Scroll to Top