कॉन्ट्रॅक्ट टूलिंग

Pythonistas, डेटा सायंटिस्ट्स आणि सिक्युरिटी प्रोफेशनल्ससाठी स्मार्ट कॉन्ट्रॅक्ट डेव्हलपमेंट टूल

Scaffold-ETH 2 हे फुल-स्टॅक विकेंद्रित ॲप्लिकेशन (dapp) प्रस्थापनेसाठी वॉलेट हुक्स, हॉट कॉन्ट्रॅक्ट रीलोड, लोकल फॉसेट युटिलिटीज आणि एक्स्टेंशन मॉड्यूल्ससह असलेले एक Next.js आणि Hardhat किंवा Foundry स्टार्टर आहे.

Ethereum Virtual Machine ला लक्ष्य करणाऱ्या स्मार्ट कॉन्ट्रॅक्ट्ससाठी एक Python-आधारित डेव्हलपमेंट आणि टेस्टिंग फ्रेमवर्क.

ethPM हे कोणतीही EVM स्मार्ट कॉन्ट्रॅक्ट सिस्टीम वापरण्यासाठी, वितरीत करण्यासाठी किंवा मॅनेज करण्यासाठी इम्युटेबल पॅकेज मॅनेजर आहे.

लाइटवेट वेब-आधारित स्मार्ट कॉन्ट्रॅक्ट IDE

Moccasin हे Vyper मध्ये लिहिलेल्या स्मार्ट कॉन्ट्रॅक्ट्सच्या टेस्टिंग, फझिंग आणि प्रस्थापनेसाठी Titanoboa वरील Cyfrin चे Python-फर्स्ट वर्कफ्लो आहे.

Ethernaut CLI हे EthernautDAO कडील एक Hardhat-आधारित कमांड टूलबॉक्स आहे, ज्यामध्ये सामान्य इथेरियम कार्यांसाठी पर्यायी AI हेल्पर्स आहेत, जे तुम्ही GUIs पेक्षा टर्मिनल्सला प्राधान्य देत असल्यास उपयुक्त ठरते.

opstack-kit हे स्टार्टरमध्येच अंतर्भूत असलेल्या ब्रिजिंग हेल्पर्स, CustomGasToken फ्लोज आणि OP Stack CLI टास्क्ससह Superchain-अवेअर फ्रंटएंड्स आणि स्क्रिप्ट्सची पायाभूत रचना तयार करते.

Hardhat हे तुमचे Ethereum सॉफ्टवेअर तयार आणि डिप्लॉय करण्यासाठी एक डेव्हलपमेंट वातावरण आहे

Foundry ही इथेरियम स्मार्ट कॉन्ट्रॅक्ट इंजिनिअरिंगसाठी एक जलद, पोर्टेबल Rust टूलचेन आहे जी डिपेंडन्सीज मॅनेज करते, Solidity संकलित करते, फझ आणि युनिट टेस्ट्स चालवते, कॉन्ट्रॅक्ट्स प्रस्थापित करते आणि टर्मिनल किंवा Solidity ऑटोमेशन स्क्रिप्ट्सवरून स्क्रिप्टेड चेन इंटरअॅक्शन चालवते.

Kurtosis रिप्रॉड्युसिबल मल्टी-सर्व्हिस डेव्हनेट्स पॅकेज करते जेणेकरून तुम्ही हाताने मेंटेन केलेल्या कंपोज फाइल्सपेक्षा अधिक वेगाने इंटिग्रेशन टेस्ट्ससाठी वास्तववादी इथेरियम किंवा रोलअप स्टॅक्स सुरू करू शकता.

CreateX हे pcaversaccio चे विश्वासरहित युनिव्हर्सल डिप्लॉयर आहे जे CREATE, CREATE2 आणि CREATE3-शैलीतील फ्लोज रॅप करते, जेणेकरून टीम्स कस्टम फॅक्टरी कोडशिवाय अंदाजित पत्त्यांवरून कॉन्ट्रॅक्ट्स लाँच करू शकतील.

Txtx Crypto Infrastructure as Code सादर करून स्मार्ट कॉन्ट्रॅक्ट इन्फ्रास्ट्रक्चर मॅनेजमेंटचा ताण, वेदना आणि अश्रू दूर करते. Runbooks हे इंजिनिअरिंग एक्सलन्ससाठी ब्लूप्रिंट आहेत, जे Web3 इन्फ्रास्ट्रक्चर्ससाठी नवीन स्टँडर्ड सेट करतात.

