umede

Posted on May 01, 2024Read on Mirror.xyz

The Rollup Coaster #25

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, MEV/PBS/SUAVE, and much more.

This edition is written by Taiko’s Community Advocate 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 🎢

  • Vitalik shared a blog post about Binius, a highly efficient proofs over binary fields. Thanks to binary fields, hardware-friendly proofs are now a reality!

  • Offchain Labs disclosed some vulnerabilities in the OP Stack fault proofs. These vulnerabilities allowed attackers to claim dishonest rewards.

ZK and rollup research 🧙

  • Irreducible (Ulvetanna rebranded to Irreducible) shared a blog post introducing the FPGA-accelerated Polygon zkEVM prover. 40% faster than previously reported by Polygon’s zkProver.

  • Andrija Novakovic (Geometry Research) and Liam Eagen (Zeta) shared a paper on how to optimize pairings in snarks and on-chain verifiers, by removing final exponentiation: On Proving Pairs.

  • Paradigm published an article explaining the roadmap of Reth to scale Ethereum. The article also suggested the term "gas per second" instead of "transaction per second" for performance metrics.

  • Cysic organized a panel discussion on ZK-ASIC with Justin Drake, Ye Zhang, and more. The recording is available here.

  • Verifying Nova proofs onchain in Ethereum is now a reality! Sonobe aims to provide a modular library that implements different folding schemes.

  • Notes on ZK-friendliness of Verkle Trees by Lubarov from Polygon.

  • New research paper by PSE: “Greco: Fast Zero-Knowledge Proofs for Valid FHE RLWE Ciphertexts Formation”.

  • Bonsol: Verifiable Compute for Solana. Bonsol allows to create a verifiable executable over private and public data and integrate the results into Solana smart contracts.

  • Sin7y (the team behind Ola zkVMshared a detailed study and comparison of the two generations of Poseidon hash functions used in Plonky2 and Plonky3.

  • Tamatran opened a discussion on the financial market of blobspace. Thanks to this design, rollups can hedge their costs when they are posting blobs.

ZK and rollup updates 🗞️

  • RiscZero introduced Steel: View call proof library.

  • Worldcoin announced its own rollup with OP Stack infrastructure.

  • ICICLE v2 update by Ingonyama.

  • Matter Labs open-sourced the LLVM Compiler.

  • Delphinius open-sourced the ZKWASM prover.

  • Scroll has announced Bernoulli upgrade that pushed blobs on Scroll.

  • Zama announced the latest updates about its products(tFHE, fhEVM).

Based sequencing and preconfirmations 😎

  • Primev shared two blog posts in the previous two weeks: The first post examines current models for an Ethereum preconfirmation auction.

  • The second post focuses on blob posting strategies used by blob producers and provides quantitative analysis for strategy efficiency metrics such as how fast a blob is included in a slot and the priority fee premium paid for that slot inclusion rate.

  • The LimeChain team shared a new design of based sequencing. This design retains the basic structure of native-based sequencing, but has more detailed explanations of the cold-start problem by providing higher incentives for early participants.

Restaking/proof-prover-verifier markets🗿

MEV/PBS/SUAVE🔍

Additional resources 📚

Meme of the week 😆

https://twitter.com/badcryptobitch/status/1783353517702344888/photo/1

Join us 💗

Explore open positions on our job board.

Follow us 🥁

Get the latest from Taiko:

Contribute 🤓

Contribute to Taiko on GitHub and earn a GitPOAP! You will also be featured as a contributor on our README. Get started with the contributing manual.