Formal Verification

Formal Verification

Share this post

Formal Verification
Formal Verification
In The Network - Kyber

In The Network - Kyber

Network Highlights, Value Composites, Market Neutrality

Lewis Harland
Jun 09, 2020
∙ Paid
Share

Kyber

Kyber is an on-chain liquidity protocol on Ethereum that allows dApps, wallets, and end users access to competitive exchange rates for cryptoassets through a liquidity reserve model. Any token holder can contribute liquidity as an external reserve but these reserves are required to hold KNC in order to contribute resources to the network. For most …

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