एक Hardhat प्लगइन जे स्मार्ट कॉन्ट्रॅक्ट टेस्ट सूट्ससाठी गॅस युसेज ॲनालिटिक्स प्रदान करते. याला OPStack चेन्ससाठी समर्पित सपोर्ट आहे, > 150k Github रेपोजनामध्ये ही एक डिपेंडन्सी आहे आणि NPM वरून दर आठवड्याला > 100k वेळा डाउनलोड केले जाते.

तुमचे स्मार्ट कॉन्ट्रॅक्ट्स एकाच डिटरमिनिस्टिक ॲड्रेससह एकाधिक EVM चेन्सवर डिप्लॉय करण्यासाठी Hardhat प्लगइन. सध्या एकूण 133 EVM चेन्स समर्थित आहेत, ज्यामध्ये (जवळजवळ) सर्व OP-stack-सक्षम चेन्सचा समावेश आहे.

Foundry मधील दिलेल्या वातावरणातून सर्वात अलीकडील डिप्लॉयमेंट मिळवण्यासाठी एक टूल. अशा प्रकारे, तुम्ही Solidity मध्ये मागील डिप्लॉयमेंट्सवर स्क्रिप्टिंग करू शकता.

Create2Deployer हे pcaversaccio कडील एक किमान फॅक्टरी कॉन्ट्रॅक्ट आहे जे CREATE2 ऑपकोडला सुरक्षा तपासण्यांसह रॅप करते जेणेकरून टीम्स निश्चित पत्त्यांवर काउंटरफॅक्चुअल कॉन्ट्रॅक्ट्स प्रस्थापित करू शकतील.

Redprint हे विझार्ड-स्टाईल प्लेग्राउंडला redprint-forge लायब्ररीसोबत जोडते, जेणेकरून बदल प्रॉडक्शन पाइपलाइन्समध्ये जाण्यापूर्वी डेव्हलपर्स प्रायोगिक तत्त्वावर Solidity मध्ये OP Stack कॉन्ट्रॅक्ट अपग्रेड्स टाइप-सेफ प्रस्थापना, पुन्हा वापरण्यायोग्य टेस्ट्स, सेफ-अवेअर व्यवहार स्क्रिप्टिंग आणि मॉड्युलर कंपोनंट वायरिंगसह तयार करू शकतील.

Cannon हे Ethereum वरील प्रोटोकॉल्ससाठी एक DevOps टूल आहे. हे लोकल डेव्हलपमेंट आणि लाईव्ह नेटवर्क्ससाठी स्मार्ट कॉन्ट्रॅक्ट डिप्लॉयमेंट आणि कॉन्फिगरेशन मॅनेज करते.

एक 100% ओपनसोर्स CLI जे स्मार्ट कॉन्ट्रॅक्टच्या बिल्डिंग ब्लॉक्ससोबत जाते. हे टूलबॉक्स dApps डेव्हलपमेंटसाठी calldata चे शक्य तितके कमी बाईट्स वापरण्यासाठी calldata एन्कोड करून L2 गॅस खर्च कमी करू शकते.

तुमच्या प्रत्येक Pull Request वर Foundry द्वारे स्वयंचलितपणे जनरेट केलेल्या गॅस रिपोर्ट्सची सहज तुलना करा!

टेस्ट्स चालवण्यासाठी, नेटवर्क्स फोर्क करण्यासाठी आणि तुमचा रोलअप कसा चालतो यावर पूर्ण नियंत्रणासह स्थिती (state) तपासण्यासाठी एक वैयक्तिक Superchain एन्व्हायर्नमेंट सुरू करा. अल्टिमेट Ethereum आणि Superchain डेव्हलपमेंट प्लेग्राउंड

हा साइनर प्रॉक्सी OP Stack ऑपरेटर्सना डिस्कवरील रॉ प्रायव्हेट कीज ऐवजी AWS KMS किंवा YubiHSM द्वारे सिक्वेन्सर, बॅचर, प्रस्तावक आणि चॅलेंजर स्वाक्षरी रूट करण्याची अनुमती देतो.

OpenZeppelin Contracts ही स्मार्ट कॉन्ट्रॅक्ट डेव्हलपमेंटसाठी गो-टू लायब्ररी आहे.

Solidity ही स्मार्ट कॉन्ट्रॅक्ट्स इम्प्लिमेंट करण्यासाठी एक ऑब्जेक्ट-ओरिएंटेड, हाय-लेव्हल भाषा आहे.

