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

Pythonistas, డేటా సైంటిస్ట్‌లు మరియు సెక్యూరిటీ ప్రొఫెషనల్స్ కోసం స్మార్ట్ కాంట్రాక్ట్ డెవలప్‌మెంట్ టూల్

Scaffold-ETH 2 అనేది వాలెట్ హుక్‌లు, హాట్ కాంట్రాక్ట్ రీలోడ్, స్థానిక ఫాసెట్ యుటిలిటీలు మరియు ఫుల్-స్టాక్ వికేంద్రీకృత అప్లికేషన్ (dapp) డిప్లాయ్‌మెంట్ కోసం ఎక్స్‌టెన్షన్ మాడ్యూల్స్‌తో కూడిన Next.js ప్లస్ Hardhat లేదా Foundry స్టార్టర్.

Ethereum Virtual Machineను లక్ష్యంగా చేసుకునే స్మార్ట్ కాంట్రాక్ట్‌ల కోసం Python-ఆధారిత డెవలప్‌మెంట్ మరియు టెస్టింగ్ ఫ్రేమ్‌వర్క్.

ethPM అనేది ఏదైనా EVM స్మార్ట్ కాంట్రాక్ట్ సిస్టమ్‌ను వినియోగించడానికి, పంపిణీ చేయడానికి లేదా నిర్వహించడానికి ఇమ్యూటబుల్ ప్యాకేజీ మేనేజర్.

తేలికపాటి వెబ్ ఆధారిత స్మార్ట్ కాంట్రాక్ట్ IDE

Moccasin అనేది Vyper లో వ్రాయబడిన స్మార్ట్ కాంట్రాక్ట్‌లను పరీక్షించడానికి, ఫజ్జింగ్ చేయడానికి మరియు డిప్లాయ్ చేయడానికి Titanoboa పై Cyfrin యొక్క Python-ఫస్ట్ వర్క్‌ఫ్లో.

మీరు GUIల కంటే టెర్మినల్స్‌ను ఇష్టపడినప్పుడు సాధారణ ఎథీరియం పనుల కోసం ఐచ్ఛిక AI సహాయకాలతో కూడిన EthernautDAO నుండి వచ్చిన Hardhat-ఆధారిత కమాండ్ టూల్‌బాక్స్ Ethernaut CLI.

opstack-kit అనేది స్టార్టర్‌లో పొందుపరచబడిన బ్రిడ్జింగ్ హెల్పర్‌లు, CustomGasToken ఫ్లోలు మరియు OP Stack CLI టాస్క్‌లతో Superchain-అనుకూల ఫ్రంటెండ్‌లు మరియు స్క్రిప్ట్‌లను స్కాఫోల్డ్ చేస్తుంది.

మీ Ethereum సాఫ్ట్‌వేర్‌ను నిర్మించడానికి మరియు డిప్లాయ్ చేయడానికి Hardhat ఒక డెవలప్‌మెంట్ ఎన్విరాన్మెంట్

Foundry అనేది ఎథీరియం స్మార్ట్ కాంట్రాక్ట్ ఇంజనీరింగ్ కోసం ఒక వేగవంతమైన, పోర్టబుల్ Rust టూల్‌చైన్, ఇది డిపెండెన్సీలను నిర్వహిస్తుంది, Solidityని కంపైల్ చేస్తుంది, ఫజ్ మరియు యూనిట్ పరీక్షలను రన్ చేస్తుంది, కాంట్రాక్ట్‌లను డిప్లాయ్ చేస్తుంది మరియు టెర్మినల్ లేదా Solidity ఆటోమేషన్ స్క్రిప్ట్‌ల నుండి స్క్రిప్ట్ చేయబడిన చైన్ ఇంటరాక్షన్‌ను నడుపుతుంది.

Kurtosis పునరుత్పత్తి చేయగల మల్టీ-సర్వీస్ డెవ్‌నెట్‌లను ప్యాకేజ్ చేస్తుంది, తద్వారా మీరు మాన్యువల్‌గా నిర్వహించే కంపోజ్ ఫైల్‌ల కంటే వేగంగా ఇంటిగ్రేషన్ పరీక్షల కోసం వాస్తవిక ఎథీరియం లేదా రోలప్ స్టాక్‌లను స్పిన్ అప్ చేయవచ్చు.

