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

Noir

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

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

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

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

ZK Email

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

zkTLS/ TLSNotary

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

ZKPassport

శూన్య-జ్ఞాన నిరూపణలను ఉపయోగించి గోప్యమైన గుర్తింపు ధృవీకరణ. ఎలాంటి వ్యక్తిగత సమాచారాన్ని బహిర్గతం చేయకుండా వయస్సు, దేశం లేదా వ్యక్తిత్వ నిరూపణను ధృవీకరించండి. ఇంటిగ్రేషన్ మరియు ఆన్‌చైన్ రిజిస్ట్రీ కాంట్రాక్ట్‌ల కోసం SDKతో మొబైల్-ఫస్ట్ డిజైన్.

Self Protocol

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

Circom

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

snarkjs

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