Formal Verification

Formal Verification

Share this post

Formal Verification
Formal Verification
In The Week

In The Week

0x, Set, Ren, Aave, Opyn

Lewis Harland
Aug 07, 2020
∙ Paid
Share

Spotlight 🔎

0x

0x has now had $100 million in volume flown through the 0x API.

0x launched their liquidity aggregation tool at the start of 2020. The API leverages smart order routing in order to split transactions across numerous exchange venues for the lowest slippage possible. The 0x API has been implemented by numerous DeFi projects over the last few …

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