Contract tooling

Verifiable UBT

ZK circuits & privacy

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

tkmct/go-ethereum/tree/test-ubt-prompt(2 ☆)

ప్రతి ఎథీరియం బ్లాక్‌కు Unified Binary Trie (UBT) మరియు మెర్కిల్ ప్యాట్రిసియా ట్రై స్థితి నవీకరణలు సరిపోలుతాయని ధృవీకరించే పునరావృత zkVM ప్రూఫ్‌లను ఉత్పత్తి చేస్తుంది. లైట్ క్లయింట్‌లు మరియు ప్రైవేట్ సమాచార పునరుద్ధరణ కోసం విశ్వాస రహిత స్థితి ధృవీకరణను సాధ్యం చేస్తుంది.

Related resources

ZK Email

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

Railgun

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

snarkjs

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

Noir

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

Circom

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

Aztec

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