Formal Verification

Formal Verification

Share this post

Formal Verification
Formal Verification
In The Network - Nexus Mutual

In The Network - Nexus Mutual

Bonding Curves, Cover Trends, NXM Modelling

Lewis Harland
Jun 16, 2020
∙ Paid
Share

Nexus Mutual is a peer-to-peer discretionary mutual that launched on Ethereum in May 2019. At its core, mutual members are able to buy cover against certain events occurring or contribute capital to the mutual through its NXM token model. By operating as a discretionary mutual, a committee of members decide what claims are ultimately paid meaning Nexus …

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