Formal Verification

Formal Verification

Share this post

Formal Verification
Formal Verification
In The Week

In The Week

Kyber, CENTRE, Terra, Ampleforth, Compound

Lewis Harland
Jul 10, 2020
∙ Paid
Share

Spotlight 🔎

Kyber

KyberDAO goes live with Katalyst upgrade.

The launch of Katalyst on mainnet means that KNC holders are able to start staking to the KyberDAO in order to receive their portion of network fees allocated to rewards. The recent community poll set the initial voting rewards at 65% (with 30% of fees used for Reserve rebates and 5% to be burned…

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