مرکزی مواد پر جائیں
سیکیورٹی اور ٹیسٹنگ

Certora Prover

رسمی تصدیق

⁦GitHub⁩ پر دیکھیں (نئے ٹیب میں کھلتا ہے)

اگلا دیکھیں

Kontrol - formal verification tool based on Foundry and KEVM

⁦Certora Prover⁩ کے بارے میں

Certora Prover is a cloud formal-verification service that checks specifications written in CVL against deployed contract code. Verification engineers use it to prove that a contract holds stated properties for all inputs.

ٹیگز

  • رسمی تصدیق
  • تصدیق
  • سیکیورٹی

ریپوزٹریCertora

معلومات

قسم
رسمی تصدیق
⁦GitHub⁩ اسٹارز
۳۳۹
لائسنس
GPL-3.0
لسٹنگ کا جائزہ لیا گیا
ستمبر ۲۰۲۶

ملتے جلتے ٹولز

K Semantics of the Ethereum Virtual Machine (EVM)

K Semantics of the Ethereum Virtual Machine (EVM)

⁦KEVM⁩ ⁦EVM⁩ کی ⁦K-framework⁩ ایگزیکیوٹیبل سیمینٹکس ہے: جب آپ کو کنفارمنس چیک شدہ ایگزیکیوشن، علامتی کھوج، گیس کی استدلال، یا ایسے ثبوتوں کی ضرورت ہو جو ایتھیریم کے اصولوں کو قریب سے ٹریک کرتے ہوں تو اسے بائٹ کوڈ پر پوائنٹ کریں۔

hax

hax

⁦hax⁩ ⁦Rust⁩ کے ایک بڑے سب سیٹ کو فارمل زبانوں جیسے ⁦F*⁩ یا ⁦Rocq⁩ میں ہائی ایشورنس ٹرانسلیشنز کے لیے ایک ٹول ہے۔

Act

Act

Act ایتھیریم کی ڈیکلریٹو اسپیسیفیکیشن لینگویج اور ٹول چین ہے جو کسی ⁦EVM⁩ پروگرام کے تمام طرز عمل کو بیان کرنے کے لیے ہے تاکہ ⁦SMT⁩ سالورز، تھیورم پروورز، یا معاشی تجزیہ کے ٹولز بائٹ کوڈ کی سطح کی درستگی اور ترغیبی مطابقت کے بارے میں استدلال کر سکیں، بشمول ٹھوس نفاذ کے خلاف خودکار ریفائنمنٹ ثبوت۔