Formal Verification

Formal Verification

Share this post

Formal Verification
Formal Verification
In The Week

In The Week

Loopring, OMG Network, Ren, xTokens, Nexus Mutual

Lewis Harland
Aug 21, 2020
∙ Paid
Share

Spotlight 🔎

Loopring

Details of the Loopring 3.6 protocol upgrade have been released.

Loopring is an open protocol used for building scalable order book based DEXs on Ethereum using zk-Rollup constructions. Some major upgrade’s key features include allowing senders to transfer Ether/tokens to any Ethereum address without the need for the recipient to regi…

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