The Rollup Coaster #30

September 2nd, 2024

The Rollup Coaster is a bi-weekly newsletter that dives into the fascinating world of Ethereum, exploring the latest in rollups, zero-knowledge proofs, based sequencing/preconfirmations, TEEs, MEV/PBS and much more.

This edition is written by Taiko’s Researcher Jünger.

Hold on tight! 🎢

Disclaimer: This newsletter is neither financial advice, nor is indicative of Taiko’s position on any of the material presented. Please do your own research.

Highlights 🎢

Yet another SGX vulnerability

Last week, a new invulnerability was discovered that allows you to extract the Intel SGX Fuse Key0 aka Root Provisioning Key. FK0 is unique to each chip but the key to encrypt FK0 is not unique to each chip. If attacker found the fuse encryption key (GWK, can decrpyt FK0), they can use it on every chip, as Sylvain said. Also Pratyush wrote an in-depth analysis of the breach.

Vitalik touched on the fact that modern computing increasingly divides tasks between flexible but less efficient ‘glue’ components and highly specialised, efficient ‘coprocessor’ components, offering advantages in terms of performance, security and accessibility.

ZK and rollup research 🧙

L2Beat shared a detailed post on fraud proofs.
Starknet Bolt update introduced parallel execution and block packing to Starknet.
Nil Foundation shared an article on sharding as parallel execution.
Ed Felten shared his views on fraud proofs.
150 days after Dencun. GalaxyHQ shared an in-depth report on blobs.
Intro to zkVMs by Pi Squared Labs.
Delphi shared an article that comparing of SVM and EVM.
Coinbase shared a post on the rise of L2s.
2077 Research shared a research paper comparing parallel execution betweeen BlockSTM vs Sealevel.
“What is Provable Apps?” by Hyle.
“STIR: Reed-Solomon Proximity Testing with Fewer Queries” by Alessandro Chiesa.
yAcademy shared a post about L2s downtimes.
Go Sequence Yourself
Sin7y Labs shared a blog post that explains Binius, towers of binary fields.
How memory-efficient zk proofs work? Wyatt explains in his new post.
“L2 sequencer proving on weak hardware; parallelization and decentralization”

ZK and rollup updates📰

Offchain Labs shared the roadmap of Arbitrum.
Risc Zero open-sourced the zkVM.
Scroll Darwin Upgrade, reduction of gas fees.

Trusted execution environments

Wenfeng from Phala, shared the first ever SGX attester based on Risc Zero’ zkVM.
Upgradable TEE
Closing the Intel TDX Page Fault Side Channel, or, The Case for TDExit-Notifty

Based sequencing and preconfirmations 😎

Bolt’s alpha release.
cyberFund shared a post explaining the reasons for investing in Bolt.
Exploring Verifiable Continuous Sequencing with Delay Functions

MEV/PBS🔍

“Mechan-stein” by Neuder.
New Protocol Symposioum episode hosted Mike Neuder from EF. Neuder gave a talk about Ethereum block-space.
New article on execution tickets by Jonah.
Does Multi-Block MEV Exist? Analysis of 2 Years of MEV Data
ePBS #8 notes.