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! 🎢
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.
Metis will implement ZK proofs and become a hybrid rollup.
Ingonyama integrated with gnark.
=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.
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.
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.
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! 🚵♀️
Explore open positions on our job board.
Get the latest from Taiko:
Community forum: https://community.taiko.xyz.
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.