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

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

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

Huff is a low-level assembly language and compiler for writing hand-optimized EVM bytecode, with development continuing in huff2. Builders reach for it when bytecode has to be tuned by hand.

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

متعدد چینز پر سیکھنے، بنانے اور ٹیسٹ کرنے کے لیے ایک بھرپور اور قابل رسائی ⁦Web3⁩ ٹول سیٹ

The Stylus SDK is the Rust SDK for writing smart contracts that run in Arbitrum's Stylus environment alongside the EVM. Rust builders use it when contract logic should be written in Rust rather than Solidity.

BuildBear is a hosted service that spins up a private testnet sandbox mirroring a real chain such as Ethereum, Polygon, BSC, or Arbitrum. Builders point tests at it to work against a private fork with real chain state.

slang from the Nomic Foundation is a modular Solidity compiler frontend with a parser, concrete syntax tree, and bindings. Builders import it when writing a linter, formatter, or other tool that has to understand Solidity source.

Wake is a Python framework for testing, fuzzing, and static analysis of Solidity projects. Builders reach for it when they want to write contract tests and fuzzing campaigns in Python and run analysis over the same codebase.

py-solc-x is a Python wrapper and version manager for the solc Solidity compiler, used by Brownie and Ape style test suites. Python builders install it to fetch and switch compiler versions from their own scripts.

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

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

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

PoWFaucet is a modular testnet faucet for EVM chains with anti-abuse methods including a mining puzzle, captcha, IP limits, and Gitcoin Passport, and it backs the Sepolia proof-of-work faucet. Teams running a testnet self-host it to hand out test ETH without giving it all to one address.

hardhat-deploy is a Hardhat plugin for replicable deployments with named accounts, proxies, and diamonds. Builders install it when deployments must be repeatable across networks and track upgradeable contracts.

eth-docker is a Dockerized stack for deploying and managing execution, consensus, and validator clients on mainnet. Node operators use it to run a full node setup from configuration files instead of hand-installed binaries.

The Kurtosis ethereum-package spins up reproducible multi-client Ethereum devnets, including mev-boost and supporting tooling. Builders run it when they need a local network that mirrors a real client mix.

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

DAppNode is an operating system with an app store for running Ethereum execution and consensus clients and other node software on your own hardware. Someone setting up a home node installs it and picks client packages instead of configuring each service by hand.

simple-optimism-node is a one-command Docker setup for running an OP Stack node. Builders run it to get their own Optimism node, in the same way eth-docker covers mainnet clients.

ethereum-helm-charts are Helm charts from ethPandaOps for running Ethereum execution and consensus clients and related infrastructure on Kubernetes. Teams add them to a cluster rather than writing client manifests themselves.

Chainlink Faucets dispense testnet ETH and LINK across the supported test networks. Builders use them to fund an account before deploying and testing contracts on a testnet.

Decker is a TypeScript CLI for creating configurable local Ethereum devnets with execution and consensus clients, relays, and block builders. Teams use its recipes for integration tests and infrastructure development.

ethereal is a Go command line tool for everyday Ethereum tasks, including sending transactions, managing ENS records, transferring tokens, and inspecting accounts. Builders install it for one-off operations that do not justify a script.

Immunefi is a bug bounty platform where projects post rewards for whitehats who find and responsibly disclose contract vulnerabilities. Teams list a program there to give researchers a paid route to report issues.

Rocket Pool Smart Node is the command line package node operators run to set up and manage a Rocket Pool minipool, wrapping execution and consensus clients plus validator duties.

rocketh is a deployment and test harness for Ethereum contracts built around viem, keeping one record of deployments per network so scripts and tests agree. Builders use it when they want repeatable deployments without Hardhat, which the hardhat-deploy plugin wraps over the same code.

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

foundry-toolchain is the official GitHub Action that installs Foundry in continuous integration. Builders add it to a workflow so forge test and forge script run on every pull request.

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

Sedge is a command line setup tool from Nethermind that generates docker-compose configurations for execution, consensus, and validator client combinations. Builders run it to get a working node setup without writing the compose files.

ethereum-genesis-generator creates execution and consensus layer genesis state for a testnet and serves it over a web server. Devnet and rollup teams run it to produce the genesis files for a custom network.

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

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

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

EthPillar is a setup script and terminal interface for installing and managing an Ethereum staking node with execution, consensus and MEV-Boost clients. Solo stakers run it to stand up a node without editing client configuration by hand.

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

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

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

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

Safe Smart Account is the widely deployed set of modular multisig smart-account contracts behind Safe. Wallet and treasury builders deploy or extend it to add multisignature control and account modules.

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

