کنٹریکٹ ٹولنگ

پائتھونسٹاز، ڈیٹا سائنٹسٹس، اور سیکیورٹی پروفیشنلز کے لیے سمارٹ کنٹریکٹ ڈیولپمنٹ ٹول

⁦Scaffold-ETH 2⁩ ایک ⁦Next.js⁩ کے ساتھ ⁦Hardhat⁩ یا ⁦Foundry⁩ اسٹارٹر ہے جس میں والیٹ ہکس، ہاٹ کنٹریکٹ ری لوڈ، مقامی فوسٹ یوٹیلیٹیز، اور فل-اسٹیک غیر مرکزی ایپلی کیشن (dapp) کی تعیناتی کے لیے ایکسٹینشن ماڈیولز شامل ہیں۔

⁦Ethereum Virtual Machine⁩ کو ٹارگٹ کرنے والے سمارٹ کنٹریکٹس کے لیے ایک ⁦Python⁩ پر مبنی ڈیولپمنٹ اور ٹیسٹنگ فریم ورک۔

⁦ethPM⁩ کسی بھی ⁦EVM⁩ سمارٹ کنٹریکٹ سسٹم کو استعمال کرنے، تقسیم کرنے، یا اس کا انتظام کرنے کے لیے ایک ناقابل تغیر پیکیج مینیجر ہے۔

ہلکا پھلکا ویب پر مبنی سمارٹ کنٹریکٹ ⁦IDE⁩

⁦Moccasin⁩ ⁦Vyper⁩ میں لکھے گئے سمارٹ کنٹریکٹس کی ٹیسٹنگ، فزنگ، اور تعینات کرنے کے لیے ⁦Titanoboa⁩ پر ⁦Cyfrin⁩ کا ⁦Python⁩-فرسٹ ورک فلو ہے۔

⁦Ethernaut CLI⁩ ⁦EthernautDAO⁩ کی طرف سے ایک Hardhat پر مبنی کمانڈ ٹول باکس ہے جس میں عام ⁦Ethereum⁩ کاموں کے لیے اختیاری ⁦AI⁩ ہیلپرز شامل ہیں جب آپ ⁦GUIs⁩ پر ٹرمینلز کو ترجیح دیتے ہیں۔

⁦opstack-kit⁩ ⁦Superchain⁩ سے آگاہ فرنٹ اینڈز اور اسکرپٹس کو برجنگ ہیلپرز، ⁦CustomGasToken⁩ فلووز، اور اسٹارٹر میں شامل ⁦OP Stack CLI⁩ ٹاسکس کے ساتھ اسکیفولڈ کرتا ہے۔

⁦Hardhat⁩ آپ کے ⁦Ethereum⁩ سافٹ ویئر کو بنانے اور ڈیپلائے کرنے کے لیے ایک ڈیولپمنٹ ماحول ہے

Foundry ⁦Ethereum⁩ سمارٹ کنٹریکٹ انجینئرنگ کے لیے ایک تیز، پورٹیبل Rust ٹول چین ہے جو ڈیپینڈینسیز کا انتظام کرتی ہے، Solidity کو کمپائل کرتی ہے، فز اور یونٹ ٹیسٹس چلاتی ہے، کنٹریکٹس تعینات کرتی ہے، اور ٹرمینل یا Solidity آٹومیشن اسکرپٹس سے اسکرپٹڈ چین کے تعامل کو چلاتی ہے۔

⁦Kurtosis⁩ دوبارہ پیدا کرنے کے قابل ملٹی سروس ڈیونیٹس کو پیکج کرتا ہے تاکہ آپ ہاتھ سے برقرار رکھی گئی کمپوز فائلوں کے مقابلے میں انضمام کے ٹیسٹ کے لیے حقیقت پسندانہ ایتھیریم یا رول اپ اسٹیکس کو تیزی سے اسپن اپ کر سکیں۔

CreateX pcaversaccio کا بلا اعتماد یونیورسل ڈیپلائر ہے جو ⁦CREATE⁩، ⁦CREATE2⁩، اور ⁦CREATE3⁩ طرز کے فلووز کو لپیٹتا ہے تاکہ ٹیمیں بیسپوک فیکٹری کوڈ کے بغیر پیشین گوئی کے قابل پتوں سے کنٹریکٹس لانچ کر سکیں۔

