Contract tooling

Noir

ZK circuits & privacy

కంపైలర్ · గోప్యతపై దృష్టి సారించిన

Noir అనేది శూన్య-జ్ఞాన సర్క్యూట్‌లను వ్రాయడానికి ఒక Rust-ప్రేరేపిత భాష, ఇది డెవలపర్‌లకు అనుకూలమైన సింటాక్స్‌ను మరియు Aztec ద్వారా నిర్వహించబడే టూలింగ్‌ను కలిగి ఉంటుంది.

Related resources

ZK Email

సవరించబడిన ఇమెయిల్ ట్రాన్‌స్క్రిప్ట్‌ల గురించిన వాస్తవాలను ఆన్‌చైన్‌లో నిరూపించడానికి ZK Email సర్క్యూట్‌లను మరియు SDKలను అందిస్తుంది. ఇన్‌బాక్స్‌లను బహిర్గతం చేయకుండా గోప్యతను కాపాడే గుర్తింపు లేదా రశీదు తనిఖీలు మీకు కావాల్సినప్పుడు ఇది ఉపయోగకరంగా ఉంటుంది.

Railgun

Railgun అనేది ఎథీరియం మరియు EVM నెట్‌వర్క్‌ల కోసం ఒక గోప్యతా ప్రోటోకాల్, ఇది శూన్య-జ్ఞాన నిరూపణలతో షీల్డ్ చేయబడిన లావాదేవీలను మరియు ప్రైవేట్ వికేంద్రీకృత ఫైనాన్స్ (DeFi) పరస్పర చర్యలను అందిస్తుంది.

snarkjs

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

Circom

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

Aztec

Aztec అనేది ప్రోగ్రామబుల్ గోప్యత మరియు శూన్య-జ్ఞాన నిరూపణలతో అప్లికేషన్‌లను నిర్మించడానికి గోప్యతకు-ప్రాధాన్యతనిచ్చే ఎథీరియం రోలప్ మరియు డెవలపర్ ప్లాట్‌ఫారమ్.

Semaphore

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