🎬 ZKWS S2: The Full Journey 🎬 How did the second season of ZK Whiteboard Sessions come to life – a thread. TLDR: Check out the 8-module series on YouTube (link in bio), and the "FRI edition" Study Group starting on Tuesday March 4 on ZK Hack Discord (link in bio)! 🧵👇

"The next step to improve proving systems will come from reducing the size of the circuits we are proving" - Albert Garreta | Hiring | Nethermind Cryptography Researcher @ Verifiable Computation by Nexus and Nethermind. ETHSF

Here's a zk challenge. Let F[X] be a polynomial ring over a field F. Given x \in F, let polybit(x) be the polynomial from F[X] whose coefficients are the bits of the bit representation of x. Given a public x\in F and a witness element y, how can you enforce that y=polybit(x)?

Implementing LatticeFold: advancing post-quantum folding by Albert Garreta | Hiring | Nethermind from Nethermind youtube.com/live/lmL0U1zN8…

We have a long list of follow-up problems related to Zinc. If you are interested in collaborating, please DM me!

Google introduced a way to prove your age with your google wallet using Zero-Knowledge Proofs (ZKP) (blog.google/products/googl…). This work was pioneered by Matteo Frigo and abhi shelat (eprint.iacr.org/2024/2010) and uses a clever combination of Ligero (designed by founders of

Zinc accepted at Crypto 2025! See you at the venue! Upcoming from us: implementation, detailed performance benchmarks, and concrete costs of Zinc. Sneak peak: commit + proving an evaluation of a 16 variable polynomial --> With our commitment scheme for integer/rational polys: