कॉन्ट्रॅक्ट टूलिंग

SP1 (Succinct)

ZK सर्किट्स आणि गोपनीयता

पडताळणी · स्केलेबिलिटी · स्तर 2

succinctlabs/sp1 https://crates.io/crates/sp1-primitives

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.

संबंधित संसाधने

ZK Email

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

Self Protocol

जेव्हा निर्मात्यांना वॉलेट्स किंवा क्रेडेन्शियल्सशी जोडलेल्या गोपनीयता-संरक्षक पडताळणी प्रक्रियांची आवश्यकता असते, तेव्हा ते एम्बेड करू शकतील असे मुक्त ओळख आणि पुरावा प्रिमिटिव्ह्ज Self Protocol प्रदान करते.

zkTLS/ TLSNotary

zkTLS / TLSNotary हा MPC सह TLS सेशन्सचे गुणधर्म सिद्ध करण्यासाठी एक ओपन प्रोटोकॉल आहे, जेणेकरून पडताळणीकर्ते संपूर्ण प्लेनटेक्स्ट न पाहता ट्रान्सक्रिप्ट्सवर विश्वास ठेवू शकतील.

Circom

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

snarkjs

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

Semaphore

Semaphore हा खाजगी गट सदस्यत्व पुराव्यांसाठी एक झिरो-नॉलेज प्रोटोकॉल आहे, जो ओळख उघड न करता निनावी सिग्नलिंग आणि प्रमाणीकरण सक्षम करतो.