ZK-Roller-Coaster #16

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

Special thanks to 16th edition contributors: Adul and Hlpr.

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 🍿

  • Rollups are guilty again: “L2s don’t actually scale Ethereum, they just fragment it into a bunch of unrelated chains” claimed joseph.eth.
  • Fede’s Intern Milady suggested rollups are still not out of the game: “..liquidity becomes a problem… The solution is to do bridging/pooling using storage proofs.”

ZK and rollups research 🧙

  • A paper “BaseFold: Efficient Field-Agnostic Polynomial Commitment Schemes from Foldable Codes” by Hadas Zeilberger, Binyi Chen, and Ben Fisch.

  • A Twitter thread about blockspace futures by barnabe.eth.

  • An article “How does one combine Lagrange’s Recproofs and ZKMapReduce (ZMKR) stack with folding schemes?” by LAGRANGE.

  • An article “Benchmarking multilinear Polynomial Commitment Schemes” by Hungry Cats Studio.

  • A soundness bug (producing a false "proof) on zkSync Era reported by ChainLight.

  • An ethresearch post “Booster rollups as ZK coprocessors” by Brecht Devos.

  • A Twitter thread about ZK-EVM going beyond L2 by Kakarot zkEVM.

ZK and rollups updates 🎈

  • Metis will implement ZK proofs and become a hybrid rollup.

  • Ingonyama integrated with gnark.

  • Aztec released a Javascript package for ZK applications in the browser.

  • Axiom announced a browser-based REPL that allows developers to write ZK circuits in Javascript.

  • =nil; Foundation announced zkSharding that combines zkRollup with sharding to enable parallel transaction processing while maintaining a shared state.

  • Brevis announced ZK Coprocessors that can compute tens of thousands of historical on-chain data points with low latency and low cost using multi-fold approach.

  • RISC Zero shared open-source plans: High-Speed Recursion, Proof Composition and a STARK-to-SNARK Wrapper, all under the Apache2 licensing structure.

Non-ZK industry highlights and research 🎡

  • An ethresearch post on formally verifying consensus optimisations by Michael Sproul and Callum.

  • An article “Building private verifiable auctions with FHE” by Ravital Solomon from Sunscreen.

Opportunities and events 🏄‍♀️

  • The Zero Knowledge Proofs Writing Contest by HackerNoon and RareSkills.

  • Polygon Village: a grant program of more than 110 million in MATIC, deep mentoring, and ecosystem support.

  • For ICICLE developers: leverage the power of ICICLE on Google Colab's free GPU instances.

Readings and watchings 🎞


  • greenpill podcast episode: Vitalik joins the podcast to talk about Ethereum x public goods.

  • A research seminar recording “Consensus in blockchains: Overview and recent results.”

  • A report: “The Future of ZK Proofs” by Protocol Labs.

Fancy mathematics and cryptography

  • Learn & Share session on “Reed Solomon codes over the circle group“ by ulrich.haboeck.

  • Learn & Share session on "The amazing Sum Check protocol" by Jonathan Bootle.

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

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.

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.