أدوات العقود

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

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

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

إن ⁦ethPM⁩ هو مدير الحزم غير القابل للتغيير لاستهلاك أو توزيع أو إدارة أي نظام عقود ذكية لـ ⁦EVM⁩.

بيئة تطوير متكاملة (⁦IDE⁩) للعقود الذكية خفيفة الوزن وقائمة على الويب

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

إن ⁦Ethernaut CLI⁩ هو صندوق أدوات أوامر يعتمد على ⁦Hardhat⁩ من ⁦EthernautDAO⁩ مع مساعدي ذكاء اصطناعي اختياريين لمهام إيثيريوم الشائعة عندما تفضل الأجهزة الطرفية (terminals) على واجهات المستخدم الرسومية (⁦GUIs⁩).

يقوم ⁦opstack-kit⁩ ببناء واجهات أمامية ونصوص برمجية متوافقة مع ⁦Superchain⁩ مع مساعدي التجسير، وتدفقات ⁦CustomGasToken⁩، ومهام ⁦OP Stack CLI⁩ المدمجة في قالب البداية.

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

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

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

إن CreateX هو ناشر عالمي منزوع الثقة من pcaversaccio يغلف تدفقات بأسلوب CREATE وCREATE2 وCREATE3 بحيث يمكن للفرق إطلاق عقود من عناوين يمكن التنبؤ بها دون كود مصنع مخصص.

يحول Txtx التوتر والألم والدموع في إدارة البنية التحتية للعقود الذكية من خلال تقديم البنية التحتية للعملات المشفرة ككود (Crypto Infrastructure as Code). تعد كتيبات التشغيل (Runbooks) بمثابة المخطط للتميز الهندسي، مما يضع المعيار الجديد للبنى التحتية لـ Web3.

إضافة ⁦hardhat⁩ توفر تحليلات استخدام الغاز لمجموعات اختبار العقود الذكية. لديها دعم مخصص لسلاسل ⁦OPStack⁩، وهي تبعية في أكثر من ⁦150k⁩ مستودع ⁦Github⁩ ويتم تنزيلها من ⁦NPM⁩ أكثر من ⁦100k⁩ مرة في الأسبوع.

إضافة Hardhat لنشر عقودك الذكية عبر سلاسل EVM متعددة بنفس العنوان الحتمي. يتم حاليًا دعم إجمالي ⁦133⁩ سلسلة EVM، بما في ذلك (تقريبًا) جميع السلاسل المدعومة بـ OP-stack.

أداة للحصول على أحدث نشر من بيئة معينة في ⁦foundry⁩. بهذه الطريقة، يمكنك عمل نصوص برمجية بناءً على عمليات النشر السابقة في ⁦solidity⁩.

إن Create2Deployer هو عقد مصنع بسيط من pcaversaccio يغلف رمز التشغيل CREATE2 بفحوصات أمان بحيث يمكن للفرق نشر عقود معاكسة للواقع في عناوين حتمية.

يجمع ⁦Redprint⁩ بين ساحة لعب بأسلوب المعالج (wizard-style) ومكتبات ⁦redprint-forge⁩ حتى يتمكن المطورون من تكوين ترقيات عقود ⁦OP Stack⁩ بشكل تجريبي في ⁦Solidity⁩ مع عمليات نشر آمنة للأنواع، واختبارات قابلة لإعادة الاستخدام، وكتابة نصوص معاملات مدركة لـ ⁦Safe⁩، وربط المكونات المعيارية قبل انتقال التغييرات إلى مسارات الإنتاج.

إن ⁦Cannon⁩ هي أداة ⁦DevOps⁩ للبروتوكولات على إيثريوم. تدير نشر العقود الذكية وتكوينها للتطوير المحلي والشبكات الحية.

