Usalama na majaribio

Certora AutoProver

Uthibitishaji rasmi

Tazama kwenye GitHub

Tazama inayofuata

K Semantics of the Ethereum Virtual Machine (EVM)

Kuhusu Certora AutoProver

Certora AutoProver is an AI bot that automates parts of formal verification for smart contracts. Verification engineers use it to generate and run checks with less manual specification work.

Lebo

Uthibitishaji rasmi
Uthibitishaji

HifadhiCertora

AutoProver17 (inafunguka katika kichupo kipya)

Maelezo

Aina: Uthibitishaji rasmi
Nyota za GitHub: 17
Leseni: GPL-3.0
Orodha imekaguliwa: Septemba 2026

Zana zinazofanana

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.

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.