. @drakefjustin in front of 200+ ZKP cryptographers: how neutral atoms work in quantum computers, why Google picked 2029, and a detailed Q&A (with even more in a panel right after, joined by Dan Boneh
@danboneh)
really fun session, full video here:
https://t.co/hAiK94fOxg
@robin_linus@liameagen xpress
Because: 1. Gives you more expressivity than BTC 2. You go from the slow lane to the express way 3. It's available as dot com
We recently added more Circom bugs to zkbugs, bringing the total to 70 Circom and 139 ZK bugs. We aim to reach 300 bugs, focusing more on zkVMs. We also began evaluating security tools and are currently building open-source AI tools that the community can use while developing ZK code and before audits. Any contribution to the QF round will help us focus more on it and give opportunities to junior researchers through internships.
@OmerShlomovits i didnt know this project was your initiative - this is very cool. gives hope that progress on these models can happen uncoupled to single hardware (unless NVIDIA buys you guys off first :)) )
@CraigGidney We're so close to
"my previous statement is a lie. This one is true!"
territory.. :)
Btw claude / codex will provide the @zkproof report for verifying these results. As long as pairing didn't fall, that counts!
@realbarnakiss very cool, @qeditzkp and @zkproof happy to contribute to a run with Opus / gpt-5.4 to see if there's any boost, this is lit! (this comment validity is pending soudness check by human engineer - jk :) )
1/ Jolt now supports zero-knowledge 🧵
This makes Jolt suitable for privacy applications — no SNARK recursion, no "wrapping", no sacrifice of transparency. Marginal increase in proof size (~3 KB). Prover time is essentially unchanged.
https://t.co/zZew9iMu7I
@zooko I've started worrying about breakthroughs not against cryptography, but on the contrary "them" finding new schemes and not letting us humans in on the finds..
🚨 Early-Bird to ZKProof 8 in Rome ends on January 31st !
If you plan to join, May 9-10 (before Eurocrypt), now is the time :)
Registration is here: https://t.co/PRu8IFofks
@VitalikButerin@lex_node I love what https://t.co/8LKbPWLpB1 did in Bitcoin :)
Probably gamable by dedicated parties, not real time, but fully self contained..
@genesobolev@simonw@charliermarsh but you need scientific discipline to resist throwing all your tests into the agentic loop.. by now we're so conditioned to "give the llm all the context you can", it's really hard to hold out the extra tests for CI validation.
1/ New post: Jolt now proves RISC-V programs with 64-bit registers (RV64IMAC), at speeds exceeding those we previously reported for 32-bit.
1.5M cycles/sec on a 32-core CPU, 500k cycles/sec on a MacBook.
Here’s why this matters 🧵
Aaaaaaaaah @Zac_Aztec it works as a solana program! Generator is generic now and works for arbitrary circuits.
Now we will land some Noir-Lang proofs on mainnet
Mark my words, I will become the unofficial Chief ZK tooling Officer on solana
I shared a quick 5 min on what’s at the heart of Zcash starting at about 7hrs 2min in. @zooko immediately follows with some Zcash and @halfin lore.
Grateful to @balajis for the opportunity. 🙏