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 🎞

General

• 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:

• Website: https://taiko.xyz.

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

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

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

• Community forum: https://community.taiko.xyz.

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.