واجهة سطر أوامر (CLI) مفتوحة المصدر بنسبة ⁦100%⁩ تتوافق مع كتل بناء العقود الذكية. يمكن لصندوق الأدوات هذا تقليل تكلفة غاز الطبقة الثانية (L2) عن طريق تشفير بيانات الاستدعاء (calldata) لتطوير التطبيقات اللامركزية (dApps) لاستخدام أقل عدد ممكن من بايتات بيانات الاستدعاء.

قارن بسهولة تقارير الغاز التي تم إنشاؤها بواسطة ⁦Foundry⁩ تلقائيًا في كل طلب سحب (⁦Pull Request⁩) خاص بك!

قم بتشغيل بيئة Superchain شخصية لإجراء الاختبارات، وعمل تفرع (fork) للشبكات، وفحص الحالة مع التحكم الكامل في كيفية عمل مجموعتك (rollup). ملعب تطوير إيثريوم و Superchain النهائي

يتيح وكيل الموقّع هذا لمشغلي OP Stack توجيه توقيع المُسلسِل، والمُجمِّع (batcher)، والمُقترِح، والمتحدي من خلال AWS KMS أو YubiHSM بدلاً من المفاتيح الخاصة الخام على القرص.

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

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

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

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

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

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

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

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

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

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

Solc-select هي أداة مساعدة لسطر الأوامر لتثبيت إصدارات مترجم Solidity والتبديل بينها بسرعة.

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

كتل بناء عقود ذكية بلغة Vyper حديثة، وذات آراء قوية، ومحسنة للغاية، وآمنة.

تُجمّع ⁦EvmTools⁩ أدوات المتصفح والإضافات - أجهزة فك التشفير، ومساعدي ميركل (merkle)، والمحولات، والأدوات الصغيرة المماثلة - لتصحيح أخطاء العقود الذكية يوميًا في مكان واحد.

إطار عمل مرن وقابل للتركيب على السلسلة لإنشاء حراس البوابات (gatekeepers) وإعادة استخدامهم وتخصيصهم. يستخدم السياسات (⁦Policies⁩) والمدققين (⁦Checkers⁩) كعناصر أساسية للتحكم في الوصول القائم على السمات مع أنماط وكيل (⁦proxy⁩) دنيا موفرة للغاز وتحقق متعدد المراحل.

تنفيذ ⁦TinyAlloc⁩ في ⁦Fe-lang⁩ لـ ⁦EVM⁩

بروتوكول الرسم البياني التنظيمي: قم بتشفير أدوار مؤسستك ووكلائها وأذوناتها في رسم بياني قابل للبرمجة باستخدام ⁦Hats Protocol⁩

إن ⁦Solmate⁩ هي مجموعة حديثة وذات آراء قوية من كتل بناء ⁦Solidity⁩ المحسنة للغاز والأدوات المساعدة لتطوير العقود الذكية.

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

إن ⁦Solidity Bytes Utils⁩ هي مكتبة كلاسيكية لربط، وتقطيع، وتحويل مصفوفات البايتات الديناميكية في ذاكرة أو تخزين ⁦Solidity⁩ - تمت صيانتها لفترة طويلة وتم تفرعها على نطاق واسع عبر البروتوكولات الرئيسية.

لغة برمجة شبيهة بـ Rust (Rustic) تستهدف EVM

مكتبة HTTP لـ Solidity مبنية على curl

تجمع إضافة ⁦VSCode Solidity Inspector⁩ أدوات Solidity العملية في ⁦VS Code⁩: طرق عرض تخطيط التخزين، وتلميحات نظافة الاستيراد، وملخصات نشر Foundry، ونماذج اختبار ⁦Bulloak⁩، والواردات المدركة لإعادة التعيين، وتلميحات حجم الكود.

إن Diamondscaffold هي أداة واجهة سطر أوامر (CLI) مصممة لإنشاء هيكل مشاريع الماس EIP-2535 بتخطيط ونصوص برمجية محددة، مما يجعل إعداد الوكلاء المعياريين القابلين للترقية أسرع.

إضافة Solidity لـ IntelliJ

