కాంట్రాక్ట్ టూలింగ్

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 సర్క్యూట్‌లను మరియు SDKలను అందిస్తుంది. ఇన్‌బాక్స్‌లను బహిర్గతం చేయకుండా గోప్యతను కాపాడే గుర్తింపు లేదా రశీదు తనిఖీలు మీకు కావాల్సినప్పుడు ఇది ఉపయోగకరంగా ఉంటుంది.

Self Protocol

వాలెట్‌లు లేదా ఆధారాలకు ముడిపడి ఉన్న గోప్యతను-సంరక్షించే ధృవీకరణ ఫ్లోలు అవసరమైనప్పుడు నిర్మాతలు పొందుపరచగల ఓపెన్ గుర్తింపు మరియు నిరూపణ ప్రిమిటివ్‌లను Self ప్రోటోకాల్ అందిస్తుంది.

zkTLS/ TLSNotary

zkTLS / TLSNotary అనేది MPC తో TLS సెషన్‌ల లక్షణాలను నిరూపించడానికి ఒక ఓపెన్ ప్రోటోకాల్, తద్వారా ధృవీకర్తలు పూర్తి ప్లెయిన్‌టెక్స్ట్‌ను చూడకుండానే ట్రాన్‌స్క్రిప్ట్‌లను విశ్వసించగలరు.

Circom

Circom అనేది శూన్య-జ్ఞాన నిరూపణ వ్యవస్థలలో ఉపయోగించే అంకగణిత సర్క్యూట్‌లను వ్రాయడానికి మరియు కంపైల్ చేయడానికి ఒక డొమైన్-నిర్దిష్ట భాష మరియు కంపైలర్.

snarkjs

snarkjs అనేది zkSNARK నిరూపణలను రూపొందించడానికి మరియు ధృవీకరించడానికి, అలాగే Node.js మరియు బ్రౌజర్‌లో సాధారణ ప్రూవింగ్ వర్క్‌ఫ్లోలను రన్ చేయడానికి ఉపయోగించే ఒక JavaScript మరియు CLI టూల్‌కిట్.

Semaphore

Semaphore అనేది ప్రైవేట్ సమూహ సభ్యత్వ నిరూపణల కోసం ఒక శూన్య-జ్ఞాన ప్రోటోకాల్, ఇది గుర్తింపును బహిర్గతం చేయకుండా అనామక సిగ్నలింగ్ మరియు ప్రామాణీకరణకు వీలు కల్పిస్తుంది.