Proof of Track 2023-11-05

Nov 05, 2023

Prover coordination is a problem that most ZK L2s will face eventually

Some of the proposed solutions and considerations behind them.

Booster rollups as ZK coprocessors

"To recap: Booster rollups are rollups that execute transactions like they are executed on L1, having access to all the L1 state, but they can also have their own storage."

🔍 Ethereum & Blockchains

A List of Open Problems in Crypto - II

eip.info

An official mirror authorized by an EIP editor. Also see EIPs Insights.

🔍 Layer2 & Modular

Written by Vitalik. Takeaway: "There are two key dimensions to "connectedness to Ethereum": - Security of withdrawing to Ethereum; - Security of reading Ethereum". See also his thread, and also why it is "much better framing than stupid semantic debates over what qualifies as an L2".

TPS is a very faulty metric to measure blockchain throughput

With AA and different designs of L2, TPS is not a good metric to measure blockchain throughput. One of the potential alternatives is to measure UOPS - User Ops per second.

the L2 design space is extremely underexplored; almost all the existing L2s are running barely-modified EVMs

We still early early.

Different types of rollups

One wacky idea: an online RaaS marketplace

The result: RICRolling (RIC = Rollup In Contracts). The workflow is: Users request a rollup by posting a transaction to our smart contract => RaaS providers can then bid to provide the rollup (rn first come first serve).

🔍 DeFi & AMM & TradeFi

Uniswap Price Execution Analysis

"Our analysis, primarily hinging on the newly-developed simulator tool, illuminates key aspects of trade routing and price execution across various DEXes, notably Uniswap V3 and UniswapX."