ایک ⁦hardhat⁩ پلگ ان جو سمارٹ کنٹریکٹ ٹیسٹ سویٹس کے لیے گیس کے استعمال کے اینالیٹکس فراہم کرتا ہے۔ اس میں ⁦OPStack⁩ چینز کے لیے مخصوص سپورٹ ہے، یہ ⁦> 150k Github⁩ ریپوز میں ایک ڈیپینڈینسی ہے اور اسے ⁦NPM⁩ سے ہر ہفتے ⁦> 100k⁩ بار ڈاؤن لوڈ کیا جاتا ہے۔

⁦Txtx⁩ کرپٹو انفراسٹرکچر ایز کوڈ (Crypto Infrastructure as Code) متعارف کروا کر سمارٹ کنٹریکٹ انفراسٹرکچر مینجمنٹ کے تناؤ، درد اور آنسوؤں کو دور کرتا ہے۔ رن بکس (Runbooks) انجینئرنگ ایکسیلنس کا خاکہ ہیں، جو ⁦Web3⁩ انفراسٹرکچرز کے لیے نیا معیار قائم کرتی ہیں۔

ایک ہی متعین ایڈریس کے ساتھ متعدد ⁦EVM⁩ چینز پر اپنے اسمارٹ کنٹریکٹس کو تعینات کرنے کے لیے ⁦Hardhat⁩ پلگ ان۔ فی الحال کل ⁦133⁩ ⁦EVM⁩ چینز تعاون یافتہ ہیں، جن میں (تقریباً) تمام ⁦OP-stack⁩ سے چلنے والی چینز شامل ہیں۔

⁦foundry⁩ میں دیے گئے ماحول سے تازہ ترین ڈیپلائمنٹ حاصل کرنے کا ایک ٹول۔ اس طرح، آپ ⁦solidity⁩ میں پچھلی ڈیپلائمنٹس پر اسکرپٹنگ کر سکتے ہیں۔

Create2Deployer pcaversaccio کی طرف سے ایک کم از کم فیکٹری کنٹریکٹ ہے جو ⁦CREATE2⁩ آپ کوڈ کو حفاظتی چیکس کے ساتھ لپیٹتا ہے تاکہ ٹیمیں متعین پتوں پر کاؤنٹر فیکچوئل کنٹریکٹس تعینات کر سکیں۔

⁦Redprint⁩ ایک وزرڈ طرز کے پلے گراؤنڈ کو ⁦redprint-forge⁩ لائبریریوں کے ساتھ جوڑتا ہے تاکہ ڈیولپرز تبدیلیوں کو پروڈکشن پائپ لائنز میں منتقل کرنے سے پہلے ⁦Solidity⁩ میں ٹائپ-سیف تعیناتیوں، دوبارہ استعمال کے قابل ٹیسٹس، ⁦Safe⁩ سے آگاہ ٹرانزیکشن اسکرپٹنگ، اور ماڈیولر جزو کی وائرنگ کے ساتھ تجرباتی طور پر ⁦OP Stack⁩ کنٹریکٹ اپ گریڈز مرتب کر سکیں۔

⁦Cannon⁩ ⁦Ethereum⁩ پر پروٹوکولز کے لیے ایک ⁦DevOps⁩ ٹول ہے۔ یہ لوکل ڈیولپمنٹ اور لائیو نیٹ ورکس کے لیے سمارٹ کنٹریکٹ ڈیپلائمنٹ اور کنفیگریشن کا انتظام کرتا ہے۔

ایک ⁦100%⁩ اوپن سورس ⁦CLI⁩ جو سمارٹ کنٹریکٹ کے بلڈنگ بلاکس کے ساتھ چلتی ہے۔ یہ ٹول باکس ڈیپس ڈیولپمنٹ کے لیے کال ڈیٹا (calldata) کو انکوڈ کر کے ⁦L2⁩ گیس کی لاگت کو کم کر سکتا ہے تاکہ کال ڈیٹا کی کم سے کم بائٹس استعمال کی جا سکیں۔

اپنی ہر پل ریکویسٹ پر خود بخود ⁦Foundry⁩ کے ذریعے جنریٹ کی گئی گیس رپورٹس کا آسانی سے موازنہ کریں!