CreateX అనేది pcaversaccio యొక్క విశ్వాస రహిత యూనివర్సల్ డిప్లాయర్, ఇది CREATE, CREATE2 మరియు CREATE3-శైలి ఫ్లోలను ర్యాప్ చేస్తుంది, తద్వారా బృందాలు ప్రత్యేకమైన ఫ్యాక్టరీ కోడ్ లేకుండా ఊహించదగిన చిరునామాల నుండి కాంట్రాక్ట్‌లను ప్రారంభించగలవు.

Crypto Infrastructure as Codeని పరిచయం చేయడం ద్వారా Txtx స్మార్ట్ కాంట్రాక్ట్ ఇన్‌ఫ్రాస్ట్రక్చర్ నిర్వహణ యొక్క ఒత్తిడి, నొప్పి మరియు కన్నీళ్లను మారుస్తుంది. రన్‌బుక్‌లు ఇంజనీరింగ్ ఎక్సలెన్స్ కోసం బ్లూప్రింట్, Web3 ఇన్‌ఫ్రాస్ట్రక్చర్‌ల కోసం కొత్త ప్రమాణాన్ని సెట్ చేస్తాయి.

స్మార్ట్ కాంట్రాక్ట్ టెస్ట్ సూట్‌ల కోసం గ్యాస్ వినియోగ అనలిటిక్స్‌ను అందించే hardhat ప్లగిన్. ఇది OPStack చైన్‌లకు అంకితమైన మద్దతును కలిగి ఉంది, > 150k Github రెపోలలో డిపెండెన్సీగా ఉంది మరియు వారానికి > 100k NPM నుండి డౌన్‌లోడ్ చేయబడుతుంది.

అదే డిటర్మినిస్టిక్ చిరునామాతో బహుళ EVM చైన్‌లలో మీ స్మార్ట్ కాంట్రాక్ట్‌లను అమలు చేయడానికి Hardhat ప్లగిన్. (దాదాపు) అన్ని OP-stack-ఆధారిత చైన్‌లతో సహా మొత్తం 133 EVM చైన్‌లకు ప్రస్తుతం మద్దతు ఉంది.

foundryలో ఇచ్చిన ఎన్విరాన్మెంట్ నుండి అత్యంత ఇటీవలి డిప్లాయ్‌మెంట్‌ను పొందడానికి ఒక టూల్. ఈ విధంగా, మీరు solidityలో మునుపటి డిప్లాయ్‌మెంట్‌ల నుండి స్క్రిప్టింగ్ చేయవచ్చు.

Create2Deployer అనేది pcaversaccio అందించే ఒక కనీస ఫ్యాక్టరీ కాంట్రాక్ట్, ఇది CREATE2 ఆప్‌కోడ్‌ను భద్రతా తనిఖీలతో ర్యాప్ చేస్తుంది, తద్వారా బృందాలు డిటర్మినిస్టిక్ చిరునామాలలో కౌంటర్‌ఫ్యాక్చువల్ కాంట్రాక్ట్‌లను డిప్లాయ్ చేయగలవు.

మార్పులు ప్రొడక్షన్ పైప్‌లైన్‌లకు వెళ్లే ముందు, డెవలపర్‌లు టైప్-సేఫ్ డిప్లాయ్‌మెంట్‌లు, పునర్వినియోగించదగిన పరీక్షలు, Safe-అవేర్ లావాదేవీ స్క్రిప్టింగ్ మరియు మాడ్యులర్ కాంపోనెంట్ వైరింగ్‌తో Solidityలో OP Stack కాంట్రాక్ట్ అప్‌గ్రేడ్‌లను ప్రయోగాత్మకంగా కూర్చడానికి వీలుగా Redprint ఒక విజార్డ్-శైలి ప్లేగ్రౌండ్‌ను redprint-forge లైబ్రరీలతో జత చేస్తుంది.

Cannon అనేది Ethereumలోని ప్రోటోకాల్‌ల కోసం ఒక DevOps టూల్. ఇది స్థానిక అభివృద్ధి మరియు లైవ్ నెట్‌వర్క్‌ల కోసం స్మార్ట్ కాంట్రాక్ట్ డిప్లాయ్‌మెంట్ మరియు కాన్ఫిగరేషన్‌ను నిర్వహిస్తుంది.

స్మార్ట్ కాంట్రాక్ట్ యొక్క బిల్డింగ్ బ్లాక్స్‌తో పాటు వెళ్లే 100% ఓపెన్‌సోర్స్ CLI. ఈ టూల్‌బాక్స్ dApps డెవలప్‌మెంట్ కోసం కాల్‌డేటాను సాధ్యమైనంత తక్కువ బైట్‌ల కాల్‌డేటాను ఉపయోగించేలా ఎన్‌కోడ్ చేయడం ద్వారా L2 గ్యాస్ ఖర్చును తగ్గించగలదు.

