Featured on Jan 31st, 2021

Certora

Smart Contract Accuracy & Security Verification

CHECK IT OUT

Through it's own Automatic Exact Verification (AEV) technology, complementing existing smart-contract compilers & debuggers, Certora smart contract accuracy & security verification checks that all executions of a smart contract fulfill predetermined requirements.

Hunted by @nigelmarkdias

$0.38·5 votes· comments

Most Recent

1
cryptain
Purchase $CRY tokens to participate in voting
$0.00· 0· 0
0.00
2
Pitchwise
Share, track and improve your fundraising
$0.00· 0· 0
0.00
3
Vortn
Think Bigger with Your AI Second Brain
$0.00· 0· 0
0.00