Formal Verification

Formal Verification

Share this post

Formal Verification
Formal Verification
In The Week

In The Week

Balancer, Kyber, Curve, Ampleforth, Nexus Mutual

Lewis Harland
Jun 26, 2020
∙ Paid
Share

Spotlight 🔎

Balancer

Liquidity mining continues to encourage LP contribution to the network as its BAL governance token goes live on mainnet.

After 3 weeks of BAL token distribution, LPs have received a total of 435k BAL (with 145k BAL distributed each week) so far with the BAL price climbing above $22 on the 24th June. As a refresher, pools are weighed a…

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