A new kind of crypto research.
Dear Formal Verification members, Apologies for the radio silence in the last few days! When I came up with the idea of Formal Verification back in…
Loopring, OMG Network, Ren, xTokens, Nexus Mutual
Volume, BRRs, Fees
Ethereum, Chi, Curve, Aragon, Tezos
Adoption, Evolution, Efficiencies
0x, Set, Ren, Aave, Opyn
One of the largest opportunities for DeFi protocols to tap into is the derivative market. With over $4 billion now locked in DeFi, there is a growing…
See all

Formal Verification