⁦Solmate⁩ سمارٹ کنٹریکٹ ڈیولپمنٹ کے لیے گیس کے لیے موزوں ⁦Solidity⁩ بلڈنگ بلاکس اور یوٹیلیٹیز کا ایک جدید، رائے پر مبنی مجموعہ ہے۔

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

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

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

ERC721A is a gas-optimized ERC-721 implementation with cheap consecutive batch minting. Builders import it when an NFT contract mints several tokens to the same address at once and minting cost matters.

⁦IntelliJ⁩ کے لیے ⁦Solidity⁩ پلگ ان

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

⁦PRBMath⁩ ایک سمارٹ کنٹریکٹ لائبریری ہے جو ⁦Solidity⁩ میں فکسڈ پوائنٹ ٹائپس اور لاگارتھمز اور ایکسپونینشلز جیسے جدید ریاضی کے فنکشنز کے لیے سپورٹ کا اضافہ کرتی ہے۔ ⁦18-decimal⁩ نمبرز کے ساتھ کام کرتے ہوئے، ⁦PRBMath⁩ ایک ہی وقت میں گیس کے لیے موثر اور صارف دوست ہے۔

⁦Solc-select⁩ ⁦Solidity⁩ کمپائلر ورژنز کو تیزی سے انسٹال کرنے اور ان کے درمیان سوئچ کرنے کے لیے ایک کمانڈ لائن یوٹیلیٹی ہے۔

Multicall3 is the canonical contract for batching many reads or writes into a single transaction. Builders call it from contracts and scripts to fetch or update state across several contracts in one round trip.

جدید ترین، انتہائی رائے پر مبنی، انتہائی بہتر، اور محفوظ ⁦Vyper⁩ سمارٹ کنٹریکٹ بلڈنگ بلاکس۔

⁦Paradigm⁩ کی جانب سے ⁦Rust⁩ میں لکھا گیا انتہائی تیز، ماڈیولر ⁦Solidity⁩ کمپائلر۔ تیز تر بلڈز اور بہتر تشخیص کے لیے ایک معاون-دوست کمپائلر اسٹیک کے طور پر ڈیزائن کیا گیا ہے۔

آپ کے ⁦Solidity⁩ کوڈ کو خود بخود فارمیٹ کرنے کے لیے ایک ⁦Prettier⁩ پلگ ان۔

SolidState Solidity is an upgradeable-first contract library built around the diamond pattern of EIP-2535. Teams import it when contracts are organized as diamond facets from the start.

weiroll is an operation-chaining scripting language and set of contracts for composing many EVM calls into one transaction. Teams building call-routing or batching systems use it to express the call sequence as a script.

⁦Solidity Bytes Utils⁩ ⁦Solidity⁩ میموری یا اسٹوریج میں متحرک بائٹس اریوں کو جوڑنے، سلائس کرنے، اور کاسٹ کرنے کے لیے ایک کلاسک لائبریری ہے—جسے طویل عرصے سے برقرار رکھا گیا ہے اور بڑے پروٹوکولز میں وسیع پیمانے پر فورک کیا گیا ہے۔

زی کے سنک ٹیم اور ساتھیوں کی جانب سے ⁦LLVM⁩ کے ذریعے تقویت یافتہ ایتھیریم کے لیے ایک گیس کے لیے موثر ⁦Solidity⁩ کمپائلر۔ ⁦Foundry⁩ اور ⁦Hardhat⁩ جیسے ورک فلوز میں ⁦solc⁩ کے ڈراپ ان متبادل کے طور پر کام کرتا ہے۔

ABDKMath64x64 is a Solidity library for 64.64-bit binary fixed-point math. Builders import it when a contract needs fixed-point arithmetic that Solidity does not provide natively.

ERC721A-Upgradeable is the proxy-upgradeable variant of the ERC721A implementation. Builders import it when a proxy-based NFT contract needs the batch minting design of ERC721A.

⁦Diamondscaffold⁩ ایک ⁦CLI⁩ ٹول ہے جسے EIP-2535 ڈائمنڈ پروجیکٹس کو ایک اوپینیئنیٹڈ لے آؤٹ اور اسکرپٹس کے ساتھ اسکیفولڈ کرنے کے لیے ڈیزائن کیا گیا ہے، جس سے ماڈیولر اپ گریڈ ایبل پراکسیز کو کھڑا کرنا تیز تر ہو جاتا ہے۔

solidity-docgen generates Markdown documentation for a Solidity project from its NatSpec comments. Teams run it so published docs stay in step with the contract source.

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