تقوم هذه المكتبات بتعبئة تسعير Black-Scholes ورياضيات المخاطر المضبوطة لـ Derive في Go وRust بحيث يمكن لوحدات المخاطر على السلسلة إعادة استخدام التطبيقات المحسنة بشكل كبير والمرتبطة بمكدس الهامش الخاص بـ Derive.

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

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

إن Aztec هي منصة مطورين وتجميع إيثيريوم تعطي الأولوية للخصوصية لبناء تطبيقات بخصوصية قابلة للبرمجة وإثباتات المعرفة الصفرية.

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

مشروع بحثي لـ PSE يتيح استخدام لغة Circom لتطوير تطبيقات MPC. دوائر MPC حسابية ومنطقية مُصرّفة باستخدام Circom مع تكامل الواجهة الخلفية MP-SPDZ لتطبيقات التعلم الآلي.

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

تستخدم ⁦MACI⁩ (البنية التحتية الدنيا لمكافحة التواطؤ) إثباتات المعرفة الصفرية لتمكين أنظمة التصويت والإشارات الخاصة والمقاومة للتواطؤ على إيثيريوم.

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

مكتبة حوسبة متعددة الأطراف (⁦MPC⁩) آمنة، وعالية الأداء، ومعيارية، ومحمولة بلغة ⁦Rust⁩. تدعم التنفيذ الأصلي و⁦WebAssembly⁩. تُشغّل البنية التحتية لعلم التشفير الخاصة بـ ⁦TLSNotary⁩ وتُستخدم عبر المشاريع التي تركز على الخصوصية.

إن ⁦Noir⁩ هي لغة مستوحاة من ⁦Rust⁩ لكتابة دوائر المعرفة الصفرية بتركيب وأدوات صديقة للمطورين تحتفظ بها ⁦Aztec⁩.

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

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

الجيل الثاني من أنواع بيانات الكائنات القابلة للإثبات (⁦PODs⁩) التشفيرية. يتيح الحوسبة المرنة عبر البيانات من خلال المسندات المخصصة والعمليات العودية. تم تطويره بواسطة ⁦0xPARC⁩ بالتعاون مع ⁦PSE⁩.

إن ⁦Railgun⁩ هو بروتوكول للخصوصية لشبكات إيثيريوم و⁦EVM⁩ يوفر معاملات محمية وتفاعلات التمويل اللامركزي (DeFi) الخاصة مع إثباتات المعرفة الصفرية.

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

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

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

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

يُنشئ إثباتات ⁦zkVM⁩ عودية تتحقق من أن تحديثات حالة شجرة التجزئة الثنائية الموحدة (⁦UBT⁩) وشجرة ميركل باتريشيا تتطابق لكل كتلة إيثيريوم. يتيح التحقق من الحالة بشكل منزوع الثقة للعملاء الخفيفين واسترجاع المعلومات الخاصة.

تمكين الأنظمة ذات الأسماء المستعارة لهويات ويب 2 باستخدام وظائف شبه عشوائية غافلة (⁦Oblivious PseudoRandom Functions⁩) يمكن التحقق منها. يسمح لحسابات البريد الإلكتروني والحسابات الاجتماعية بإنشاء مبطلات (nullifiers) خاصة للتصويت المجهول، والمنتديات الخاصة، والإسقاطات الجوية السرية.

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

مبادرة ⁦PSE⁩ لتعزيز الهوية الرقمية التي تحافظ على الخصوصية من خلال صياغة المعايير الفنية، وبناء بنية تحتية ⁦ZK⁩ مفتوحة المصدر، والتعاون مع الحكومات. تعمل على تكامل محفظة ⁦EU EUDI⁩ ووحدة محفظة ⁦ZKP⁩.

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

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

إن ⁦ZoKrates⁩ عبارة عن صندوق أدوات لإثباتات زي كي سنارك على إيثيريوم، يقدم لغة خاصة بالمجال (⁦DSL⁩)، ومصرفًا (compiler)، وأدوات مساعدة للإعداد الموثوق، وإنشاء الإثباتات، وتكامل المتحقق.

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