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

Special thanks to 10th edition contributors: Alexander B., Zen.

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 🍿

• “Smart contract security is absolutely essential for Ethereum's L2 roadmap.” Martin Köppelmann explains in a twitter thread that “the majority of bridge hacks are not “bridge operators” getting compromised but bugs in the smart contract systems.” Dankrad supports this point of view, claiming “those who say “multisigs/light client bridges are good enough” also tend to ignore the other aspects of security.”

ZK and rollups research 🧙

• An anti-deepfake microphone that can prove the audio was recorded on real mics and legitimately edited was built at the ETHParis hackathon by Manuj, Eito Miyamura, Radoslav Dimitrov, Alex Cheema, and Lucas Ege. The Ethereum community is excited by the attested mic zk application.
• An article “Semaphore: the unsung hero behind Zuzalu Pass and Worldcoin” by shumo.
• An article “AI Deep Fakes Vs. ZKP” by Ingonyama.
• A note “Taiko Proving Design overview: Grímsvötn and Eldfell cases” comparing different approaches to prover decentralisation, their pros and cons by Taiko.
• A twitter thread about creating succinct sumcheck-based SNARK proofs using the Grumpkin curve by Zac Williamson.
• A little demo proof for a ZK protocol similar to BP by ncklr.
• An ethresearch post “OPML: Optimistic Machine Learning on Blockchain” by 0x1cc ****and brief OPML vs ZKML comparison.
• A User Guide: ZK Acceleration of Gnark using ICICLE by Ingonyama.
• Experimental implementation of ProtoGalaxy using arkworks by arnaucube.
• An article “Taiko Inception Layers (L3s): customized functions, compatibility, and trust-level” by Taiko.
• Rádius (Shared Sequencer) proposed Madara (StarkNet sequencer), an implementation of an Encrypted Mempool.