SP1 from Succinct is a zero-knowledge virtual machine that proves correct execution of RISC-V programs, and it is used to generate proofs for rollups and bridges. Teams compile a Rust program with it when a proof must stand in for re-executing that program onchain.

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

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

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

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

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

risc0-ethereum holds the integration libraries and verifier contracts for using the RISC Zero zkVM with Ethereum and other EVM chains. Teams proving computation off chain import these crates to settle the resulting proofs onchain.

⁦MACI (Minimal Anti-Collusion Infrastructure)⁩ ایتھیریم پر ملی بھگت کے خلاف مزاحم، نجی ووٹنگ اور سگنلنگ سسٹمز کو فعال کرنے کے لیے صفر علم ثبوت استعمال کرتا ہے۔

gnark-crypto provides elliptic curve and pairing cryptography for BN, BLS12, BLS24, and BW6 curves, and it is the backend of the gnark SNARK library. Go builders import it directly for curve and pairing math.

ایک ٹول کٹ جو موبائل پر کلائنٹ سائیڈ صفر علم ثابت کرنے کو آسان بناتی ہے۔ بہتر کارکردگی کے لیے موبائل ⁦GPU⁩ کا فائدہ اٹھاتے ہوئے، ⁦iOS⁩، ⁦Android⁩، اور براؤزر بائنڈنگز بنانے کے لیے ⁦ZK⁩ پروف سسٹمز (⁦Halo2⁩، ⁦Circom⁩) کو جوڑتی ہے۔

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

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

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

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

⁦PSE⁩ کا ⁦Zcash⁩ کے ⁦Halo2 PLONK⁩ پروف سسٹم کا دوبارہ تیار کردہ فورک، جس میں اقتصادی لیئر ۱ (l1) تصدیق کے لیے ⁦Solidity⁩ تصدیق کنندہ کے ساتھ ⁦KZG⁩ بیک اینڈ، متعدد الپٹک کروز کے لیے سپورٹ، اور ڈی کپلڈ فرنٹ اینڈ/بیک اینڈ آرکیٹیکچر شامل ہے۔

⁦Groth16 Phase 2⁩ قابل اعتماد سیٹ اپ تقریبات کے لیے ایک ٹول کٹ۔ ڈیولپرز کو ⁦ZK⁩ ایپلی کیشنز کے لیے قابل اعتماد سیٹ اپس بنانے اور ان کا انتظام کرنے میں مدد کرتی ہے، جس میں نگرانی اور شرکت کے لیے ایک ساتھی ویب ایپ (⁦DefinitelySetup⁩) شامل ہے۔

arkworks algebra is a set of Rust libraries for finite field, elliptic curve, and polynomial arithmetic, and it is the math layer under many SNARK and STARK toolchains. Rust builders add the ark crates when writing proving code from the ground up.

Lambdaworks is a Rust library of SNARK and STARK prover components that can be used piecemeal or assembled into a custom proving system. Teams pull its crates when building their own prover rather than adopting a finished one.

op-succinct is a proving engine that generates SP1 validity proofs for OP Stack rollups. Rollup teams deploy it to turn an OP Stack chain into a validity proof rollup, running it as a separate service.

Plonky3 is a toolkit of polynomial IOP building blocks for constructing custom SNARK and STARK proving systems, and several zkVM projects build on it. Rust builders add the p3 crates when writing their own proving system.

powdr is a toolkit for accelerating and hardening zkVMs by moving specific computations into custom circuits. Teams running a zkVM use it to generate custom precompiles and check constraints, and its authors still describe the code as experimental.

rsp from Succinct generates zero-knowledge proofs of Ethereum and OP Stack block execution, built on Reth. Its authors describe it as a minimal work in progress that is not meant for production, so it mainly serves teams already building on SP1.

snark-verifier generates gas-efficient onchain verifiers for halo2 SNARKs and is maintained by Axiom, forked from the original PSE repository. halo2 developers import the crate to produce the Solidity verifier that checks their proofs onchain.

⁦2^28⁩ رکاوٹوں تک کے سرکٹس کے لیے ایک جاری (⁦2019⁩ سے) زیڈ کے اسنارک (zk-SNARK) قابل اعتماد سیٹ اپ تقریب، جو ⁦530M+⁩ پاورز آف ٹاؤ پیدا کرتی ہے۔ ایک ملٹی پارٹی تقریب جہاں سیکیورٹی اس وقت تک برقرار رہتی ہے جب تک کہ ایک شریک ایماندار ہو۔