Halo2

ZK Email ऑनचेन संपादित ईमेल ट्रान्सक्रिप्ट्सबद्दल तथ्ये सिद्ध करण्यासाठी सर्किट्स आणि SDKs प्रदान करते. जेव्हा तुम्हाला इनबॉक्सेस उघड न करता गोपनीयता जपणारी ओळख किंवा पावती तपासणी हवी असते, तेव्हा हे उपयुक्त ठरते.

SP1 from Succinct is a zero-knowledge virtual machine that proves correct execution of RISC-V programs, and it is used to generate proofs for rollups and bridges. Teams compile a Rust program with it when a proof must stand in for re-executing that program onchain.

Circom ही शून्य-ज्ञान पुरावा सिस्टीम्समध्ये वापरल्या जाणाऱ्या अंकगणितीय सर्किट्स लिहिण्यासाठी आणि संकलित करण्यासाठी एक डोमेन-विशिष्ट भाषा आणि कंपायलर आहे.