أدوات العقود

أداة تطوير العقود الذكية لمبرمجي ⁦Python⁩ وعلماء البيانات ومحترفي الأمن

إن Scaffold-ETH 2 هو قالب بداية لـ Next.js بالإضافة إلى Hardhat أو Foundry مع خطافات (hooks) المحفظة، وإعادة التحميل السريع للعقود، وأدوات الصنبور المحلية، ووحدات التوسعة لنشر التطبيقات اللامركزية (dapp) متكاملة الخدمات (full-stack).

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.

إطار عمل للتطوير والاختبار قائم على ⁦Python⁩ للعقود الذكية التي تستهدف آلة إيثريوم الافتراضية (⁦EVM⁩).

مجموعة أدوات 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⁩ هو سير عمل ⁦Cyfrin⁩ الذي يعتمد على ⁦Python⁩ أولاً على ⁦Titanoboa⁩ لاختبار، وإجراء اختبارات عشوائية (⁦fuzzing⁩)، ونشر العقود الذكية المكتوبة بلغة ⁦Vyper⁩.

إن ⁦Hardhat⁩ هي بيئة تطوير لبناء ونشر برامج إيثريوم الخاصة بك

إن ⁦Foundry⁩ هي سلسلة أدوات ⁦Rust⁩ سريعة ومحمولة لهندسة العقود الذكية على إيثيريوم، والتي تدير التبعيات، وتُصرّف (compiles) ⁦Solidity⁩، وتُشغّل الاختبارات العشوائية (⁦fuzz⁩) واختبارات الوحدة، وتنشُر العقود، وتدفع تفاعل السلسلة المبرمج من الجهاز الطرفي (⁦terminal⁩) أو نصوص أتمتة ⁦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.

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.

تُجمّع ⁦Kurtosis⁩ شبكات تطوير (⁦devnets⁩) متعددة الخدمات قابلة لإعادة الإنتاج بحيث يمكنك تشغيل مكدسات إيثيريوم أو تجميعات واقعية لاختبارات التكامل بشكل أسرع من ملفات ⁦compose⁩ التي يتم صيانتها يدويًا.

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.

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.

إن 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.

إضافة Hardhat لنشر عقودك الذكية عبر سلاسل EVM متعددة بنفس العنوان الحتمي. يتم حاليًا دعم إجمالي ⁦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.

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.

إن ⁦Cannon⁩ هي أداة ⁦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.

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.

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.

إن blocksmith.js هو إطار عمل JavaScript خفيف حول forge وanvil لكتابة نصوص اختبارات Foundry متعددة السلاسل أو متعددة المثيلات عندما لا يكون EVM محلي واحد كافيًا.

عقود OpenZeppelin هي المكتبة المفضلة لتطوير العقود الذكية.

Solidity هي لغة عالية المستوى وموجهة للكائنات (object-oriented) لتنفيذ العقود الذكية.

لغة عقود ذكية بايثونية (شبيهة ببايثون) لـ EVM

أدوات تطوير موجهة نحو Solidity

تجمع ⁦Solady⁩ من ⁦Vectorized⁩ مقتطفات ⁦Solidity⁩ محسنة بقوة من إثباتات ميركل إلى مساعدي الضغط، وتغلف لغة التجميع المضمنة (inline assembly) الدقيقة في واجهات برمجة تطبيقات (APIs) يسهل الوصول إليها حتى يتمكن المطورون المتقدمون من شحن أنماط فعالة من حيث الغاز أثناء تعلم تقنيات التحسين المتطورة من مكتبة مرجعية حية.

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.

إن ⁦Fe⁩ هي لغة مستوحاة من ⁦Rust⁩ تستهدف ⁦EVM⁩؛ يمكنك اليوم استكشاف نظام الكتابة الخاص بـ ⁦Fe v2⁩ عبر واجهة سطر الأوامر (⁦CLI⁩) أو أدوات المحرر حتى أثناء استمرار تطور إنشاء رمز البايت.