ٹیسٹ چلانے، نیٹ ورکس کو فورک کرنے، اور آپ کا رول اپ کیسے کام کرتا ہے اس پر مکمل کنٹرول کے ساتھ سٹیٹ (state) کا معائنہ کرنے کے لیے ایک ذاتی ⁦Superchain⁩ ماحول فائر اپ کریں۔ حتمی ⁦Ethereum⁩ اور ⁦Superchain⁩ ڈیولپمنٹ پلے گراؤنڈ

یہ سائنر پراکسی ⁦OP Stack⁩ آپریٹرز کو ڈسک پر موجود خام پرائیویٹ کیز کے بجائے ⁦AWS KMS⁩ یا ⁦YubiHSM⁩ کے ذریعے سیکوینسر، بیچر، تجویز کنندہ، اور چیلنجر دستخط کرنے کو روٹ کرنے کی اجازت دیتی ہے۔

⁦OpenZeppelin Contracts⁩ سمارٹ کنٹریکٹ ڈیولپمنٹ کے لیے سب سے زیادہ استعمال ہونے والی لائبریری ہے۔

⁦Solidity⁩ سمارٹ کنٹریکٹس کو نافذ کرنے کے لیے ایک آبجیکٹ اورینٹڈ، ہائی لیول زبان ہے۔

⁦EVM⁩ کے لیے پائتھونک اسمارٹ کنٹریکٹ لینگویج

⁦Solidity⁩ پر مبنی ڈیولپمنٹ ٹولنگ

⁦Vectorized⁩ کی جانب سے ⁦Solady⁩ مرکل ثبوتوں سے لے کر کمپریشن ہیلپرز تک جارحانہ طور پر بہتر بنائے گئے ⁦Solidity⁩ اسنیپٹس جمع کرتا ہے، محتاط ان لائن اسمبلی کو قابل رسائی ⁦APIs⁩ میں لپیٹتا ہے تاکہ جدید ڈیولپرز ایک زندہ حوالہ لائبریری سے جدید ترین اصلاح کی تکنیک سیکھتے ہوئے گیس کے لیے موثر پیٹرنز بھیج سکیں۔

⁦Fe⁩ ایک Rust سے متاثر زبان ہے جو ⁦EVM⁩ کو ٹارگٹ کرتی ہے؛ آج آپ ⁦CLI⁩ یا ایڈیٹر ٹولنگ کے ذریعے ⁦Fe v2⁩ کے ٹائپ سسٹم کو دریافت کر سکتے ہیں یہاں تک کہ جب بائٹ کوڈ جنریشن ابھی بھی تیار ہو رہی ہے۔

⁦Solhint⁩ ایک ⁦Solidity⁩ لنٹر ہے جسے آپ ایڈیٹرز یا ⁦CI⁩ میں وائر کرتے ہیں تاکہ اسٹائل کے اصولوں کو نافذ کیا جا سکے اور فٹ گن (footgun) پیٹرنز کو جلد پکڑا جا سکے۔

⁦Juan Blanco⁩ کی ⁦VS Code⁩ ⁦Solidity⁩ ایکسٹینشن سنٹیکس ہائی لائٹنگ، کمپائل کمانڈز، ہوور میٹا ڈیٹا، کوئیک فکسز، مونو ریپو کا پتہ لگانے، اختیاری ⁦Nethereum⁩ کوڈجن، لنٹ انٹیگریشن، اور ایک ⁦LSP⁩ سرور کا اضافہ کرتی ہے۔

⁦WhatsABI⁩ صرف بائٹ کوڈ سے سلیکٹرز، پراکسیز، اور جزوی ⁦ABIs⁩ کو بازیافت کرتا ہے—اسے والیٹس، ایکسپلوررز، یا مقامی ٹولز میں استعمال کریں جب تصدیق شدہ سورس غائب ہو لیکن آپ کو پھر بھی کال ڈیٹا ڈی کوڈنگ کی ضرورت ہو۔

⁦PRBMath⁩ ایک سمارٹ کنٹریکٹ لائبریری ہے جو ⁦Solidity⁩ میں فکسڈ پوائنٹ ٹائپس اور لاگارتھمز اور ایکسپونینشلز جیسے جدید ریاضی کے فنکشنز کے لیے سپورٹ کا اضافہ کرتی ہے۔ ⁦18-decimal⁩ نمبرز کے ساتھ کام کرتے ہوئے، ⁦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⁩ کمپائلر۔ تیز تر بلڈز اور بہتر تشخیص کے لیے ایک معاون-دوست کمپائلر اسٹیک کے طور پر ڈیزائن کیا گیا ہے۔

