Ryan Kim

Compiler Lead Father of Zorch , Father of Tachyon

[Ryan Kim @chokobole33]

Compiler will change the world!!

[fractalyze Intern @fractal_intern]

1/ ZK engineering needs another major leg-up. zkVMs are not enough.

[Ryan Kim @chokobole33]

(5/5)
We're engineering-first and want to take on ambitious crypto problems where large computation is the wall:

• proving schemes that exploit tensor cores
• multi-GPU-friendly proving schemes
• zkML, ZK-FHE

At SBC(Science of Blockchain Conference) ? Let's talk — DMs open.

[Ryan Kim @chokobole33]

(1/5)
We're building Zorch: the PyTorch for cryptography.
(https://t.co/ebBdxz3Xvl

A Python-first compiler that turns cryptographic protocols into fast GPU
code — about as fast as hand-written CUDA, but readable and verifiable.

Open source. Three worked examples below 👇

[Ryan Kim @chokobole33]

(4/5)
flock-zorch — a GPU implementation of Flock (eprint 2026/1329), 2–6× faster than the reference CPU prover across Keccak / SHA-256 / BLAKE3.

Paper → working end-to-end GPU prover in about a week.

https://t.co/h7nJiWOJi2

[Ryan Kim @chokobole33]

잘 읽었습니다 다음 내용이 궁금하네요 ㅎㅎ

[Junghyun Colin Kim | BaeRae @baerae_colin]

원화 스테이블코인을 '달러를 막는 방패'로 보는 건 틀렸습니다.

진짜 역할은 모든 국내 결제가 도착하는 '정산 레일'입니다.

왜 그런지, 세금과 통화주권 얘기까지 풀어봤습니다.

https://t.co/Wb7CBRRNoR

[Ryan Kim @chokobole33]

1 step forward!!

[fractalyze Intern @fractal_intern]

(1 / 8) LeanVM Development Progress #2 🧵

This week was all about optimizing modular operations, JAX → ZKX codegen, and expanding ZKX op coverage for WHIR-p3.

#ZK #MLIR #JAX #XLA #ZKX #ZKIR

[Ryan Kim @chokobole33]

RT @a41_allforone: Our CTO, @jumanzi_dev, represented A41 in Ethereum's 10th Anniversary Commemorative Video🎉 Happy 10ty Birthday Ethereum🎂…

[Shiv Shankar @sshankar]

Teams like @a41_allforone are prepping for the future. 💪

“zkOps” - what a neat term!!

Managing Zk infra at global scale will be the challenge of 2026.. no games, max effort!

@boundless_xyz has a challenging roadmap ahead.. glad we ain’t doing it alone.

[Eli Ben-Sasson | Starknet.io @EliBenSasson]

wow, didn't realize Sphincs is 41 KB per signature.
Ziggy (zkSTARK based sig) would be way shorter, probably under 20KB, maybe even less

[A41 @a41_allforone]

Happy Pectra!

One of the biggest and most anticipated upgrades has successfully been finalized.

Now what?

Keep track of detailed data through https://t.co/NPw8zT52WZ, powered by A41. You can also find it on https://t.co/F7l6x0qw39

[A41 @a41_allforone]

🚀 Introducing the Post-Pectra Network Dashboard — built by A41 with support from the @Ethereum Foundation.

We’re measuring the real impact of validator consolidation & blob scaling on network health, bandwidth, and decentralization.

📊 Explore here : https://t.co/8HQaScZW1h

Shoutout to @r2Jamong and team — @0xdarron, @heysoahri, @sinabro2dev — for their outstanding work on this project.

[Restaking.risk @Restaking_risk]

What is Restaking.risk?
https://t.co/cBqlxlagf2
Restaking has ushered in a new era of shared security. But with innovation comes hidden complexity and risk.

We asked ourselves a simple question:
“How secure are AVSs, really?" 👀
Here’s what we’re building to answer that 👇 1/

[Ryan Kim @chokobole33]

We are stepping forward toward a trustless world 🚀🚀🚀

[A41 @a41_allforone]

A41 is officially entering the prover market🚀

We are proud to be the first external proof provider for @aztecnetwork , the first privacy blockchain🛡️

This is just the beginning!
Many more proofs to come from @a41_allforone 🔥

[Ingonyama (Now MoonMath AI) @Ingo_zk]

Barrett-Montgomery modular reduction, reimagined.

A novel multi-precision algorithm that reduces computational complexity from n² + n to n² + 1 digit multiplications—significantly boosting performance in key primitives like NTT.

Groundbreaking work by @yuval_domb.

Read the full technical note: 🔗 https://t.co/gRTkhbCfKU

[Ethereum @ethereum]

Ethereum is for ZK.

[Albert Garreta | Nethermind @0xAlbertG]

Introducing Zinc 🪨: Succinct Arguments with Small Arithmetization Overheads from IOPs of Proximity to the Integers (https://t.co/ucd8t9Vgpg)

[Justin Drake @drakefjustin]

13th AMA from Ethereum Foundation Research

→ submit questions now, on X or Reddit
→ answers roll in tomorrow, Feb 25 at 2pm UTC

https://t.co/S0fc0jfMZG

With two AMAs per year since 2019, EF Research (EFR) is committed to transparency. The team is packed with talent. Learn more about the 40 EFR members spread across 6 sub-teams at https://t.co/eCXBfDBqr4 :)

Applied Research Group (ARG)

Han @han__0110
Jacob @jacobykaufmann
Kev @kevaundray
Mike @mikeneuder
Toni @nero_eth
Rahul @raxhvl

Consensus R&D (CR&D)

Alexander @alexanderlhicks
Ansgar @adietrichs
Carl @carlbeek
Dankrad @dankrad
Francesco @fradamt
George @asn_d6
Justin @drakefjustin
Luca @luca_zanolini
Pop
Roberto @robsaltini
Vitalik @vitalikButerin

Cryptography

Antonio @asanso
Arantxa @arantxazapico
Benedikt
Dmitry @khovr
Gottfried
Mary

Protocol Security

Andrés @nethoxa
Bhargava @ibags
David @infosecual
Fredrik @fredriksvantes
Justin @JustinTraglia
Tyler @Z3nChada

Research Ops

Alex @ralexstokes
Barnabé @barnabemonnot
Josh @rudolf6_
La Donna @ladonnarhiggins
Ladislaus @ladislaus0x
Will @corcoranwill

Robust Incentives Group (RIG)

Anders @weboftrees
Caspar @casparschwa
Davide @DavideCrapis
Julian @_julianma
Thomas @soispoke

[Srinath Setty @srinathtv]

Introducing Neo—not the One from the Matrix, but a new folding-based proof system, with:
✅ Efficient recursion (like Nova)
✅ Small fields: M61/Goldilocks (like STARKs)
✅ Pay-per-bit commitment costs (like Binius)
✅ Plausibly post-quantum secure
🔗 https://t.co/cm4hmX3Bdf 🧵