EVM साठी पायथॉनिक स्मार्ट कॉन्ट्रॅक्ट भाषा

Solidity-ओरिएंटेड डेव्हलपमेंट टूलिंग

Vectorized चे Solady हे Merkle proofs पासून ते कम्प्रेशन हेल्पर्सपर्यंत अत्यंत ऑप्टिमाइझ केलेले Solidity स्निपेट्स एकत्रित करते. हे काळजीपूर्वक लिहिलेल्या इनलाइन असेंब्लीला वापरण्यास सोप्या APIs मध्ये रॅप करते, जेणेकरून प्रगत डेव्हलपर्स एका लाईव्ह संदर्भ लायब्ररीमधून अत्याधुनिक ऑप्टिमायझेशन तंत्रे शिकत असताना गॅस-कार्यक्षम पॅटर्न्स शिप करू शकतील.

Fe ही EVM ला लक्ष्य करणारी एक Rust-प्रेरित भाषा आहे; बाइटकोड जनरेशन अजूनही विकसित होत असतानाही, आज तुम्ही CLI किंवा एडिटर टूलिंगद्वारे Fe v2 च्या टाइप सिस्टीमचा शोध घेऊ शकता.

Solhint हे एक Solidity लिंटर आहे जे तुम्ही स्टाईल नियमांची अंमलबजावणी करण्यासाठी आणि धोकादायक पॅटर्न्स लवकर शोधण्यासाठी एडिटर्स किंवा CI मध्ये जोडू शकता.

जुआन ब्लँकोचे VS Code Solidity एक्सटेंशन सिंटॅक्स हायलाइटिंग, कंपाइल कमांड्स, होव्हर मेटाडेटा, क्विक फिक्सेस, मोनोरेपो डिटेक्शन, पर्यायी Nethereum कोडजेन, लिंट इंटिग्रेशन आणि LSP सर्व्हर जोडते.

WhatsABI केवळ बाइटकोडवरून सिलेक्टर्स, प्रॉक्सीज आणि आंशिक ABIs पुनर्प्राप्त करते - जेव्हा व्हेरिफाईड सोर्स उपलब्ध नसतो परंतु तरीही तुम्हाला कॉल डेटा डिकोडिंगची आवश्यकता असते, तेव्हा वॉलेट्स, एक्सप्लोरर्स किंवा लोकल टूल्समध्ये याचा वापर करा.

PRBMath ही एक स्मार्ट कॉन्ट्रॅक्ट लायब्ररी आहे जी Solidity मध्ये फिक्स्ड-पॉइंट टाइप्स आणि लॉगरिदम्स आणि एक्स्पोनेंशियल्स सारख्या प्रगत गणितीय फंक्शन्ससाठी सपोर्ट जोडते. 18-डेसिमल संख्यांसह काम करत, PRBMath एकाच वेळी गॅस कार्यक्षम आणि युजर-फ्रेंडली आहे.

Solc-select ही Solidity कंपायलर व्हर्जन्स त्वरीत इन्स्टॉल करण्यासाठी आणि त्यांच्यामध्ये स्विच करण्यासाठी एक कमांड लाईन युटिलिटी आहे.

तुमचा Solidity कोड आपोआप फॉरमॅट करण्यासाठी एक Prettier प्लगइन.

अत्याधुनिक, अत्यंत ठाम, अत्यंत ऑप्टिमाइझ केलेले आणि सुरक्षित Vyper स्मार्ट कॉन्ट्रॅक्ट बिल्डिंग ब्लॉक्स.

EvmTools दैनंदिन स्मार्ट कॉन्ट्रॅक्ट डीबगिंगसाठी ब्राउझर आणि एक्स्टेंशन युटिलिटीज - डिकोडर्स, मर्कल हेल्पर्स, कन्व्हर्टर्स आणि तत्सम छोटी साधने - एकाच ठिकाणी एकत्रित करते.

गेटकीपर्स तयार करण्यासाठी, त्यांचा पुनर्वापर करण्यासाठी आणि त्यांना कस्टमाइझ करण्यासाठी एक ऑनचेन लवचिक आणि संयोज्य फ्रेमवर्क. हे गॅस-कार्यक्षम किमान प्रॉक्सी पॅटर्न्स आणि मल्टी-स्टेज व्हॅलिडेशनसह ॲट्रिब्युट-आधारित ॲक्सेस कंट्रोलसाठी पॉलिसीज आणि चेकर्सचा मुख्य प्रिमिटिव्ह्ज म्हणून वापर करते.

