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

arkworks algebra

ZK సర్క్యూట్‌లు & గోప్యత

ధృవీకరణ

arkworks-rs/algebra https://crates.io/crates/ark-serialize

arkworks algebra is a set of Rust libraries for finite field, elliptic curve, and polynomial arithmetic, and it is the math layer under many SNARK and STARK toolchains. Rust builders add the ark crates when writing proving code from the ground up.

సంబంధిత వనరులు

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