بھارتی حکومت کے آدھار ⁦ID⁩ کارڈز کا استعمال کرتے ہوئے رازداری کو محفوظ رکھنے والی ایپلی کیشنز بنانے کے لیے ٹولز۔ یہ ⁦ZK⁩ سرکٹس، TypeScript، Solidity، اور React لائبریریاں فراہم کرتا ہے تاکہ آدھار ہولڈرز ذاتی ڈیٹا ظاہر کیے بغیر رہائش ثابت کر سکیں۔

Aztec ایک پرائیویسی-فرسٹ ایتھیریم رول اپ اور ڈیولپر پلیٹ فارم ہے جو پروگرامیبل رازداری اور صفر علم ثبوت کے ساتھ ایپلی کیشنز بنانے کے لیے ہے۔

Circom صفر علم ثبوت سسٹمز میں استعمال ہونے والے ریاضیاتی سرکٹس کو لکھنے اور کمپائلنگ کے لیے ایک ڈومین کے لیے مخصوص زبان اور کمپائلر ہے۔

ایک ⁦PSE⁩ ریسرچ پروجیکٹ جو ⁦MPC⁩ ایپلی کیشنز تیار کرنے کے لیے Circom زبان کے استعمال کو قابل بناتا ہے۔ مشین لرننگ ایپلی کیشنز کے لیے ⁦MP-SPDZ⁩ بیک اینڈ انٹیگریشن کے ساتھ Circom کا استعمال کرتے ہوئے ریاضیاتی اور بولین ⁦MPC⁩ سرکٹس کو کمپائل کیا گیا۔

⁦PSE⁩ کا ⁦Zcash⁩ کے ⁦Halo2 PLONK⁩ پروف سسٹم کا دوبارہ تیار کردہ فورک، جس میں اقتصادی لیئر ۱ (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⁩ سے) زیڈ کے اسنارک (zk-SNARK) قابل اعتماد سیٹ اپ تقریب، جو ⁦530M+⁩ پاورز آف ٹاؤ پیدا کرتی ہے۔ ایک ملٹی پارٹی تقریب جہاں سیکیورٹی اس وقت تک برقرار رہتی ہے جب تک کہ ایک شریک ایماندار ہو۔

کرپٹوگرافک ⁦Provable Object Datatypes (PODs)⁩ کی دوسری نسل۔ کسٹم پریڈیکیٹس اور تکراری آپریشنز کے ذریعے ڈیٹا میں لچکدار کمپیوٹیشن کو فعال کرتی ہے۔ ⁦PSE⁩ کے تعاون سے ⁦0xPARC⁩ کے ذریعے تیار کی گئی۔

⁦Railgun⁩ ایتھیریم اور ⁦EVM⁩ نیٹ ورکس کے لیے ایک رازداری کا پروٹوکول ہے جو صفر علم ثبوت کے ساتھ شیلڈڈ ٹرانزیکشنز اور نجی ⁦DeFi⁩ تعاملات فراہم کرتا ہے۔

⁦Self Protocol⁩ کھلی شناخت اور ثبوت کے پرائمیٹوز فراہم کرتا ہے جنہیں بلڈرز اس وقت شامل کر سکتے ہیں جب انہیں والیٹس یا اسناد سے منسلک رازداری کو محفوظ رکھنے والے تصدیقی فلو کی ضرورت ہو۔

⁦Semaphore⁩ نجی گروپ کی رکنیت کے ثبوتوں کے لیے ایک صفر علم پروٹوکول ہے، جو شناخت ظاہر کیے بغیر گمنام سگنلنگ اور تصدیق کو قابل بناتا ہے۔

⁦snarkjs⁩ ⁦zkSNARK⁩ ثبوت بنانے اور ان کی تصدیق کرنے، اور ⁦Node.js⁩ اور براؤزر میں عام ثبوت کے ورک فلوز چلانے کے لیے ایک ⁦JavaScript⁩ اور ⁦CLI⁩ ٹول کٹ ہے۔

