Formal Verification

Formal Verification

Share this post

Formal Verification
Formal Verification
In The Week

In The Week

Kyber, Uniswap, Cosmos, MakerDAO, Zcash

Lewis Harland
Jul 17, 2020
∙ Paid
Share

Spotlight 🔎

Kyber

KyberDAO’s first governance proposal goes live as the Katalyst network moves into Epoch 1.

The first proposal on KyberDAO is live where KNC holders are voting on the allocation of network fees for the next epoch in 11 days time. Specifically, stakers will be able to alter the proportions in which network fees are divvied up between burni…

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