Formal Verification

Formal Verification

Share this post

Formal Verification
Formal Verification
In The Network - Aragon

In The Network - Aragon

DAO Trends, Aragon Court, ANJ

Lewis Harland
Jun 30, 2020
∙ Paid
Share

Aragon

Decentralised autonomous organisations (DAOs) come in many different forms. While most of the energy surrounding DAOs recently has been protocol-specific (e.g. Compound and KyberDAO), Aragon is one of the prominent projects at the DAO infrastructure layer. Aragon received wide attention earlier this year with increased interest from notable ventur…

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