Formal Verification
A mathematical process for rigorously proving the correctness of smart contract code and protocol designs.
You might be interested in …
Know Your Transaction (KYT)
A compliance process that monitors cryptocurrency transactions for suspicious activity to prevent money laundering.
Lending Protocol
A DeFi platform that matches cryptocurrency lenders with borrowers and manages interest rates algorithmically.
Overcollateralization
Locking up more collateral than the value of a loan in DeFi lending protocols to protect against market volatility.
View All Market Data
Crypto Market Capitalization »
Digital Assets
Market Dashboard »
Treasury Tracker »
News Terminal
Onchain News Intelligence »
Start
Nostr Explorer »
Crypto Market Capitalization »
Digital Assets
Market Dashboard »
Treasury Tracker »
News Terminal
Onchain News Intelligence »
Start
Nostr Explorer »