Ana içeriğe atla
Güvenlik ve test

Kontrol - formal verification tool based on Foundry and KEVM

Biçimsel doğrulama

View on GitHub (yeni sekmede açılır)Kontrol - formal verification tool based on Foundry and KEVM on X (yeni sekmede açılır)

See next

Act

About Kontrol - formal verification tool based on Foundry and KEVM

Kontrol, Foundry özellik testlerini KEVM destekli kanıtlara yükseltir, böylece yalnızca ham KEVM'den daha az elle yazılmış spesifikasyon çalışmasıyla biçimsel garantilerin peşine düşebilirsiniz.

Etiketler

  • Foundry
  • Eğitim
  • Yönetişim
  • Biçimsel doğrulama
  • Solidity
  • Çalışma zamanı doğrulaması
  • Sözleşme dağıtımı
  • Statik analiz

Depolarruntimeverification

Info

Tür
Biçimsel doğrulama
GitHub stars
126
License
BSD-3-Clause
Listing reviewed
Haziran 2026

İlgili kaynaklar

K Semantics of the Ethereum Virtual Machine (EVM)

K Semantics of the Ethereum Virtual Machine (EVM)

KEVM, EVM'nin K-framework yürütülebilir semantiğidir: uygunluk kontrollü yürütme, sembolik keşif, gaz muhakemesi veya Ethereum'un kurallarını yakından izleyen kanıtlara ihtiyacınız olduğunda onu baytkoda yönlendirin.

hax

hax

hax, Rust'ın büyük bir alt kümesinin F* veya Rocq gibi biçimsel dillere yüksek güvenceli çevirileri için bir araçtır.

Certora Prover

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.