Who verifies the (zk) verifier? Nethermind! The Formal Verification team at Nethermind Security, led by Julian Sutherland, just made history by formally verifying the honesty of @ZKSync’s on‑chain zk verifier using EasyCrypt. This is the first time formal verification has been applied to a

Holesky and other testnets exist to find issues. Excited that Reth & Erigon worked well, and IMO NBD for other teams. Shit happens. We fix and keep shipping as one team. Highly recommend Reth in prod. Would it have been better had no client had a bug? Sure. Was the bug easy

Private ML Model Training with coSNARKs For the first time ever, a team has successfully trained an ML model privately using coSNARKs. * 3-party MPC setup, with an honest-majority assumption (i.e., at most one corrupt party). * Verifiable: A zk-SNARK attests to the correctness

Wait weren’t we getting better at proving keccak using smaller binary fields? In binius or hashcaster etc curious what’s your opinion on this 🏴 LevS (of ether) 🏴 💙💛🇮🇱☀️🦁🗡️

I think Wei Dai once mentioned a concept of kappa, which I found interesting and useful.

Wait how are bank loans/deposits under collateralized? Fractional reserve banking doesn't mean under collateralized loans. Let's hope we don't get under-collateralized stables again.

In 2 years, most validators will not execute blocks. They will verify proofs instead.

Google announced they will support privacy preserving age verification via zero-knowledge proofs. You prove you have a signed digital copy of a drivers license and it says you are over 18 without revealing anything about you (name, birthdate, etc) blog.google/products/googl…

Cool, are we using some sort of zkml that the AI judged fairly?

gotta love this one. hilarious

CUDA in python….rust could be cool too

More ZK from google….hmmm

Wyatt Benno Recently did this optimization for GPU sumcheck implementation. May be this gives inspiration for some of your implementation. Justin Thaler moodle zoup github.com/IrreducibleOSS…

Today we're announcing Gauss, our first autoformalization agent that just completed Terry Tao & Alex Kontorovich's Strong Prime Number Theorem project in 3 weeks—an effort that took human experts 18+ months of partial progress.

Yep sumchecks all the way down. Didn't quite realize GKR and neural networks comparison until now.

Look ma, Vitalik answered my question

Well done Mamdani. This is fantastic.

Bold yo! for me the fun part is that there is no cryptography in sumcheck which makes it a lot more accessible(well except for the fiat shamir part)

1/ 🌱 The zkID team published OpenAC: Open Design for Transparent and Lightweight Anonymous Credentials earlier this week with a show proof time of 0.129 seconds. It describes a zero-knowledge identity construction designed to work with existing identity stacks and was purposely

Can we make ZK simpler as well, please? kthxbye