EVM साठी Fe-lang मध्ये TinyAlloc लागू करणे

ऑर्गनायझेशनल ग्राफ प्रोटोकॉल: Hats Protocol सह तुमच्या संस्थेच्या भूमिका, एजंट्स आणि परवानग्या एका प्रोग्रॅमेबल ग्राफमध्ये एन्कोड करा

Solmate हा स्मार्ट कॉन्ट्रॅक्ट डेव्हलपमेंटसाठी गॅस-ऑप्टिमाइज्ड Solidity बिल्डिंग ब्लॉक्स आणि युटिलिटीजचा एक आधुनिक, विशिष्ट दृष्टिकोन असलेला संग्रह आहे.

झेडकेसिंक् टीम आणि सहयोगींकडून LLVM द्वारे समर्थित इथेरियमसाठी एक गॅस-कार्यक्षम Solidity कंपायलर. हे Foundry आणि Hardhat सारख्या वर्कफ्लोजमध्ये solc साठी ड्रॉप-इन रिप्लेसमेंट म्हणून काम करते.

Solidity Bytes Utils ही Solidity मेमरी किंवा स्टोरेजमध्ये डायनॅमिक बाइट्स ॲरे कॉन्कॅटिनेट, स्लाइस आणि कास्ट करण्यासाठी एक क्लासिक लायब्ररी आहे - जी दीर्घकाळापासून मेंटेन केली जात आहे आणि प्रमुख प्रोटोकॉल्समध्ये मोठ्या प्रमाणावर फोर्क केली गेली आहे.

EVM ला लक्ष्य करणारी रस्टिक प्रोग्रामिंग भाषा

curl वर आधारित Solidity साठी HTTP लायब्ररी

VSCode Solidity Inspector हे VS Code मध्ये व्यावहारिक Solidity युटिलिटीज एकत्रित करते: स्टोरेज लेआउट व्ह्यूज, इम्पोर्ट हायजीन हिंट्स, Foundry प्रस्थापना सारांश, Bulloak टेस्ट स्टब्स, रिमॅपिंग्ज-अवेअर इम्पोर्ट्स आणि कोड-साईझ हिंट्स.

Diamondscaffold हे एक CLI टूल आहे जे एका ओपिनियनेटेड लेआउट आणि स्क्रिप्ट्ससह EIP-2535 डायमंड प्रोजेक्ट्स स्कॅफोल्ड करण्यासाठी डिझाइन केले आहे, ज्यामुळे मॉड्युलर अपग्रेडेबल प्रॉक्सीज जलदपणे तयार करणे शक्य होते.

IntelliJ साठी Solidity प्लगइन

या लायब्ररीज Go आणि Rust मध्ये Derive-ट्यून केलेले ब्लॅक-स्कोल्स (Black-Scholes) किंमत आणि जोखीम गणित पॅकेज करतात जेणेकरून ऑनचेन जोखीम मॉड्यूल्स Derive च्या मार्जिन स्टॅकशी जोडलेल्या अत्यंत ऑप्टिमाइझ केलेल्या अंमलबजावणीचा पुनर्वापर करू शकतील.

Paradigm द्वारे Rust मध्ये लिहिलेला अतिशय वेगवान, मॉड्युलर Solidity कंपायलर. जलद बिल्ड्स आणि उत्तम डायग्नोस्टिक्ससाठी कॉन्ट्रिब्युटर-फ्रेंडली कंपायलर स्टॅक म्हणून डिझाइन केलेला.

भारत सरकारचे आधार आयडी कार्ड्स वापरून गोपनीयता जपणारे ॲप्लिकेशन्स तयार करण्यासाठी टूल्स. आधार धारकांना वैयक्तिक डेटा उघड न करता रहिवासी असल्याचे सिद्ध करण्यास सक्षम करण्यासाठी ZK सर्किट्स, TypeScript, Solidity आणि React लायब्ररीज प्रदान करते.

Aztec हे प्रोग्रॅमेबल गोपनीयता आणि शून्य-ज्ञान पुराव्यांसह ॲप्लिकेशन्स तयार करण्यासाठी गोपनीयतेला प्राधान्य देणारे इथेरियम रोलअप आणि डेव्हलपर प्लॅटफॉर्म आहे.

Circom ही शून्य-ज्ञान पुरावा सिस्टीम्समध्ये वापरल्या जाणाऱ्या अंकगणितीय सर्किट्स लिहिण्यासाठी आणि संकलित करण्यासाठी एक डोमेन-विशिष्ट भाषा आणि कंपायलर आहे.

