This is the 8th 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 third edition of ZK-Roller-Coaster produced by the Taiko community!

Special thanks to 8th edition contributors: BluePillow and Alexander Belyaev!

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 🍿

• “The zero-knowledge attack of the year” or “the paper demonstrated a false computation result accompanied with a valid proof”: David Wong from zksecurity.xyz published an article about “How Nova got broken.” However, not everyone understood that the attack vector had already been mitigated, and this was a kind of educational article.
• A new ontology battle was initiated by Brendan Farmer from Polygon to clarify the difference between “unified liquidity” and “unfragmented liquidity network.” Brendan claims, “Unified liquidity means the ability to seamlessly interact with shared liquidity pools on other chains… Liquidity isn't really unified if cross-chain latency is several minutes or hours to generate a proof”. Alex from zksync argues that the cost of “unified liquidity” is weaker trust assumptions, so everything is not so obvious.

ZK and rollups research 🧙

• A paper “Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup” by M. Campanelli, N. Gailly, R. Gennaro, P. Jovanovic, M. Mihali, J. Thaler.
• A research note “Shared Validity Sequencing” by defi guy, Uma Roy, and jtguibas.
• A thread by Max Resnick: “Data Availability wars will be won by whichever team can construct the most censorship resistant bulletin board.”
• An article “Decentralized Proving, Proof Markets, and ZK Infrastructure” by Figment Capital.
• An article “EDEN – a practical SNARK-friendly combinator VM and ISA” by Zorp.
• A personal investigation by Andrew Miller about HD wallet key derivation through Identity Based Encryption (IBE).
• An article “Making AI safer with cryptography” ****by Rand Hindi about how to use ZK + FHE to make AI safe to use.
• Ingopedia V3, an open-source encyclopedia for ZK knowledge, is now live.

ZK and rollups updates 🎈

• O(1) Labs submitted a proposal to Optimism Foundation for the application of their zero knowledge proof stack to OP Stack fraud proofs.
• Noir's 2023 development roadmap is out.