Formal Verification

Formal Verification

Share this post

Formal Verification
Formal Verification
In The Week

In The Week

DEXs, 0x, Nexus Mutual, Augur, Compound

Lewis Harland
Jul 03, 2020
∙ Paid
Share

Spotlight 🔎

Aggregated DEX volumes reached a monthly ATH in June.

Aggregated monthly DEX volumes across all types of DEXs (i.e. exchanges and AMMs) surpassed $1.5 billion marking a 70% increase from the previous month of May. Overall, DEX volume for 2020 has so far amounted to more than $5.1 billion, more than double of that seen throughout 2019.

The Form…

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