Circom

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.

snarkjs हे zkSNARK पुरावे जनरेट आणि पडताळणी करण्यासाठी, तसेच Node.js आणि ब्राउझरमध्ये सामान्य प्रूव्हिंग वर्कफ्लोज चालवण्यासाठी एक JavaScript आणि CLI टूलकिट आहे.