Formal Verification

Formal Verification

Share this post

Formal Verification
Formal Verification
In The Week

In The Week

Curve, 1inch, Ren, SKALE, Polkadot

Lewis Harland
Jun 19, 2020
∙ Paid
Share

Spotlight 🔎

Curve

The effects of the COMP token distribution has rippled to stablecoin automated market maker, Curve.

Daily trading volume for USD pegged coins on Curve has surged from <$10m to more than $36m. The largest jump has been seen for USDC and USDT with Curve reporting a trading volume jump of 280% and 1000% respectively as the COMP distribution…

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