మీ ప్రతి Pull Requests పై స్వయంచాలకంగా Foundry ద్వారా రూపొందించబడిన గ్యాస్ నివేదికలను సులభంగా సరిపోల్చండి!

మీ రోలప్ ఎలా పనిచేస్తుందనే దానిపై పూర్తి నియంత్రణతో పరీక్షలను రన్ చేయడానికి, నెట్‌వర్క్‌లను ఫోర్క్ చేయడానికి మరియు స్థితిని తనిఖీ చేయడానికి వ్యక్తిగత Superchain వాతావరణాన్ని ఫైర్ అప్ చేయండి. అల్టిమేట్ Ethereum & Superchain డెవలప్‌మెంట్ ప్లేగ్రౌండ్

డిస్క్‌లో ఉండే రా ప్రైవేట్ కీలకు బదులుగా AWS KMS లేదా YubiHSM ద్వారా సీక్వెన్సర్, బ్యాచర్, ప్రతిపాదకుడు మరియు ఛాలెంజర్ సంతకం చేయడాన్ని రూట్ చేయడానికి ఈ సైనర్ ప్రాక్సీ OP Stack ఆపరేటర్లను అనుమతిస్తుంది.

OpenZeppelin Contracts స్మార్ట్ కాంట్రాక్ట్ డెవలప్‌మెంట్ కోసం గో-టు లైబ్రరీ.

Solidity అనేది స్మార్ట్ కాంట్రాక్ట్‌లను అమలు చేయడానికి ఆబ్జెక్ట్-ఓరియెంటెడ్, హై-లెవల్ భాష.

EVM కోసం పైథానిక్ స్మార్ట్ కాంట్రాక్ట్ లాంగ్వేజ్

Solidity-ఆధారిత డెవలప్‌మెంట్ టూలింగ్

Vectorized ద్వారా రూపొందించబడిన Solady, మెర్కిల్ నిరూపణల నుండి కంప్రెషన్ హెల్పర్‌ల వరకు తీవ్రంగా ఆప్టిమైజ్ చేయబడిన Solidity స్నిప్పెట్‌లను సేకరిస్తుంది, జాగ్రత్తగా వ్రాసిన ఇన్‌లైన్ అసెంబ్లీని సులభంగా ఉపయోగించగల APIలలో పొందుపరుస్తుంది, తద్వారా అధునాతన డెవలపర్‌లు సజీవ రిఫరెన్స్ లైబ్రరీ నుండి అత్యాధునిక ఆప్టిమైజేషన్ పద్ధతులను నేర్చుకుంటూ గ్యాస్-సమర్థవంతమైన ప్యాటర్న్‌లను అందించగలరు.

Fe అనేది EVMను లక్ష్యంగా చేసుకునే Rust-ప్రేరేపిత భాష; బైట్‌కోడ్ ఉత్పత్తి ఇంకా అభివృద్ధి చెందుతున్నప్పటికీ, ప్రస్తుతం మీరు CLI లేదా ఎడిటర్ టూలింగ్ ద్వారా Fe v2 యొక్క టైప్ సిస్టమ్‌ను అన్వేషించవచ్చు.

Solhint అనేది శైలి నియమాలను అమలు చేయడానికి మరియు ప్రమాదకరమైన ప్యాటర్న్‌లను ముందుగానే గుర్తించడానికి మీరు ఎడిటర్‌లు లేదా CIలో అనుసంధానించగల ఒక Solidity లింటర్.

Juan Blanco యొక్క VSCode Solidity ఎక్స్‌టెన్షన్ సింటాక్స్ హైలైటింగ్, కంపైల్ కమాండ్‌లు, హోవర్ మెటాడేటా, త్వరిత పరిష్కారాలు, మోనోరెపో గుర్తింపు, ఐచ్ఛిక Nethereum కోడ్‌జెన్, లింట్ ఇంటిగ్రేషన్ మరియు LSP సర్వర్‌ను జోడిస్తుంది.

