Formal Verification

Share this post

In The Week

formalverification.substack.com

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
© 2023 Lewis Harland
Privacy ∙ Terms ∙ Collection notice
Start WritingGet the app
Substack is the home for great writing