Formal Verification

Formal Verification

Share this post

Formal Verification
Formal Verification
In The Network - Opyn

In The Network - Opyn

Options, Liquidity, Niches

Lewis Harland
Jul 28, 2020
∙ Paid
Share

Opyn

With total value locked in DeFi recently surpassing $4 billion, risk management is becoming an increasingly important market to tap into. 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…

This post is for paid subscribers

Already a paid subscriber? Sign in
© 2025 Lewis Harland
Privacy ∙ Terms ∙ Collection notice
Start writingGet the app
Substack is the home for great culture

Share