WhatsABI కేవలం బైట్‌కోడ్ నుండి మాత్రమే సెలెక్టర్లు, ప్రాక్సీలు మరియు పాక్షిక ABIలను రికవర్ చేస్తుంది-ధృవీకరించబడిన సోర్స్ లేనప్పటికీ మీకు కాల్ డేటా డీకోడింగ్ అవసరమైనప్పుడు వాలెట్‌లు, ఎక్స్‌ప్లోరర్‌లు లేదా స్థానిక టూల్స్‌లో దీనిని ఉపయోగించండి.

PRBMath అనేది Solidityలో లాగరిథమ్స్ మరియు ఎక్స్‌పోనెన్షియల్స్ వంటి అధునాతన గణిత ఫంక్షన్‌లు మరియు ఫిక్స్‌డ్-పాయింట్ రకాలకు మద్దతును జోడించే స్మార్ట్ కాంట్రాక్ట్ లైబ్రరీ. 18-దశాంశ సంఖ్యలతో పనిచేస్తూ, PRBMath ఒకే సమయంలో గ్యాస్ సమర్థవంతమైనది మరియు యూజర్ ఫ్రెండ్లీగా ఉంటుంది.

Solc-select అనేది Solidity కంపైలర్ వెర్షన్‌ల మధ్య త్వరగా ఇన్‌స్టాల్ చేయడానికి మరియు మారడానికి ఒక కమాండ్ లైన్ యుటిలిటీ.

మీ Solidity కోడ్‌ను స్వయంచాలకంగా ఫార్మాట్ చేయడానికి ఒక Prettier ప్లగిన్.

అత్యాధునికమైన, అత్యంత నిర్దిష్టమైన, అత్యంత ఆప్టిమైజ్ చేయబడిన మరియు సురక్షితమైన Vyper స్మార్ట్ కాంట్రాక్ట్ బిల్డింగ్ బ్లాక్స్.

EvmTools రోజువారీ స్మార్ట్ కాంట్రాక్ట్ డీబగ్గింగ్ కోసం బ్రౌజర్ మరియు ఎక్స్‌టెన్షన్ యుటిలిటీలను - డీకోడర్‌లు, మెర్కిల్ హెల్పర్‌లు, కన్వర్టర్‌లు మరియు ఇలాంటి చిన్న టూల్స్‌ను - ఒకే చోట బండిల్ చేస్తుంది.

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

EVM కోసం Fe-langలో TinyAllocని అమలు చేయడం

ఆర్గనైజేషనల్ గ్రాఫ్ ప్రోటోకాల్: Hats Protocolతో మీ సంస్థ యొక్క పాత్రలు, ఏజెంట్లు మరియు అనుమతులను ప్రోగ్రామబుల్ గ్రాఫ్‌గా ఎన్‌కోడ్ చేయండి

Solmate అనేది స్మార్ట్ కాంట్రాక్ట్ డెవలప్‌మెంట్ కోసం గ్యాస్-ఆప్టిమైజ్ చేయబడిన Solidity బిల్డింగ్ బ్లాక్స్ మరియు యుటిలిటీల యొక్క ఆధునిక, నిర్దిష్ట విధానంతో కూడిన సేకరణ.

ZKsync బృందం మరియు సహకారుల నుండి LLVM ద్వారా ఆధారితమైన ఎథీరియం కోసం ఒక గ్యాస్-సమర్థవంతమైన Solidity కంపైలర్. Foundry మరియు Hardhat వంటి వర్క్‌ఫ్లోలలో solc కోసం డ్రాప్-ఇన్ రీప్లేస్‌మెంట్‌గా పనిచేస్తుంది.

Solidity Bytes Utils అనేది Solidity మెమరీ లేదా స్టోరేజ్‌లో డైనమిక్ బైట్స్ అర్రేలను కలపడానికి, స్లైస్ చేయడానికి మరియు కాస్ట్ చేయడానికి ఉపయోగించే ఒక క్లాసిక్ లైబ్రరీ - ఇది దీర్ఘకాలంగా నిర్వహించబడుతోంది మరియు ప్రధాన ప్రోటోకాల్‌ల అంతటా విస్తృతంగా ఫోర్క్ చేయబడింది.

EVMని లక్ష్యంగా చేసుకునే రస్టిక్ ప్రోగ్రామింగ్ లాంగ్వేజ్

curl ఆధారంగా Solidity కోసం HTTP లైబ్రరీ

VSCode Solidity Inspector అనేది VS Code లో ఆచరణాత్మక Solidity యుటిలిటీలను బండిల్ చేస్తుంది: స్టోరేజ్ లేఅవుట్ వీక్షణలు, ఇంపోర్ట్ హైజీన్ సూచనలు, Foundry డిప్లాయ్‌మెంట్ సారాంశాలు, Bulloak టెస్ట్ స్టబ్‌లు, రీమ్యాపింగ్స్-అవేర్ ఇంపోర్ట్‌లు మరియు కోడ్-సైజ్ సూచనలు.

