முக்கிய உள்ளடக்கத்திற்குத் தாவு
பாதுகாப்பு மற்றும் சோதனை

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 செயல்படுத்தக்கூடிய சொற்பொருளியல் (executable semantics) ஆகும்: உங்களுக்கு இணக்கத்தன்மை சரிபார்க்கப்பட்ட செயலாக்கம், குறியீட்டு ஆய்வு, எரிவாயு பகுப்பாய்வு அல்லது எத்திரியத்தின் விதிகளை நெருக்கமாகப் பின்பற்றும் சான்றுகள் தேவைப்படும்போது, பைட் குறியீட்டில் இதைப் பயன்படுத்துங்கள்.

hax

hax

hax என்பது Rust-இன் பெரிய துணைக்குழுவை F* அல்லது Rocq போன்ற முறையான மொழிகளில் (formal languages) உயர்-உத்தரவாத மொழிபெயர்ப்புகளுக்கான கருவியாகும்.

Act

Act

Act என்பது எத்திரியத்தின் அறிவிப்பு விவரக்குறிப்பு மொழி மற்றும் கருவித்தொகுப்பாகும். இது ஒரு EVM நிரலின் அனைத்து நடத்தைகளையும் விவரிக்கப் பயன்படுகிறது, இதன் மூலம் SMT தீர்ப்பிகள், தேற்ற நிரூபிகள் அல்லது பொருளாதாரப் பகுப்பாய்வுக் கருவிகள், நடைமுறைச் செயலாக்கங்களுக்கு எதிரான தானியங்கி சுத்திகரிப்பு சான்றுகள் உட்பட, பைட் குறியீடு-நிலை சரியான தன்மை மற்றும் ஊக்கத்தொகை இணக்கத்தன்மை குறித்து பகுப்பாய்வு செய்ய முடியும்.