Contract tooling

Halo2

ZK circuits & privacy

గోప్యతపై దృష్టి సారించిన · స్కేలబిలిటీ · డెవలపర్ అనుభవం · ధృవీకరణ

privacy-scaling-explorations/halo2(250 ☆)

తక్కువ ఖర్చుతో కూడిన L1 ధృవీకరణ కోసం Solidity ధృవీకర్తతో కూడిన KZG బ్యాకెండ్, బహుళ ఎలిప్టిక్ కర్వ్‌లకు మద్దతు మరియు డీకపుల్డ్ ఫ్రంటెండ్/బ్యాకెండ్ ఆర్కిటెక్చర్‌ను కలిగి ఉన్న, Zcash యొక్క Halo2 PLONK ప్రూఫ్ సిస్టమ్ యొక్క PSE పునర్నిర్మించిన ఫోర్క్.

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