Diamondscaffold అనేది నిర్దిష్ట లేఅవుట్ మరియు స్క్రిప్ట్‌లతో EIP-2535 డైమండ్ ప్రాజెక్ట్‌లను రూపొందించడానికి డిజైన్ చేయబడిన ఒక CLI టూల్, ఇది మాడ్యులర్ అప్‌గ్రేడ్ చేయగల ప్రాక్సీలను వేగంగా సెటప్ చేయడానికి వీలు కల్పిస్తుంది.

IntelliJ కోసం Solidity ప్లగిన్

ఈ లైబ్రరీలు Derive-ట్యూన్ చేయబడిన Black-Scholes ప్రైసింగ్ మరియు రిస్క్ మ్యాథ్‌ను Go మరియు Rust లో ప్యాకేజ్ చేస్తాయి, తద్వారా ఆన్‌చైన్ రిస్క్ మాడ్యూల్స్ Derive యొక్క మార్జిన్ స్టాక్‌తో ముడిపడి ఉన్న అత్యంత ఆప్టిమైజ్ చేయబడిన ఇంప్లిమెంటేషన్‌లను తిరిగి ఉపయోగించుకోగలవు.

Paradigm ద్వారా Rust లో వ్రాయబడిన అత్యంత వేగవంతమైన, మాడ్యులర్ Solidity కంపైలర్. వేగవంతమైన బిల్డ్‌లు మరియు మెరుగైన డయాగ్నస్టిక్స్ కోసం సహకారులకు అనుకూలమైన కంపైలర్ స్టాక్‌గా రూపొందించబడింది.

భారత ప్రభుత్వ ఆధార్ ID కార్డ్‌లను ఉపయోగించి గోప్యతను సంరక్షించే అప్లికేషన్‌లను నిర్మించడానికి సాధనాలు. ఆధార్ కలిగి ఉన్నవారు వ్యక్తిగత డేటాను బహిర్గతం చేయకుండా తమ నివాసాన్ని నిరూపించుకోవడానికి వీలు కల్పించడానికి ZK సర్క్యూట్‌లు, TypeScript, Solidity మరియు React లైబ్రరీలను అందిస్తుంది.

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

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

MPC అప్లికేషన్‌లను అభివృద్ధి చేయడానికి Circom భాషను ఉపయోగించడాన్ని ఎనేబుల్ చేసే ఒక PSE పరిశోధన ప్రాజెక్ట్. మెషిన్ లెర్నింగ్ అప్లికేషన్‌ల కోసం MP-SPDZ బ్యాకెండ్ ఇంటిగ్రేషన్‌తో Circomను ఉపయోగించి కంపైల్ చేయబడిన అంకగణిత మరియు బూలియన్ MPC సర్క్యూట్‌లు.

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

MACI (Minimal Anti-Collusion Infrastructure) ఎథీరియంపై కుమ్మక్కు-నిరోధక, గోప్యమైన ఓటింగ్ మరియు సిగ్నలింగ్ సిస్టమ్‌లను సాధ్యం చేయడానికి శూన్య-జ్ఞాన నిరూపణలను ఉపయోగిస్తుంది.

మొబైల్‌లో క్లయింట్-సైడ్ శూన్య-జ్ఞాన నిరూపణను సులభతరం చేసే టూల్‌కిట్. మెరుగైన పనితీరు కోసం మొబైల్ GPUని ఉపయోగించుకుంటూ, iOS, Android మరియు బ్రౌజర్ బైండింగ్‌లను రూపొందించడానికి ZK ప్రూఫ్ సిస్టమ్‌లను (Halo2, Circom) కనెక్ట్ చేస్తుంది.

Rust లో ఒక సురక్షితమైన, అత్యుత్తమ పనితీరు గల, మాడ్యులర్ మరియు పోర్టబుల్ మల్టీ-పార్టీ కంప్యూటేషన్ (MPC) లైబ్రరీ. ఇది స్థానిక మరియు WebAssembly అమలుకు మద్దతు ఇస్తుంది. ఇది TLSNotary యొక్క గూఢలిపి మౌలిక సదుపాయాలకు శక్తినిస్తుంది మరియు గోప్యతపై దృష్టి సారించిన ప్రాజెక్ట్‌ల అంతటా ఉపయోగించబడుతుంది.

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

