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…
Augur, Aave, Pods, Cardano, Ren
Opyn With total value locked in DeFi recently surpassing $4 billion, the importance of risk management is becoming an increasingly important market…
Balancer, 0x, Aragon, yEarn, dHedge
Formal Verification is excited to release its In The Network Bitcoin Q2 2020 Report in collaboration with on-chain data intelligence platform…
Kyber, Uniswap, Cosmos, MakerDAO, Zcash