Nico
@nico_mnbl
'picious until proven otherwise @zksecurityXYZ. Research and cryptography. Recurring co-host on @zeroknowledgefm. Also a troubadour and chess enthusiast
723 Following 2.5K Followers
Was a very instructive conversation for me, hope it will be the same for you
🎙️This past week, @AnnaRRose & @nico_mnbl spoke w Alex Ozdemir, Assistant Professor at Georgia Tech, about the formal verification/ZK connection — covering SMT solvers, Lean, zkPi and why verifiable software matters.
Show more
Aaaand we have reached SOTA on (emulated) fixed-based scalar multiplication as well:
Thanks to and all the other golfers that made this possible.
Clean + LLMs = autoresearch for circuit optimisation! Have a look at the website or our release blog post. And have fun golfing 🏌️
Can you build the fastest circuit?
Prove it.
zkGolf is live. ⛳️
zkMesh for June landed yesterday.
zkMesh is our monthly human-curated newsletter covering the latest in advanced privacy-enhancing cryptography, distributed protocol development, and zero-knowledge systems research.
cc: @__zkhack__
Show more
🎙️ "ZK's vintage is ripe" @wyatt_benno of @icme_labs joins @AnnaRRose & @nico_mnbl to make the case. They cover ICME Preflight (ZK guardrails for agents), Jolt Atlas (verifiable ML inference), and what's next: lattices and isogenies for post-quantum succinctness.
Show more
1/ New post alert! ⏰
Is onchain ZK PQ-ready? Round two of putting WHIR on Ethereum gave us an inconvenient result: small fields shrink proofs but make them challenging to verify. We rebuilt WHIR verifier over a 31-bit KoalaBear field and measured where the gas goes.
🧵
Show more
Personal update:
We found a way for agents to deliver more accurate and reliable results - at runtime.
Here’s a 35 second sneak peek of an agent answering a user question, fetching data from backend systems, and verifying its own response at runtime.
Show more
Blog post: "The French have the Quantum Circuits"
André Schrottenloher just published a preprint showing how to construct quantum ECDLP circuits with costs similar to the ones in our zero knowledge proofs.
Show more
On May 15, THORChain was drained for ~$10.7M. Root cause: a flawed implementation of GG20, an MPC-based threshold signature scheme.
Theoretically sound MPC schemes keep failing in implementation. So we built a reference for it 👇
Show more
One of the wildest panels - The Quantum Question Panel at zk14 in Rome! Covering the urgency of the issue, & polling the ZK audience on their views
Our musical chairs panel had @nico_mnbl and I hosting @drakefjustin, @feminisItPLT, @JensGroth16 @DanBoneh (arriving mid-session)
Show more
Marco (@marcobesier) has been cooking. Eat your greens in part III of his series, this is the last serving. Payoff is coming in the next post and it will be tremendously worth it!
Sum-check as an Algebraic Tensor Reduction: Part III
Exciting update!
We’re building tools that let AI agents prove where their answers came from.
- Eliminates hallucinations & poisoning.
- Verifiable in near real time by humans or machines.
- Multi agent systems propagate only correct answers.
See demo:
Show more
