ابزارهای توسعه و متن‌باز✦نمایه تحریریه
btcd
A Bitcoin full-node implementation written in Go.
☆ ۶٬۷۱۱ +۰ / 7dدیدن مدخل
کاربرد
Certora/SecurityReports یک مخزن عمومی GitHub است. آخرین تصویر ذخیره‌شده، ۳۴ ستاره و ۳ فورک را گزارش می‌کند. موضوع‌ها: blockchain, certora, certora prover, ethereum, formal verification, security audits. پیش از استفاده از نرم‌افزار، مستندات، مجوز و گزارش‌های مشکل فعلی را بخوان.
Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits for leading Web3 protocols on EVM-based chains, Solana, and Stellar.
مخزن‌های GitHub
- ستاره
- ۳۴
- ستاره افزوده · ۷ روز
- +۱
- فورک
- ۳
- زبان اصلی
- بررسی نشده
- مجوز مخزن
- بررسی نشده
- آخرین ارسال کد
- ۲۴ اوت ۲۰۲۶
محبوبیت از ستاره GitHub است. رشد ۷روزه به یک هفته ثبت محلی نیاز دارد. این رتبه‌بندی رسمی GitHub نیست.
منابع و تازگی
GitHub ↗منبع تازه شد · ۱۶ اکتبر ۲۰۲۶
مدخل‌های واردشده منبع دارند. مدخل برای کشف است، نه تأیید.