# ZK-Roller-Coaster #13 By [Taiko Labs](https://paragraph.com/@taiko-labs) · 2023-09-13 --- This is the 13th edition of ZK-Roller-Coaster where we track and investigate the most exciting, meaningful, and crazy ZK-stuff of the prior two weeks. And this is the 8th edition of ZK-Roller-Coaster produced by the Taiko community! Special thanks to 13th edition contributors: [Yona](https://twitter.com/i_am_yona22), 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 🍿 --------------------- * “StarkWare [just zero'd](https://twitter.com/0xSisyphus/status/1696868511941816762) all user balances on old wallets that didn't upgrade to latest contracts…” Community wonders how much power and control the L2 projects have. And even though the upgrade [was reenabled](https://twitter.com/StarkWareLtd/status/1696933272800915647?ref_src=twsrc%5Etfw%7Ctwcamp%5Etweetembed%7Ctwterm%5E1696933272800915647%7Ctwgr%5Eb22f0ded8e6cef4aa578dec918f3586946ffc867%7Ctwcon%5Es1_&ref_url=https%3A%2F%2Fwww.coindesk.com%2Ftech%2F2023%2F08%2F30%2Fstarkware-restores-crypto-access-for-delinquent-wallet-updaters-after-complaints-on-x%2F), allowing users to immediately regain access to their accounts, the question about how decentralized the “decentralized networks” are is more relevant than ever. ZK and rollups research 🧙 -------------------------- * An [article](https://taiko.mirror.xyz/Kx1Mp4WJjd83K1KDEwp1pM7xi9QmpSahxJg3S_N7NE4): “Why multi-prover matters for rollups. SGX as a possible solution.” by [Lisa A. | bot](https://twitter.com/cryptobuilder_). * Twitter [thread](https://twitter.com/kobigurk/status/1699513929066815568?s=20): Kobi ran the RISC Zero bonsai zk-co-processor on Scroll. As a recap, the co-processor was performing many scalar multiplications on secp256r1. * A common [project](https://twitter.com/fede_intern/status/1701158478008746209?s=20) of Mina Protocol and LambdaClass. It introduces the proof generation, posting, and verification of the validity of Mina states into an EVM chain, which will serve as a foundation for token bridging. * [ethresearch](https://ethresear.ch/t/plasma-free/16570?utm_source=substack&utm_medium=email) post: Plasma free by Barry White Hat. They propose Plasma Free that supports EVM, can run any EVM contract, and has a gas fee (only prover cost ~0) that is independent of L1. The only cost is the prover cost. * As a part of the ZK-GPU Masterclass ([organized](https://x.com/Ingo_zk/status/1701529454047121493?s=20) by Ingonyama), [Kobi](https://twitter.com/kobigurk), Shani, [Tomer](https://twitter.com/TomerSolberg), [Shahar](https://twitter.com/PapiniShahar)**,** [robik](https://twitter.com/robik)**,** [Ido](https://twitter.com/Ido_Atlas)**,** and [Karthik](https://twitter.com/Karthik_Inb) [implemented](https://twitter.com/kobigurk/status/1701627608843059420?s=46&t=GU8UwA_mFTabNhZNAn0o-w) efficient add and mul operations on the M31 field (2^31 - 1) in CUDA to learn about GPU programming. * Twitter [thread](https://twitter.com/elibensasson/status/1701629621190406654?s=46&t=GU8UwA_mFTabNhZNAn0o-w) about arithmetization by Eli Ben-Sasson. * Panther Protocol announced the newest research paper about [optimizing the addition gate count in Plonkish circuits](https://twitter.com/ZKPanther/status/1699021003920200051?s=20). * Twitter [thread](https://twitter.com/zerokn0wledge_/status/1700152260213489932) on Zeth & why it matters by zerokn0wledge. ZK and rollups updates 🎈 ------------------------- * [Introducing](https://twitter.com/gevulot_network/status/1701219090491453562) GEVULOT - A permissionless & programmable L1 blockchain for deploying zk provers and verifiers as on-chain programs. * Are ZK Rollups [coming](https://twitter.com/namcios/status/1701238697423712480?s=20) to Bitcoin? * [Zellic ZK Map](https://twitter.com/zellic_io/status/1700197733683048694?s=46&t=GU8UwA_mFTabNhZNAn0o-w), an ongoing effort to track the most important advancements in all things zero-knowledge. * OP Stack developers [can start](https://twitter.com/espressosys/status/1700134273561583855?s=46&t=GU8UwA_mFTabNhZNAn0o-w) leveraging the decentralization, speed, & scale of the Espresso shared sequencer network. * [Introducing](https://twitter.com/layern_official/status/1699029718811705542?s=46&t=3v6zUqnLN0v6n80TLDxaFQ) Layer N — Ethereum's financial layer: zk-OP hybrid roll-ups with inter-rollup messaging and shared liquidity. Non-ZK industry highlights and research 🎡 ------------------------------------------ * A [paper](https://papers.ssrn.com/sol3/papers.cfm?abstract_id=4563364) “Blockchain Privacy and Regulatory Compliance: Towards a Practical Equilibrium” by [Vitalik Buterin](https://twitter.com/VitalikButerin)**,** Jacob Illum, [Matthias Nadler](https://twitter.com/mat_nadler), [Fabian Schär](https://twitter.com/fschaer), and Ameen Soleimani. * [ethresearch](https://ethresear.ch/t/fun-and-games-with-inclusion-lists/16557?u=barnabe) post: Fun and games with inclusion lists by [barnabe.eth](https://twitter.com/barnabemonnot). * [Some thoughts](https://twitter.com/mikeneuder/status/1701224774884643167?s=20) on “two-tiered” staking (a proposal from [Dankrad](https://twitter.com/dankrad) presenting a hypothetical native liquid staking token design) by mikeneuder.eth. * [ethresearch](https://ethresear.ch/t/peerdas-a-simpler-das-approach-using-battle-tested-p2p-components/16541) post: PeerDAS – a simpler DAS approach using battle-tested p2p components by [Danny Ryan](https://twitter.com/dannyryan). * [ethresearch](https://ethresear.ch/t/strong-builder-identity-for-combating-builder-imposter-attacks/16550) post: Strong Builder Identity for Combating Builder Imposter Attacks by [Max Resnick](https://twitter.com/MaxResnick1). * [ethresearch](https://ethresear.ch/t/cumulative-non-expiring-inclusion-lists/16520) post: Cumulative, Non-Expiring Inclusion Lists by [Toni Wahrstätter](https://twitter.com/nero_eth). Opportunities and events 🏄‍♀️ ------------------------------ * September 22-24, ETHGlobal [Hackathon](https://ethglobal.com/events/newyork2023) in NYC. * September 20, [zkSummit 10](https://twitter.com/zeroknowledgefm/status/1699689949749244065), the latest in zk tech, tools, products, & research. The schedule is now live. * PSE [shared](https://twitter.com/cperezz19/status/1701602224126992526?s=46&t=GU8UwA_mFTabNhZNAn0o-w) a notion page with all upcoming “Learn & Share” sessions. Readings and watchings 🎞 ------------------------- ### **General** * Web3 Builders [Episode](https://twitter.com/web3builderspod/status/1701596819623645245?s=46&t=GU8UwA_mFTabNhZNAn0o-w): Vitalik Buterin on Travel Hacks, Pandemic Prevention, Longevity and Ethereum's Roadmap. * [zeroknowledge.fm](http://zeroknowledge.fm) [episode](https://twitter.com/zeroknowledgefm/status/1699446006318825633?s=20) with [Mallesh Pai](https://twitter.com/malleshpai), Assoc. Prof of Economics at [Rice University](https://twitter.com/RiceUniversity). They explore mechanisms design in an economic context and Mallesh’s work around MEV topics - specifically on censorship in an MEV context. * An [article](https://zkvalidator.com/a-survey-of-zk-languages/): “A survey of ZK Languages” by Zero Knowledge Validator. ### **Fancy mathematics and cryptography** * A [paper](https://twitter.com/luca_zanolini/status/1701492706676019485?s=20): Improving Asynchrony Resilience in Dynamically Available Total-Order Broadcast Protocols by [Francesco D'Amato](https://twitter.com/fradamt), [Giuliano Losa](https://twitter.com/giuliano_losa), and [Luca Zanolini](https://twitter.com/luca_zanolini). * A [paper](https://eprint.iacr.org/2023/1309.pdf): A Lattice-based Publish-Subscribe Communication Protocol using Accelerated Homomorphic Encryption Primitives by Anes Abdennebi and Erkay Savaş. Puzzles for curious 🧩 ---------------------- * Georgios [wonders](https://twitter.com/gakonst/status/1697381354269503824?s=46&t=GU8UwA_mFTabNhZNAn0o-w): what non-rollup use cases will exist for eip-4844 blobs transactions? Fun of the week 🍩 ------------------ [![User Avatar](https://storage.googleapis.com/papyrus_images/e7ff21cee8de6e3bcc387f6132be97d2527c846b480288a0ec1d05f9a7215462.jpg)](https://twitter.com/josephdelong) [joseph.eth](https://twitter.com/josephdelong) [@josephdelong](https://twitter.com/josephdelong) [![Twitter Logo](https://paragraph.com/editor/twitter/logo.png)](https://twitter.com/josephdelong/status/1699268710370816221) Imagine being around math people all day and having to pretend you know how to pronounce Euler and L’Hospital [![Like Icon](https://paragraph.com/editor/twitter/heart.png) 16](https://twitter.com/josephdelong/status/1699268710370816221)[ 10:50 PM • Sep 5, 2023 ](https://twitter.com/josephdelong/status/1699268710370816221) Thank you for reading the 13th edition of ZK-Roller-Coaster. See you in two weeks! 🚵‍♀️ ### Join us 💗 Explore open positions on our [job board](https://taikoxyz.notion.site/Taiko-Jobs-828fd7232d2c4150a11e10c8baa910a2). ### **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/). * Youtube: [https://www.youtube.com/@taikoxyz](https://www.youtube.com/@taikoxyz). **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-13)*