ZK-Roller-Coaster #6

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

And this is the first edition of ZK-Roller-Coaster produced by the Taiko community!

Special thanks to 6th edition contributors: umede, ex_scxr, msfew, anon212, yona.

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 week 🌶️

  • Jon Charbonneau did some research and ended up with the idea that “rollups are L1s.” Bruno from Matter Labs continued Jon’s thinking, backed his opinion on “what is a rollup and what isn’t” and shared an open letter to Jon. The community picked the idea further and suddenly realized that everything is social consensus. ERC20 is “just social consensus, any ERC20 community can just fork away” (acc. to Dankrad). He disagreed that “a rollup is defined by its nodes,” highlighting that “a smart contract rollup is defined by its bridge.” James Prestwich disagreed with Dankrad, claiming that “You, in fact, cannot build a SCRU without nodes. Users must run specialized software that evaluates the history and executes a state-transition function.”

ZK and rollup research 🧙

  • ethresearch: stateless rollup (by OneTrueKirk).

  • Dougie DeLuca discussed how distributed sequencer technology (DST) could help decentralize rollup sequencers.

  • zeroknowledge.fm podcast: The State of ZK with Anna and Kobi (by Anna Rose and Kobi Gurkan).

  • Daniel Kang described how ZKPs could help verify that AI systems are operating without revealing sensitive information.

  • A short explainer of why we use Fast Fourier Transform (FFT) and Inverse Fast Fourier Transform (IFFT) in ZK-PLONK by Rishabh Gupta.

  • How do we make sure that the data supplied to the circuit is correct? (a fun little zk explainer ft. cake).

ZK and rollup updates 🎈

  • RISC Zero announced Continuations, its newest feature that unlocks the ability to run an EVM or WASM interpreter inside its zkVM.

  • RISC Zero and Layer N partnered to develop the first multi-proof system combining ZKPs and fraud proofs.

  • Optimism published its learnings and reflections on RetroPGF Round 2.

  • Giza introduced Orion, a new Machine Learning ONNX Runtime built in Cairo.

  • A blog post: How Polygon Miden Solves State Bloat by Polygon.

Non-ZK industry highlights and research 🎡

Opportunities and events 🏄‍♀️

  • Applications for the 4th cohort of the Ethereum Protocol Fellowship (EPF) are now OPEN. The EPF is a unique initiative designed to foster the next generation of Ethereum core contributors

  • ZK Summer Contribution Program by PSE for students in Japan, South Korea, and Taiwan!

Readings and watchings 🎞


Fancy mathematics and cryptography

Puzzles for the curious 🧩

  • Dan Robinson offers two puzzles about AMM pricing.

  • Surya Bakshi is wondering if one has any news about Verkle Trees since Vitalik’s article in 2021?

Thank you for reading the 6th 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:

Subscribe to Taiko Labs
Receive the latest updates directly to your inbox.
Mint this entry as an NFT to add it to your collection.
This entry has been permanently stored onchain and signed by its creator.
More from Taiko Labs