Groth16 ఫేజ్ 2 విశ్వసనీయ సెటప్ కార్యక్రమాల కోసం ఒక టూల్‌కిట్. పర్యవేక్షణ మరియు భాగస్వామ్యం కోసం ఒక సహచర వెబ్‌యాప్ (DefinitelySetup) తో పాటు, ZK అప్లికేషన్‌ల కోసం విశ్వసనీయ సెటప్‌లను సృష్టించడానికి మరియు నిర్వహించడానికి ఇది డెవలపర్‌లకు సహాయపడుతుంది.

2^28 పరిమితుల వరకు ఉన్న సర్క్యూట్‌ల కోసం 530M+ powers of tau ని ఉత్పత్తి చేస్తున్న, కొనసాగుతున్న (2019 నుండి) జీకే-స్నార్క్ విశ్వసనీయ సెటప్ కార్యక్రమం. పాల్గొనేవారిలో కనీసం ఒక్కరు నిజాయితీగా ఉన్నంత కాలం భద్రత ఉండే బహుళ-పక్ష కార్యక్రమం.

క్రిప్టోగ్రాఫిక్ ప్రూవబుల్ ఆబ్జెక్ట్ డేటాటైప్స్ (PODs) యొక్క రెండవ తరం. కస్టమ్ ప్రెడికేట్స్ మరియు రికర్సివ్ ఆపరేషన్ల ద్వారా డేటా అంతటా సౌకర్యవంతమైన గణనను వీలు కల్పిస్తుంది. PSE సహకారంతో 0xPARC ద్వారా అభివృద్ధి చేయబడింది.

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

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

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

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

ఇంక్రిమెంటల్ వెరిఫైయబుల్ కంప్యూటేషన్ కోసం బహుళ ఫోల్డింగ్ స్కీమ్‌లు (Nova, HyperNova, ProtoGalaxy, CycleFold) మరియు డిసైడర్ బ్యాకెండ్‌లకు (Groth16, KZG) మద్దతు ఇచ్చే ఒక మాడ్యులర్ ఫోల్డింగ్ లైబ్రరీ. Arkworks, Circom, Noir మరియు Noname ఫ్రంటెండ్‌లకు మద్దతు ఇస్తుంది.

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

ధృవీకరించదగిన ఆబ్లివియస్ సూడోరాండమ్ ఫంక్షన్‌లను ఉపయోగించి వెబ్2 గుర్తింపుల కోసం మారుపేరు వ్యవస్థలను ఎనేబుల్ చేస్తుంది. అనామక ఓటింగ్, ప్రైవేట్ ఫోరమ్‌లు మరియు రహస్య ఎయిర్‌డ్రాప్‌ల కోసం ప్రైవేట్ నల్లిఫైయర్‌లను రూపొందించడానికి ఇమెయిల్ మరియు సోషల్ ఖాతాలను అనుమతిస్తుంది.

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

సాంకేతిక ప్రమాణాలను రూపొందించడం, ఓపెన్-సోర్స్ ZK ఇన్‌ఫ్రాస్ట్రక్చర్‌ను నిర్మించడం మరియు ప్రభుత్వాలతో సహకరించడం ద్వారా గోప్యతను కాపాడే డిజిటల్ గుర్తింపును ముందుకు తీసుకెళ్లే ఒక PSE చొరవ. EU EUDI వాలెట్ ఇంటిగ్రేషన్ మరియు ZKP వాలెట్ యూనిట్‌పై పనిచేస్తోంది.

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

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

ZoKrates అనేది ఎథీరియంలో జీకే-స్నార్క్‌ల కోసం ఒక టూల్‌బాక్స్, ఇది DSL, కంపైలర్ మరియు విశ్వసనీయ సెటప్, నిరూపణ ఉత్పత్తి మరియు ధృవీకర్త ఏకీకరణ కోసం యుటిలిటీలను అందిస్తుంది.

బహుళ భాషలలో (JavaScript, Solidity, Rust, Noir) పునర్వినియోగించదగిన శూన్య-జ్ఞాన లైబ్రరీల మోనోరెపో, ఇది మెర్కిల్ ట్రీలు, పోసిడాన్ హాష్ మరియు మరిన్నింటి వంటి గూఢలిపి ప్రిమిటివ్‌ల యొక్క బాగా పరీక్షించబడిన అమలులను అందిస్తుంది.