Formal Verification

Formal Verification

In The Network - Aragon

DAO Trends, Aragon Court, ANJ

Lewis Harland
Jun 30, 2020
∙ Paid

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
© 2026 Lewis Harland · Privacy ∙ Terms ∙ Collection notice
Start your SubstackGet the app
Substack is the home for great culture