Usalama na majaribio

Kontrol - formal verification tool based on Foundry and KEVM

Uthibitishaji rasmi

Tazama kwenye GitHub

Tazama inayofuata

Act

Kuhusu Kontrol - formal verification tool based on Foundry and KEVM

Kontrol inainua majaribio ya mali ya Foundry kuwa uthibitisho unaoungwa mkono na KEVM ili uweze kufuatilia dhamana rasmi kwa kazi ndogo ya vipimo vilivyoandikwa kwa mkono kuliko KEVM ghafi pekee.

Lebo

Foundry
Elimu
Utawala
Uthibitishaji rasmi
Solidity
Uthibitishaji wa wakati wa utekelezaji
Usambazaji wa mkataba
Uchanganuzi tuli

Hifadhiruntimeverification

Maelezo

Aina: Uthibitishaji rasmi
Nyota za GitHub: 128
Leseni: BSD-3-Clause
Orodha imekaguliwa: Juni 2026

Zana zinazofanana

K Semantics of the Ethereum Virtual Machine (EVM)

KEVM ni semantiki inayoweza kutekelezwa ya K-framework ya EVM: ielekeze kwenye msimbo wa baiti unapohitaji utekelezaji uliokaguliwa kwa kufuata, uchunguzi wa kiishara, hoja za gesi, au uthibitisho unaofuatilia sheria za Ethereum kwa karibu.

hax

hax ni zana ya tafsiri za uhakika wa juu za kitengo kikubwa cha Rust katika lugha rasmi kama vile F* au Rocq.

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.