<p><strong>Certora </strong>enables smart contract developers to detect mistakes before deploying code post audits. DeFi protocols including Aave, Balancer, Compound Finance, MakerDao, Sushi and others use Certora to protect their smart contracts from bugs before launch as a final checkpoint after a code audit is complete.</p>

Certora

Euro

Russian Ruble

South Korean Won

Chinese Yuan

Indian Rupee

Indonesian Rupiah

British Pound Sterling

Japanese Yen

Vietnamese Dong

Canadian Dollar

Polish Zloty

United States Dollar

Current %name% (%code%) token data: Price %price%, Trading Volume %volume24h%, Market Cap %market_cap%, Circ. Supply %circulating%, Total Supply %total_supply%. Official links to websites, social networks and documents.

%name% (%code%) Chart

%name% Price | %code% Price Today, Live Chart, USD converter, Market Capitalization

Binance Launchpool

Early Backers

Core Contributors

Initial Community & Genesis

Protocol Development

Ecosystem & Data Providers

Community & Genesis

Bonus Airdrop

RedStone

Series A

Series B

Allocated After 2030

Community Access Program

Community Reserves 

Stake Subsidies

Mysten Labs Treasury

Early Contributors

Token Assembly

Ecosystem Initiatives

Airdrop (Users)

Airdrop (Contributors)

Investors

Team

zkSync

Future Community Initiatives

Ecosystem & R&D

Testnet Users

Request for Brobosal

Boyco

Binance HODLers Airdrop

Bong Bears & Rebases 

Social Airdrop

Ecosystem NFTs

Strategic Partners

Initial Core Contributors 

Berachain

Fair Launch

Development Fund

Warchest

Alpaca Finance

Foundation

Backers

Early Team Members

Ecosystem

TGE Airdrop

Community Rewards & Future Airdrops

Sign

Foundation Treasury

Guardian Nodes

Community & Launch

Strategic Network Participants

Ecosystem & Incubation

Wormhole

Certora

General Info

Description

What is Certora?

Trending Coins and Tokens

Certora News Today