Formal Verification

Formal Verification

Share this post

Formal Verification
Formal Verification
In The Week

In The Week

Nexus Mutual, Balancer, Compound, Zcash, MakerDAO

Lewis Harland
Jun 12, 2020
∙ Paid
Share

Spotlight 🔎

Nexus Mutual

Nexus Mutual sees a large increase in covers purchased in the last week pushing total USD active cover amount to new ATHs in USD.

Nexus Mutual is a digital cooperative (i.e. DAO with legal wrapper) that offers an alternative to insurance for Ethereum users. The mutual launched in May 2019 and currently offers smart contract cover …

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