ZK Newsletter for 2025-04-23
This release details quantum engineering, ZK and AI, CoSNARKs in halo2 and interview with Jordi Baylina from Polygon.
Top picks
Zero Knowledge Podcast episode - Quantum Engineering with Jelena Vučković. (16.04.2025)
When ZK meets AI - Brandon Kase, CEO at o1 Labs. (16.04.2025)
CoSNARKs in halo2 | Ying Tong, Independent Researcher | ETHTaipei 2025. (20.04.2025)
#44: Jordi Baylina, Co-founder of Polygon. (21.04.2025)
Reading materials
Benchmarking Bionetta, the client-side zkML framework - article by Rarimo. (16.04.2025)
zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits - academic text by Hideaki Takahashi, Jihwan Kim, Suman Jana and Junfeng Yang. (16.04.2025)
zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing - academic text by Yancheng Zhang, Mengxin Zheng, Xun Chen, Jingtong Hu, Weidong Shi, Lei Ju, Yan Solihin and Qian Lou. (16.04.2025)
Zero-Knowledge Protocol for Knowledge of Known Discrete Logarithms: Applications to Ring Confidential Transactions and Anonymous Zether - academic text by Li Lin, Tian Qiu, Xin Wang, Hailong Wang, Changzheng Wei, Ying Yan, Wei Wang and Wenbiao Zhao. (16.04.2025)
Efficient Foreign-Field Arithmetic in PLONK - academic text by Miguel Ambrona, Denis Firsov and Inigo Querejeta-Azurmendi. (17.04.2025)
Long-term L1 execution layer proposal: replace the EVM with RISC-V - post by Vitalik Buterin. (20.04.2025)
Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper) - academic text by Stefanos Chaliasos, Imam Al-Fath and Alastair Donaldson. (21.04.2025)
Succinct Verification, The Key to AI - article by Wyatt Benno. (22.04.2025)
Trusted Compute Units: A Framework for Chained Verifiable Computations - academic text by Fernando Castillo, Jonathan Heiss, Sebastian Werner and Stefan Tai. (22.04.2025)
One-Step Schnorr Threshold Identification - academic text by Foteinos Mergoupis-Anagnou. (22.04.2025)
Watching materials
Brown Bag Session - Enhancing Web3 UX and Security with ZK Email. (16.04.2025)
Open, but Private: Data Legos and Blind Computation - Juan Angel, Ecosystem Growth Lead at Nillion. (16.04.2025)
Practical challenges in proof outsourcing - Norbert Vadas, Head of Product at Gevulot Labs. (16.04.2025)
Sequencer design for multi rollup ZeFi application - Barnabas Kiss, Co-founder of Malda. (16.04.2025)
Human Keys with Protected Self-Custody & ZK Identity | ETHMilan 2024. (17.04.2025)
NoirHack x Library Workshop 1-ZKPassport SDK. (19.04.2025)
MPC: The Missing Distribution Link | Raghav Sood, Vultisig | ETHTaipei 2025. (20.04.2025)
CoSNARKs in halo2 | Ying Tong, Independent Researcher | ETHTaipei 2025. (20.04.2025)
NoirHack x Library Workshop 2 - ZK Email. (21.04.2025)
Listening materials
Zero Knowledge Podcast episode - Quantum Engineering with Jelena Vučković. (16.04.2025)
Privacy By Design: ZK, MPC, TEE | Funding the Commons SF 2025. (16.04.2025)
When ZK meets AI - Brandon Kase, CEO at o1 Labs. (16.04.2025)
Epicenter Podcast episode - Tally: The Software Layer for Tokenized Organizations - Dennison Bertram. Ep. 594. (17.04.2025)
Panel 2: Applications of ZK. (18.04.2025)
#44: Jordi Baylina, Co-founder of Polygon. (21.04.2025)
Panel 3: Who Owns the ZK Narrative? (22.04.2025)
Lagrange CEO Ismael on Zero-Knowledge Applications in AI | Sergey & Logan AI x Crypto Mini-Series #3. (22.04.2025)
MPC
Faster amortized bootstrapping using the incomplete NTT for free - academic text by Thales B. Paiva, Gabrielle De Micheli, Syed Mahbub Hafiz, Marcos A. Simplicio Jr. and Bahattin Yildiz. (17.04.2025)
Threshold (Fully) Homomorphic Encryption - academic text by Carl Bootland, Kelong Cong, Daniel Demmler, Tore Kasper Frederiksen, Benoit Libert, Jean-Baptiste Orfila, Dragos Rotaru, Nigel P. Smart, Titouan Tanguy, Samuel Tap and Michael Walter. (18.04.2025)
Updates of ZK projects
ZKM Prover: Cross-Table Lookups. (17.04.2025)
EigenLayer - AVS Spotlight: Infura's DIN - Leveraging EigenLayer's Slashing for Decentralized Infrastructure. (17.04.2025)
EigenLayer - Slashing Goes Live on Mainnet: Powering a New Era of Verifiable Applications with Economic Enforcement. (17.04.2025)
Citrea - Tangerine Upgrade: BitVM Activation on Clementine & Core Protocol Upgrades. (21.04.2025)
Introducing the Aleo Roadmap. (22.04.2025)
POL Value Accrual #1: Agglayer + Polygon. (22.04.2025)
Scroll Euclid Upgrade: 90% Lower Fees, 4x Throughput, and Next-Gen Security. (22.04.2025)
Upcoming events
zkSummit 13 - summit on May 2025 in Toronto, Canada.
World Blockchain Summit 2025 - summit on May 2025 in Dubai, United Arab Emirates.
EthPrague 2025 - conference on May 2025 in Prague, Czechia.
DappCon 2025 - conference on June 2025 in Berlin, Germany.
The Ethereum Community Conference 2025 - conference in June/July 2025 in Cannes, France.
ETHGlobal Cannes - summit on July 2025 in Cannes, France.
ETHGlobal New York - summit on August 2025 in New York, United States.
Korea Blockchain Week 2025 - conference week on September 2025 in Seoul, South Korea.
ETHGlobal New Delhi - summit on September 2025 in New Delhi, India.
Our Sponsors
Odra.dev - cutting-edge smart contract development tools for professionals with deadlines.
Check out also our other Newsletter - CodeGen News.