# ZK-Roller-Coaster #16 By [Taiko Labs](https://paragraph.com/@taiko-labs) · 2023-11-10 --- 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](https://twitter.com/Adul_fool) 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](https://twitter.com/josephdelong/status/1722108562820698491) joseph.eth. ![](https://storage.googleapis.com/papyrus_images/a6c673b9adf0ee9bb53f1213c7c3a720207333a9ad1fbcc2d5c3645d51b89842.png) * Fede’s Intern Milady [suggested](https://twitter.com/fede_intern/status/1722235404202725529?s=46&t=GU8UwA_mFTabNhZNAn0o-w) 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](https://twitter.com/charles_chen533/status/1721359542599180406?s=46&t=GU8UwA_mFTabNhZNAn0o-w) “BaseFold: Efficient Field-Agnostic Polynomial Commitment Schemes from Foldable Codes” by [Hadas Zeilberger](https://twitter.com/idocryptography), [Binyi Chen](https://twitter.com/Charles_Chen533), and [Ben Fisch](https://twitter.com/benafisch). * A Twitter [thread](https://twitter.com/barnabemonnot/status/1720788295695609906?s=20) about blockspace futures by barnabe.eth. * An [article](https://twitter.com/lagrangedev/status/1721942690038767927?s=46&t=GU8UwA_mFTabNhZNAn0o-w) “How does one combine Lagrange’s Recproofs and ZKMapReduce (ZMKR) stack with folding schemes?” by LAGRANGE. * An [article](https://hungrycatsstudio.github.io/posts/benching-pcs/) “Benchmarking multilinear Polynomial Commitment Schemes” by Hungry Cats Studio. * A soundness bug (producing a false "proof) on zkSync Era [reported](https://twitter.com/ChainLight_io/status/1720471129272533382) by ChainLight. * An ethresearch [post](https://x.com/Brechtpd/status/1720410561811193952?s=20) “Booster rollups as ZK coprocessors” by Brecht Devos. * A Twitter [thread](https://x.com/KakarotZkEvm/status/1722279072318079092?s=20) about ZK-EVM going beyond L2 by Kakarot zkEVM. ZK and rollups updates 🎈 ------------------------- * Metis [will implement](https://twitter.com/MetisDAO/status/1718575906518614108?s=20) ZK proofs and become a hybrid rollup. * Ingonyama [integrated](https://twitter.com/Ingo_zk/status/1721995634650271956) with gnark. * Aztec [released](https://twitter.com/aztecnetwork/status/1717189113823236530) a Javascript package for ZK applications in the browser. * Axiom [announced](https://twitter.com/axiom_xyz/status/1717210722269016509) a browser-based REPL that allows developers to write ZK circuits in Javascript. * \=nil; Foundation [announced](https://twitter.com/nil_foundation/status/1721918422198386966) zkSharding that combines zkRollup with sharding to enable parallel transaction processing while maintaining a shared state. * Brevis [announced](https://twitter.com/brevis_zk/status/1722466960263532930) 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](https://twitter.com/risczero/status/1722689198178926655?s=46&t=GU8UwA_mFTabNhZNAn0o-w) 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](https://twitter.com/sproulM_/status/1722441011899867422?s=20) on formally verifying consensus optimisations by Michael Sproul and Callum. * An [article](https://blog.sunscreen.tech/building-private-verifiable-auctions/) “Building private verifiable auctions with FHE” by Ravital Solomon from Sunscreen. Opportunities and events 🏄‍♀️ ------------------------------ * The Zero Knowledge Proofs Writing [Contest](https://twitter.com/hackernoon/status/1720121844282409345) by HackerNoon and RareSkills. * Polygon [Village](https://twitter.com/0xPolygonLabs/status/1722617088043520404): a grant program of more than 110 million in MATIC, deep mentoring, and ecosystem support. * For ICICLE developers: [leverage](https://twitter.com/Ingo_zk/status/1722810951806951458?s=20) the power of ICICLE on Google Colab's free GPU instances. Readings and watchings 🎞 ------------------------- **General** * greenpill podcast [episode](https://twitter.com/owocki/status/1709169418750906673): Vitalik joins the podcast to talk about Ethereum x public goods. * A research seminar [recording](https://twitter.com/jneu_net/status/1722044385091547354?s=20) “Consensus in blockchains: Overview and recent results.” * A [report](https://twitter.com/protocollabs/status/1721908731535827189): “The Future of ZK Proofs” by Protocol Labs. **Fancy mathematics and cryptography** * Learn & Share [session](https://twitter.com/CPerezz19/status/1722923664444625131?s=20) on “Reed Solomon codes over the circle group“ by ulrich.haboeck. * Learn & Share [session](https://twitter.com/CPerezz19/status/1722921614977765407?s=20) 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](https://www.notion.so/828fd7232d2c4150a11e10c8baa910a2?pvs=21). **Follow us 🥁** ---------------- Get the latest from Taiko: * Website: [https://taiko.xyz](https://taiko.xyz/). * Discord: [https://discord.gg/taikoxyz](https://discord.gg/taikoxyz). * GitHub: [https://github.com/taikoxyz](https://github.com/taikoxyz). * Twitter: [https://twitter.com/taikoxyz](https://twitter.com/taikoxyz). * Community forum: [https://community.taiko.xyz](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](https://taiko.xyz/docs/manuals/contributing-manual). --- *Originally published on [Taiko Labs](https://paragraph.com/@taiko-labs/zk-roller-coaster-16)*