Jonathan S. Rouach

Founder, Financial Privacy Inc. Director, QEDIT Bits of Gold

[Jonathan S. Rouach @jonrouach]

@drakefjustin @danboneh The deeper into the cryptanalysis discussion, the panel with @danboneh and @drakefjustin :

https://t.co/Rdz42djwO8

[Jonathan S. Rouach @jonrouach]

. @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

[Jonathan S. Rouach @jonrouach]

@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

[Jonathan S. Rouach @jonrouach]

@realbarnakiss Take care

[Solana Payments @solanapayments]

BREAKING: @BitsofGold_LTD announces the first digital shekel stablecoin

[Stefanos Chaliasos @schaliasosvons]

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.

[Jonathan S. Rouach @jonrouach]

@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 :)) )

[Jonathan S. Rouach @jonrouach]

@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!

[Jonathan S. Rouach @jonrouach]

@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 :) )

[Justin Thaler @SuccinctJT]

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

[Jonathan S. Rouach @jonrouach]

@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..

[ZKProof Standards @zkproof]

ok by popular demand we pushed Early-Bird to end of this week (Feb5), turns you don't like weekend deadlines.. :)

[ZKProof Standards @zkproof]

🚨 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

[Jonathan S. Rouach @jonrouach]

@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..

[Jonathan S. Rouach @jonrouach]

"but here's the kicker"
oh shush, your LLM is showing
<Robots, robots everywhere>
Humans where you at ffs

[Jonathan S. Rouach @jonrouach]

@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.

[Wes Roth @WesRoth]

holy crap...

this "mystery AI model" might crash the stock market

it took some digging, but I figured out what this model is

(it's not what you think)

[Justin Thaler @SuccinctJT]

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 🧵

[Rahul | Aerius Labs @Rahul__Ghangas]

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

[Josh Swihart 🛡 @jswihart]

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. 🙏