Formal Verification

Formal Verification

Share this post

Formal Verification
Formal Verification
In The Week

In The Week

Balancer, 0x, Aragon, yEarn, dHedge

Lewis Harland
Jul 24, 2020
∙ Paid
Share

Spotlight 🔎

Balancer

Balancer implements three new proposals that aim to optimise incentive mechanisms for its protocol.

The first proposal incentivises BAL liquidity on Balancer itself by allowing holders to contribute BAL to pools through the implementation of a new balFactor (set at 1.5). The second reduces the BAL reward penalty (feeFactor) for higher…

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