मुख्य सामग्री पर जाएं
सुरक्षा और परीक्षण

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 स्टार्स
339
लाइसेंस
GPL-3.0
लिस्टिंग की समीक्षा की गई
सितंबर 2026

समान टूल

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 सॉल्वर, थ्योरम प्रूवर, या आर्थिक विश्लेषण उपकरण बाइटकोड-स्तर की शुद्धता और प्रोत्साहन संगतता के बारे में तर्क कर सकें, जिसमें ठोस कार्यान्वयन के विरुद्ध स्वचालित शोधन प्रमाण शामिल हैं।