A new kind of crypto research.
Dormant Last read · last published · next check
Read 1 day ago and current, but nothing has been published for 6 years.
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 April this year, I set out to accomplish one mission: provide useful, meaningful, and concise insights into the fast moving world of digital assets and decentralised networks.
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 need for market participants to manage risk exposures through various instruments, particularly through the use of options.
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. Opyn is a permissionless protocol, built on the Convexity Protocol, that allows users to take out insurance through a variety of insurance products like hedging, financial insurance, and leverage. An alpha version of Opyn was launched in June 2019 and
Balancer, 0x, Aragon, yEarn, dHedge