إن ⁦Solhint⁩ هي أداة فحص (linter) لـ ⁦Solidity⁩ تقوم بربطها في المحررات أو التكامل المستمر (⁦CI⁩) لفرض قواعد النمط واكتشاف الأنماط الخاطئة مبكرًا.

تضيف إضافة Solidity لـ ⁦VS Code⁩ من ⁦Juan Blanco⁩ تمييز بناء الجملة، وأوامر التصريف، والبيانات الوصفية عند التمرير، والإصلاحات السريعة، واكتشاف المستودع الأحادي (monorepo)، وإنشاء كود Nethereum الاختياري، وتكامل أداة فحص الكود (lint)، وخادم ⁦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.

PRBMath هي مكتبة عقود ذكية تضيف دعمًا لأنواع النقطة الثابتة والوظائف الرياضية المتقدمة مثل اللوغاريتمات والأسيات في Solidity. تعمل PRBMath بأرقام ذات ⁦18⁩ منزلة عشرية، وهي في نفس الوقت فعالة من حيث الغاز وسهلة الاستخدام.

إضافة Solidity لـ IntelliJ

تستعيد ⁦WhatsABI⁩ المحددات (selectors)، والوكلاء (proxies)، وواجهات التطبيق الثنائية (⁦ABIs⁩) الجزئية من رمز البايت وحده - استخدمها في المحافظ، أو المستكشفات، أو الأدوات المحلية عندما يكون المصدر الذي تم التحقق منه مفقودًا ولكنك لا تزال بحاجة إلى فك تشفير بيانات الاستدعاء.

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 حديثة، وذات آراء قوية، ومحسنة للغاية، وآمنة.

مترجم ⁦Solidity⁩ معياري وسريع للغاية مكتوب بلغة Rust بواسطة ⁦Paradigm⁩. مصمم كحزمة مترجم صديقة للمساهمين لبناء أسرع وتشخيصات أفضل.

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.

إضافة Prettier لتنسيق كود Solidity الخاص بك تلقائيًا.

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.

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⁩ - تمت صيانتها لفترة طويلة وتم تفرعها على نطاق واسع عبر البروتوكولات الرئيسية.

مترجم ⁦Solidity⁩ فعال من حيث الغاز لـ إيثيريوم مدعوم بـ ⁦LLVM⁩ من فريق ZKsync والمتعاونين. يعمل كبديل مباشر لـ ⁦solc⁩ في مسارات العمل مثل Foundry و Hardhat.

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 بتخطيط ونصوص برمجية محددة، مما يجعل إعداد الوكلاء المعياريين القابلين للترقية أسرع.

يوفر ⁦ZK Email⁩ دوائر وحزم ⁦SDKs⁩ لإثبات الحقائق حول نصوص البريد الإلكتروني المنقحة على السلسلة. مفيد عندما تريد التحقق من الهوية أو الإيصالات مع الحفاظ على الخصوصية دون كشف (doxxing) صناديق البريد الوارد.

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⁩ هي مجموعة أدوات JavaScript و ⁦CLI⁩ لإنشاء والتحقق من إثباتات زي كي سنارك (zk-SNARK)، ولتشغيل سير عمل الإثبات الشائع في Node.js والمتصفح.

إن Circom هي لغة خاصة بالمجال ومُصرّف لكتابة وتصريف الدوائر الحسابية المستخدمة في أنظمة إثبات المعرفة الصفرية.

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.

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.

إن ⁦Semaphore⁩ هو بروتوكول المعرفة الصفرية لإثباتات عضوية المجموعة الخاصة، مما يتيح الإشارات والمصادقة المجهولة دون الكشف عن الهوية.

يوفر ⁦Self Protocol⁩ أساسيات هوية وإثبات مفتوحة يمكن للبناة تضمينها عندما يحتاجون إلى تدفقات تحقق تحافظ على الخصوصية مرتبطة بالمحافظ أو بيانات الاعتماد.

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.

The RAILGUN Wallet SDK lets an app shield tokens and NFTs, hold private balances and send private transfers and contract calls using zero-knowledge proofs. It runs on Ethereum, Arbitrum, Polygon, BNB Chain and more, on top of the lower-level RAILGUN engine.

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.

