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.