MPC ॲप्लिकेशन्स विकसित करण्यासाठी Circom भाषेचा वापर सक्षम करणारा एक PSE संशोधन प्रकल्प. मशीन लर्निंग ॲप्लिकेशन्ससाठी MP-SPDZ बॅकएंड इंटिग्रेशनसह Circom चा वापर करून अंकगणितीय आणि बुलियन MPC सर्किट्स संकलित केले आहेत.

Zcash च्या Halo2 PLONK प्रूफ सिस्टीमचा PSE चा पुनर्रचित फोर्क, ज्यामध्ये किफायतशीर L1 पडताळणीसाठी Solidity पडताळणीकर्त्यासह KZG बॅकएंड, अनेक इलिप्टिक कर्व्हजसाठी सपोर्ट आणि डिकपल्ड फ्रंटएंड/बॅकएंड आर्किटेक्चर समाविष्ट आहे.

MACI (Minimal Anti-Collusion Infrastructure) इथेरियमवर संगनमत-प्रतिरोधक, गोपनीय मतदान आणि सिग्नलिंग प्रणाली सक्षम करण्यासाठी शून्य-ज्ञान पुरावे वापरते.

एक टूलकिट जे मोबाईलवर क्लायंट-साइड झिरो-नॉलेज प्रूव्हिंग सोपे करते. सुधारित कामगिरीसाठी मोबाईल GPU चा वापर करून, iOS, Android आणि ब्राउझर बाइंडिंग्ज जनरेट करण्यासाठी हे ZK प्रूफ सिस्टीम्स (Halo2, Circom) कनेक्ट करते.

Rust मधील एक सुरक्षित, कार्यक्षम, मॉड्यूलर आणि पोर्टेबल मल्टी-पार्टी कम्प्युटेशन (MPC) लायब्ररी. नेटिव्ह आणि WebAssembly अंमलबजावणीला समर्थन देते. TLSNotary च्या क्रिप्टोग्राफिक पायाभूत सुविधांना चालवते आणि गोपनीयता-केंद्रित प्रकल्पांमध्ये वापरली जाते.

Noir ही झिरो-नॉलेज सर्किट्स लिहिण्यासाठी एक Rust-प्रेरित भाषा आहे, ज्यामध्ये डेव्हलपर-फ्रेंडली सिंटॅक्स आणि Aztec द्वारे मेंटेन केलेले टूलिंग आहे.

Groth16 Phase 2 विश्वसनीय सेटअप समारंभांसाठी एक टूलकिट. हे डेव्हलपर्सना ZK ॲप्लिकेशन्ससाठी विश्वसनीय सेटअप तयार आणि व्यवस्थापित करण्यात मदत करते, सोबतच देखरेख आणि सहभागासाठी एक सहयोगी वेबॲप (DefinitelySetup) आहे.

2^28 कंस्ट्रेंट्सपर्यंतच्या सर्किट्ससाठी एक सुरू असलेला (2019 पासून) झेडके-स्नार्क विश्वसनीय सेटअप समारंभ, जो 530M+ पॉवर्स ऑफ टाऊ जनरेट करतो. हा एक बहु-पक्षीय समारंभ आहे ज्यामध्ये जोपर्यंत एक तरी सहभागी प्रामाणिक असतो तोपर्यंत सुरक्षितता अबाधित राहते.

क्रिप्टोग्राफिक Provable Object Datatypes (PODs) ची दुसरी पिढी. कस्टम प्रेडिकेट्स आणि रिकर्सिव्ह ऑपरेशन्सद्वारे डेटावर लवचिक कम्प्युटेशन सक्षम करते. PSE च्या सहकार्याने 0xPARC द्वारे विकसित.

Railgun हा इथेरियम आणि EVM नेटवर्क्ससाठी एक गोपनीयता प्रोटोकॉल आहे जो शून्य-ज्ञान पुराव्यांसह संरक्षित व्यवहार आणि खाजगी विकेंद्रित वित्त (DeFi) संवाद प्रदान करतो.

जेव्हा निर्मात्यांना वॉलेट्स किंवा क्रेडेन्शियल्सशी जोडलेल्या गोपनीयता-संरक्षक पडताळणी प्रक्रियांची आवश्यकता असते, तेव्हा ते एम्बेड करू शकतील असे मुक्त ओळख आणि पुरावा प्रिमिटिव्ह्ज Self Protocol प्रदान करते.

