Circom

ZK Email ऑनचेन संपादित ईमेल ट्रांसक्रिप्ट के बारे में तथ्यों को साबित करने के लिए सर्किट और SDK प्रदान करता है। यह तब उपयोगी होता है जब आप इनबॉक्स को डॉक्स किए बिना गोपनीयता बनाए रखने वाली पहचान या रसीद की जांच करना चाहते हैं।

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 टूलकिट है।