This is the 5th edition of ZK-Roller-Coaster where we track and investigate the most exciting, meaningful, and crazy ZK-stuff of the prior two weeks.

Disclaimer: this is a collection of tweets, writings, videos, and other materials; these don’t express our opinion and may not necessarily be accurate. Please do (or continue) your own research.

Hold on tight! 🎢

Spice of the weeks 🌶️

• Twice in a week, Ethereum had Mainnet Finality issues. Offchain Labs presented an analysis outlining the incident. Ethereum Bug Bounty Program offers up to $250,000 and a place on the leaderboard by finding protocol, client, and Solidity bugs affecting the Ethereum network.

ZK and rollups research 🧙

• Twitter thread by bartek.eth: What is L2 transaction finality?

• ethresearch: MEV for "Based Rollup" by Lisa A. from Taiko.

• Twitter thread by Shiva: Unpacking the lifecycle of a rollup transaction.

• ethresearch: Branching Oracle-enshrined Rollup Governance by Edmund Edgar.

• Twitter thread by ****Steven Goldfeder from Offchain Labs ****on modular blockchain security.

• Twitter thread by polynya: a refresher on the efficiency of validity proofs.

• Twitter thread by Michael Connor from Aztec: speeding up their rollup circuit proving times.

• Twitter thread by Kobi from Geometry: Unearth the power of BLS multisignatures on Ethereum and other EVM chains.

• zkResearch: Running Sangria final proof in shielded mode on untrusted 3rd party prover by Igor Gulamov.

• ethresearch: L2 Economics of Daily Airdrops (Arbitrary Amounts to Growing Base of Players).

ZK and rollups updates 🎈

• Arbitrum announced it "sends all surplus revenue generated by transaction fees to their respective DAO and it is time for the DAO to collect the funds so far." polynya challenges this announcement in the twitter thread.

• Optimism announced the official date of OP Mainnet’s upgrade to Bedrock: June 6, 2023, at 16:00 UTC.

• Guide to ZKML Ecosystem Landscape by Louis from SevenX Ventures.

Non-ZK industry highlights 🎡

• Vitalik’s blog: Don't overload Ethereum's consensus.

• MEV burn ethresearch post by Justin Drake from the EF and Bankless episode where Justin and Dom explain how it works.

• Twitter thread by Max Resnick: Combinatorial OFAs return more revenue to users than traditional OFAs.

• MakerDAO announcing the Spark Protocol launch: An end-user, DAI-centered DeFi product deployed on Ethereum with supply and borrow features for ETH, stETH, DAI, and sDAI.

• Mustafa from Visa shared plans and thoughts about AA possibilities.

Opportunities and events 🏄‍♀️

• ETHPrague coming sooooooon: 9th – 11th June: Hackathon takes place, and Vitalik will be there 🌚

• Aztec is issuing an open request for proposals for their decentralized sequencer design.

Readings and watchings 🎞

General

• The zeroknowledge.fm podcast with Yi Sun from Axiom: Expanding Computation on Ethereum with Axiom.

• The article "Autonomous Worlds Aim to Free Online Games From Corporate Control" by Lattice.

Fancy mathematics and cryptography

• Edu from the PSE team gave A CODE WALK-THROUGH over the ZKEVM-Circuits repo.

• The recording of the Learn & Share session by the PSE team: Diving into Caulk and Caulk+ through Vector Commitments.

• Enrico Bottazzi from the PSE team shared that they are building Summa ∑, zk proof of solvency for CEXes and how it works.

• The paper: "Weak Fiat-Shamir Attacks on Modern Proof Systems: Q Dao, J Miller, O Wright, P Grubbs."

Puzzles for curious 🧩

• Alex Stokes is wondering: "has anyone written a EIP-4844 "blobber" service?"

• Alex Stokes is wondering: "cryptographers, how heretical is it to expose elliptic curve addition and (scalar) multiplication as subsets of an interface to multiscalar multiplication?"

Thank you for reading the 5th edition of ZK-Roller-Coaster. See you in two weeks! 🚵‍♀️

Join us 💗

Explore open positions on our job board.

Follow us 🥁

To stay updated on the latest from Taiko:

• Website: https://taiko.xyz

• Discord: https://discord.gg/taikoxyz

• GitHub: https://github.com/taikoxyz

• Twitter: https://twitter.com/taikoxyz