Semaphore हा खाजगी गट सदस्यत्व पुराव्यांसाठी एक झिरो-नॉलेज प्रोटोकॉल आहे, जो ओळख उघड न करता निनावी सिग्नलिंग आणि प्रमाणीकरण सक्षम करतो.

snarkjs हे zkSNARK पुरावे जनरेट आणि पडताळणी करण्यासाठी, तसेच Node.js आणि ब्राउझरमध्ये सामान्य प्रूव्हिंग वर्कफ्लोज चालवण्यासाठी एक JavaScript आणि CLI टूलकिट आहे.

इन्क्रिमेंटल व्हेरिफायेबल कॉम्प्युटेशनसाठी अनेक फोल्डिंग स्कीम्स (Nova, HyperNova, ProtoGalaxy, CycleFold) आणि डिसायडर बॅकएंड्सना (Groth16, KZG) सपोर्ट करणारी एक मॉड्युलर फोल्डिंग लायब्ररी. ही Arkworks, Circom, Noir आणि Noname फ्रंटएंड्सना सपोर्ट करते.

युनिफाईड बायनरी ट्राय (UBT) आणि मर्कल पॅट्रिशिया ट्राय स्थिती अपडेट्स प्रत्येक इथेरियम ब्लॉकनुसार जुळतात याची पडताळणी करणारे रिकर्सिव्ह zkVM पुरावे तयार करते. लाईट क्लायंट्स आणि खाजगी माहिती पुनर्प्राप्तीसाठी विश्वासरहित स्थिती पडताळणी सक्षम करते.

पडताळणी करण्यायोग्य Oblivious PseudoRandom Functions वापरून वेब२ आयडेंटिटीजसाठी टोपणनावी सिस्टीम्स सक्षम करणे. हे ईमेल आणि सोशल खात्यांना निनावी मतदान, खाजगी फोरम्स आणि गोपनीय एअरड्रॉप्ससाठी खाजगी नलिफायर्स जनरेट करण्याची अनुमती देते.

ZK Email ऑनचेन संपादित ईमेल ट्रान्सक्रिप्ट्सबद्दल तथ्ये सिद्ध करण्यासाठी सर्किट्स आणि SDKs प्रदान करते. जेव्हा तुम्हाला इनबॉक्सेस उघड न करता गोपनीयता जपणारी ओळख किंवा पावती तपासणी हवी असते, तेव्हा हे उपयुक्त ठरते.

तांत्रिक मानकांचा मसुदा तयार करून, ओपन-सोर्स ZK इन्फ्रास्ट्रक्चर तयार करून आणि सरकारांसोबत सहयोग करून गोपनीयता जपणारी डिजिटल ओळख प्रगत करणारा एक PSE उपक्रम. EU EUDI वॉलेट इंटिग्रेशन आणि ZKP वॉलेट युनिटवर काम करत आहे.

शून्य-ज्ञान पुरावे वापरून खाजगी ओळख पडताळणी. कोणतीही वैयक्तिक माहिती उघड न करता वय, देश किंवा व्यक्तित्वाचा पुरावा पडताळा. इंटिग्रेशनसाठी SDK आणि ऑनचेन रजिस्ट्री कॉन्ट्रॅक्ट्ससह मोबाईल-फर्स्ट डिझाइन.

zkTLS / TLSNotary हा MPC सह TLS सेशन्सचे गुणधर्म सिद्ध करण्यासाठी एक ओपन प्रोटोकॉल आहे, जेणेकरून पडताळणीकर्ते संपूर्ण प्लेनटेक्स्ट न पाहता ट्रान्सक्रिप्ट्सवर विश्वास ठेवू शकतील.

ZoKrates हे इथेरियमवरील झेडके-स्नार्क्ससाठी एक टूलबॉक्स आहे, जे DSL, कंपायलर, आणि विश्वसनीय सेटअप, पुरावा निर्मिती आणि पडताळणीकर्ता एकत्रीकरणासाठी युटिलिटीज प्रदान करते.

अनेक भाषांमधील (JavaScript, Solidity, Rust, Noir) पुन्हा वापरण्यायोग्य झिरो-नॉलेज लायब्ररीजचा एक मोनोरेपो, जो मर्कल ट्रीज, पोसायडन हॅश आणि यांसारख्या इतर क्रिप्टोग्राफिक प्रिमिटिव्ह्जच्या चांगल्या प्रकारे तपासलेल्या इम्प्लिमेंटेशन्स प्रदान करतो.