ZK Dive

Dive into the cutting edge of cryptography at New York City's Zero-Knowledge Proof symposium. Join world-class cryptographers, product leaders, and engineers as they demystify state-of-the-art Zero-Knowledge technology and explore its thriving ecosystem through interactive talks and expert panels.

Whether you're a seasoned cryptographer or a curious developer, ZK Dive bridges the local Zero-Knowledge community with innovators from across the tech landscape. Connect, learn, and help shape the future of privacy-preserving computation in the heart of New York.

Organized by Kai Geffen. To get involved or if you have any questions, contact me through my website.

Check out our past meetings & recordings:

ZK Dive 3 - February 2nd 2024 - Youtube Playlist

Tracy

Tracy

Pluto

David Wong

David Wong

zkSecurity

Ismael

Ismael

Lagrange Labs

Matej Penciak

Matej Penciak

Reilabs

ZK Dive 3 Highlights - February 2nd, 2024

Our third ZK Dive brought together experts and interested developers in New York City for a day of talks, panels, and discussion on some of the most exciting topics in zero-knowledge proof cryptography today.

Hosted at Fractal Tech Hub in Williamsburg, the event featured talks from industry leaders, including Tracy Livengood from Pluto, David Wong from zkSecurity, and Ismael Hishon-Rezaizadeh from Lagrange Labs.

We were happy to partner with sponsors Reclaim Protocol and Pluto to host this event!

Engaged audience during ZK Dive 3 technical presentations

Tracy opened with an exploration of web proofs, demonstrating how they can unlock user data from today's walled-garden internet. He detailed the technical challenges of proving website interactions through TLS connections because the directionality of messages can't be established once the server and client share a session key.

He presented the solutions that Pluto have explored: proxies between client and server, and a notary splitting the key with the client to attest to its validity. He also discussed Pluto's current and future direction for the UX of the project.

Attendees networking and discussing ZK topics after the presentations

David Wong followed with his journey of using AI to enhance ZK circuit audits. Primarily using smart prompt-engineering, as well as static-analysis, fine-tuning, and RAG, David shows how he got better results in finding bugs in Circom code using LLMs.

He also spoke to the current limitations of LLMs in bug detection, the potential for autonomous agent usage for dynamic calls, as well as how to be cost-efficient in terms of model usage.

Small group discussion during the networking portion of ZK Dive

Lagrange CEO Ismael Hishon-Rezaizadeh then presented an ambitious vision for a proof-based future, describing Lagrange's Zero-Knowledge coprocessor that enables SQL-like queries in smart contracts. He explained how their decentralized proving economy uses specialized markets and auction mechanisms, while highlighting ZK applications beyond blockchain in aerospace, defense, and software supply-chain.

Panel discussion featuring Tracy, Matej, Ismael, and the moderator discussing the future of ZK technology

The event culminated in an engaging panel discussion exploring cutting-edge developments in ZK technology. The panelists dove into critical topics including security considerations in ZK systems, the usage of MPC in different parts of ZKP, and formal verification in ZKEVM projects and beyond. The discussion also covered emerging frontiers like ZKML integration and industry funding dynamics, offering valuable insights into both technical innovation and business strategy in the ZK space.

ZK Dive 2 - September 2024 - YouTube playlist

Phil Kelly

Phil Kelly

RISC Zero

David Wong

David Wong

zkSecurity

Michael Klein

Michael Klein

Aztec

Lukas Helminger

Lukas Helminger

Taceo

Eli Riggs

Eli Riggs

Polygon Zero

Jacob Everly

Jacob Everly

RISC Zero

Maddy

Maddy

Reclaim Protocol

Ventali

Ventali

Lita

ZK Dive 1 - May 2024 - YouTube playlist

Kai Geffen

Kai Geffen

Unaffiliated

Jim Posen

Jim Posen

Irreducible

Matej Penciak

Matej Penciak

Lurk Lab

Eli Riggs

Eli Riggs

Polygon Zero

Lucas Newman

Lucas Newman

Puzzle Wallet