<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

Staking Rewards

Core Team

Expansion Rewards

Foundation Treasury

Strategic Launch Provision

Hyperlane

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

Community 

Future Initiatives

Tokens Repurchased

Ecosystem & Growth

LayerZero

Protocol Sales Investors

Echo Sales Investors

Binance Marketing

Initia Contributors

Foundation

Liquidity

Airdrop

Vested Interest Program

Staking & Enshrined Liquidity

Initia

Certora

Market Data Unavailable

General Info

Description

What is Certora?

Trending Coins and Tokens

Certora News Today