ایک ماڈیولر فولڈنگ لائبریری جو انکریمنٹل ویریفائی ایبل کمپیوٹیشن (Incremental Verifiable Computation) کے لیے متعدد فولڈنگ اسکیموں (⁦Nova⁩، ⁦HyperNova⁩، ⁦ProtoGalaxy⁩، ⁦CycleFold⁩) اور ڈیسائیڈر بیک اینڈز (⁦Groth16⁩، ⁦KZG⁩) کو سپورٹ کرتی ہے۔ ⁦Arkworks⁩، ⁦Circom⁩، ⁦Noir⁩، اور ⁦Noname⁩ فرنٹ اینڈز کو سپورٹ کرتی ہے۔

تکراری ⁦zkVM⁩ ثبوت تیار کرتا ہے جو اس بات کی تصدیق کرتے ہیں کہ ⁦Unified Binary Trie (UBT)⁩ اور مرکل پیٹریشیا ٹرائی کی حالت کی اپ ڈیٹس فی ایتھیریم بلاک سے ملتی ہیں۔ لائٹ کلائنٹس اور نجی معلومات کی بازیافت کے لیے بلا اعتماد حالت کی تصدیق کو فعال کرتا ہے۔

قابل تصدیق ⁦Oblivious PseudoRandom Functions⁩ کا استعمال کرتے ہوئے ویب۲ شناختوں کے لیے تخلص پر مبنی سسٹمز کو فعال کرنا۔ ای میل اور سوشل اکاؤنٹس کو گمنام ووٹنگ، نجی فورمز، اور خفیہ ایئر ڈراپس کے لیے نجی نلیفائرز بنانے کی اجازت دیتا ہے۔

⁦ZK Email⁩ آن چین ریڈیکٹڈ ای میل ٹرانسکرپٹس کے بارے میں حقائق ثابت کرنے کے لیے سرکٹس اور ⁦SDKs⁩ فراہم کرتا ہے۔ یہ اس وقت مفید ہے جب آپ ان باکسز کو ظاہر کیے بغیر رازداری کو محفوظ رکھنے والی شناخت یا رسید کی جانچ چاہتے ہوں۔

ایک ⁦PSE⁩ اقدام جو تکنیکی معیارات کا مسودہ تیار کر کے، اوپن سورس ⁦ZK⁩ انفراسٹرکچر بنا کر، اور حکومتوں کے ساتھ تعاون کر کے رازداری کو محفوظ رکھنے والی ڈیجیٹل شناخت کو آگے بڑھا رہا ہے۔ ⁦EU EUDI⁩ والیٹ انٹیگریشن اور ⁦ZKP⁩ والیٹ یونٹ پر کام کر رہا ہے۔

صفر علم ثبوت کا استعمال کرتے ہوئے نجی شناخت کی تصدیق۔ کوئی بھی ذاتی معلومات ظاہر کیے بغیر عمر، ملک، یا شخصیت کے ثبوت کی تصدیق کریں۔ انٹیگریشن اور آن چین رجسٹری کنٹریکٹس کے لیے ⁦SDK⁩ کے ساتھ موبائل-فرسٹ ڈیزائن۔

⁦zkTLS / TLSNotary⁩ ⁦MPC⁩ کے ساتھ ⁦TLS⁩ سیشنز کی خصوصیات کو ثابت کرنے کے لیے ایک اوپن پروٹوکول ہے تاکہ تصدیق کنندگان مکمل سادہ متن دیکھے بغیر ٹرانسکرپٹس پر اعتماد کر سکیں۔

⁦ZoKrates⁩ ایتھیریم پر زیڈ کے اسنارکس کے لیے ایک ٹول باکس ہے، جو ⁦DSL⁩، کمپائلر، اور قابل اعتماد سیٹ اپ، ثبوت کی تیاری، اور تصدیق کنندہ کے انٹیگریشن کے لیے یوٹیلیٹیز پیش کرتا ہے۔

متعدد زبانوں (⁦JavaScript⁩، ⁦Solidity⁩، ⁦Rust⁩، ⁦Noir⁩) میں دوبارہ استعمال کے قابل صفر علم لائبریریوں کا ایک مونو ریپو، جو کرپٹوگرافک پرائمیٹوز جیسے مرکل ٹریز، ⁦Poseidon⁩ ہیش، اور بہت کچھ کے اچھی طرح سے ٹیسٹ شدہ نفاذ کی پیشکش کرتا ہے۔