إن ⁦zkTLS⁩ / ⁦TLSNotary⁩ هو بروتوكول مفتوح لإثبات خصائص جلسات ⁦TLS⁩ باستخدام ⁦MPC⁩ بحيث يمكن للمتحققين الوثوق بالنصوص دون رؤية النص العادي الكامل.

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.

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.

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⁩ (البنية التحتية الدنيا لمكافحة التواطؤ) إثباتات المعرفة الصفرية لتمكين أنظمة التصويت والإشارات الخاصة والمقاومة للتواطؤ على إيثيريوم.

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.

مجموعة أدوات تجعل إثبات المعرفة الصفرية من جانب العميل على الهاتف المحمول أمرًا بسيطًا. تربط أنظمة إثبات ⁦ZK⁩ (مثل ⁦Halo2⁩ و⁦Circom⁩) لإنشاء روابط ⁦iOS⁩ و⁦Android⁩ والمتصفح، مع الاستفادة من وحدة معالجة الرسومات (⁦GPU⁩) المحمولة لتحسين الأداء.

مستودع أحادي (⁦monorepo⁩) لمكتبات المعرفة الصفرية القابلة لإعادة الاستخدام عبر لغات متعددة (JavaScript، و Solidity، و Rust، و Noir)، يقدم تطبيقات تم اختبارها جيدًا للأساسيات التشفيرية مثل أشجار ميركل (⁦Merkle trees⁩)، وتجزئة ⁦Poseidon⁩، والمزيد.

مكتبة طي معيارية تدعم مخططات طي متعددة (⁦Nova⁩، و ⁦HyperNova⁩، و ⁦ProtoGalaxy⁩، و ⁦CycleFold⁩) ونهايات خلفية للمقرر (⁦Groth16⁩، و KZG) للحوسبة المتزايدة القابلة للتحقق. تدعم الواجهات الأمامية لـ ⁦Arkworks⁩، و ⁦Circom⁩، و Noir، و ⁦Noname⁩.

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.

أدوات لبناء تطبيقات تحافظ على الخصوصية باستخدام بطاقات هوية Aadhaar التابعة للحكومة الهندية. توفر دوائر ZK، ومكتبات TypeScript وSolidity وReact لتمكين حاملي Aadhaar من إثبات الإقامة دون الكشف عن البيانات الشخصية.

التحقق من الهوية الخاصة باستخدام إثباتات المعرفة الصفرية. تحقق من العمر، أو البلد، أو إثبات الشخصية دون الكشف عن أي معلومات شخصية. تصميم يركز على الأجهزة المحمولة أولاً مع حزمة ⁦SDK⁩ للتكامل وعقود التسجيل على السلسلة.

تفرع (fork) مُعاد تصميمه من ⁦PSE⁩ لنظام إثبات ⁦Halo2 PLONK⁩ الخاص بـ ⁦Zcash⁩، ويتميز بخلفية ⁦KZG⁩ مع متحقق ⁦Solidity⁩ للتحقق الاقتصادي من الطبقة الأولى (⁦L1⁩)، ودعم منحنيات إهليلجية متعددة، وبنية أمامية/خلفية منفصلة.

مجموعة أدوات لمراسم الإعداد الموثوق (Trusted Setup) للمرحلة الثانية من ⁦Groth16⁩. تساعد المطورين على إنشاء وإدارة الإعدادات الموثوقة لتطبيقات ⁦ZK⁩، مع تطبيق ويب مصاحب (⁦DefinitelySetup⁩) للمراقبة والمشاركة.

مراسم إعداد موثوق (trusted setup) مستمرة (منذ ⁦2019⁩) لـ زي كي سنارك (zk-SNARK) للدوائر التي تصل إلى ⁦2^28⁩ قيدًا، مما يولد أكثر من ⁦530M+⁩ من قوى تاو (powers of tau). مراسم متعددة الأطراف حيث يظل الأمان قائمًا طالما كان هناك مشارك واحد صادق.