الأمان والاختبار والتحقق الرسمي

أبرز النقاط

Titanoboa is a Vyper interpreter and testing framework that provides a modern, integrated development experience for Vyper smart contracts. It enables developers to test and debug Vyper contracts directly within Python, offering features like pretty tracebacks, forking, debugging capabilities, pytest integration and out-of-the box fuzzing. Beyond its standalone capabilities, Titanoboa serves as the foundation for other popular testing frameworks like Ape and Moccasin, and is a core piece of infrastructure for the Vyper ecosystem.

Titanoboa

Vyper · أدوات تصحيح الأخطاء

solidity-coverage provides smart-contract code coverage for the Hardhat developer platform. It's highly accurate, supports full viaIR solidity compilation and a large set of solidity-specific code branch patterns. It's installed on ~230k Github projects and is downloaded ~100k times a week from NPM.

الأمان والاختبار والتحقق الرسمي

solidity-coverage

Hardhat · التحليلات · تغطية النص البرمجي · Solidity · أتمتة الاختبار

Synpress is an end-to-end testing framework for web applications based on Cypress.io and Playwright, with support for MetaMask. It is a pioneering tool in web3 end-to-end testing with the potential to evolve into a decentralized network of test runners and continuous integration providers in the future. Synpress is easy to use, fully tested, and includes features such as MetaMask support, headless mode, integrated video recording, and many more. It is also blazingly-fast and extensible, with the ability to add custom commands and plugins. Synpress is already used by many open-source repositories.

الأمان والاختبار والتحقق الرسمي

Synpress

الواجهة الأمامية · التكامل المستمر · تحسين الأداء · أدوات تصحيح الأخطاء

عرض (19)

ERCx: Token Test Library

Foundry · الأمن · ERC-721 · التحقق في وقت التشغيل

K Semantics of the Ethereum Virtual Machine (EVM)

الأمن · التعليم · التحليلات · التحقق الرسمي · تنفيذ رمزي · أدوات تصحيح الأخطاء · التحقق في وقت التشغيل · Vyper

Crytic-Properties

الأمن · ERC-721 · اختبار التشويش · Solidity

Medusa

الأمن · الحوكمة · التحليلات · اختبار التشويش

Slither

الأمن · التحليل الساكن · Solidity · Vyper · التكامل المستمر

Verifereum

الأمن · التعليم · التحقق الرسمي

Titanoboa

Vyper · أدوات تصحيح الأخطاء

solidity-coverage

Hardhat · التحليلات · تغطية النص البرمجي · Solidity · أتمتة الاختبار

blocksmith.js

واجهة خط الأوامر (CLI) · Foundry · عبر السلاسل · نشر العقد

Chimera

Foundry · Solidity · تغطية النص البرمجي · أتمتة الاختبار · ملحق VSCode

Synpress

الواجهة الأمامية · التكامل المستمر · تحسين الأداء · أدوات تصحيح الأخطاء

Simbolik - Solidity Debugger

الأمن · التعليم · تنفيذ رمزي · ملحق VSCode · التحقق في وقت التشغيل · التحقق الرسمي

bulloak

واجهة خط الأوامر (CLI) · Solidity · جودة النص البرمجي · تحليل النص البرمجي · أتمتة الاختبار · تطوير Solidity · تغطية النص البرمجي

Ackee

التعليم · الأمن · Solidity · التحليل الساكن · نشر العقد · عقود الوكيل

Kontrol - formal verification tool based on Foundry and KEVM

Foundry · التعليم · الحوكمة · التحقق الرسمي · Solidity · التحقق في وقت التشغيل · نشر العقد · التحليل الساكن

Act

التعليم · التحليلات · التحقق الرسمي · تنفيذ رمزي

Wallet Test Framework

الاختبار · محفظة · تجربة المستخدم · تجربة المطور · الأمن

hax

التحقق الرسمي

Trail of Bits Skills Marketplace

الأمن · الاختبار · page-developers-tools-tag-agent-skills

فئات التطبيقات الأخرى

عبر السلاسل وقابلية التشغيل البيني

أدوات تتيح المراسلة وتحويلات الأصول والحالة المشتركة عبر شبكة إيثريوم الرئيسية وتكديس المعاملات والبلوكتشين الأخرى.

البنية التحتية للمعاملات والمحافظ

بنية تحتية لبناء وتوقيع وإرسال ومحاكاة وإدارة معاملات ومحافظ إيثريوم.

البيانات والتحليلات والتتبع

أدوات الفهرسة والاستعلام والتحليلات والتتبع للبيانات على السلسلة والتنفيذ ونشاط الشبكة.

التعليم وموارد المجتمع

مواد تعليمية وتوثيق ودروس تعليمية ومنصات مجتمعية لبُناة إيثريوم.

مكتبات العملاء ومجموعات تطوير البرمجيات (SDKs) (الواجهة الأمامية)

مكتبات ومجموعات تطوير البرمجيات (SDKs) خاصة بلغة معينة للتفاعل مع عُقد إيثريوم وعقوده وبروتوكولاته.

تطوير العقود الذكية وسلاسل الأدوات

أطر العمل والأدوات لكتابة العقود الذكية واختبارها ونشرها وترقيتها.