Prover Killer
@YourBuddyConner
Followers
2K
Following
20K
Media
942
Statuses
9K
zk/acc | building @TheProofLab | My tweets represent my own opinions | Alumnus @MinaProtocol @nomadxyz_ @CeloOrg
San Francisco, CA
Joined February 2010
🧵 Just released ZKarnage: a research project exploring "prover killers" - worst-case attacks that force ZK provers to do VASTLY more work than their gas costs suggest.
8
8
68
I cant imagine advocating for a new engineer to learn how to code from first principals like I did, that is how truly cooked we are in 2025.
0
0
1
bullish for zkVM perf transparency.
New release of EEST benchmarks: . The benchmark suite is now unified for both zkEVM and PerfNet-like efforts, a nice step toward standardized benchmarking and long-term value. Shoutout to the testing team (+@0xlouistsai), and also @JochemBrouwer96!.
0
0
1
OH in slack about @commonwarexyz: . "yeah, the repo's structure and commands hint at being designed by someone who knows what they're doing.".
0
1
11
Had a great time spreading the word about ZKarnage and @TheProofLab at @frontiertower today, thanks to @HouseofZK for the invite! . I was told by multiple sources that the best part was the pink hats -- I always have a couple on me if you catch me at a SF Crypto event!
4
5
48
Finally getting around to running a @boundless_xyz prover and having tasted a lot of ZK dishes in my time, I think I can say authoritatively that this is some good food. 🍱.
17
2
31
The punchline? There is no punchline. Just you, your elliptic curves, and the creeping suspicion that bilinearity is laughing at all of us from its higher dimensional perch while we frantically wave our hands and pretend we know why it works instead of just that it works.
1
0
1
Why did the cryptographer have an existential crisis?. Because he realized that the thin, gossamer thread separating mathematical civilization from complete anarchy is bilinearity. And despite years of study, proofs, and late-night debugging sessions, he still wakes up in a cold
2
0
3
sometimes I think "zero knowledge" would be better named "zero understanding".
1
0
3
RT @TheProofLab: hey @RiscZero + @boundless_xyz, why is there no Risc0 or Boundless prover on @eth_proofs?.
0
2
0
Programming with zkVMs be like: . thread 'write' panicked at runtime/tests/elf_tests.rs:71:13: .stdout should contain:. Sup, world!. Hello, world!. but got:. Sup, world!. ����H␊┌┌⎺← ┬⎺⎼┌␍! S┤⎻← ┬⎺⎼┌␍! ���� ↑↑↑↑.
4
0
7
RT @HouseofZK: At the upcoming @HouseofZK San Francisco, @YourBuddyConner of @TheProofLab will present 'ZKarnage: Breaking ZK Provers to Bu….
0
15
0
RT @pranavguru13: Stoked to be presenting our work on open source multimodal action benchmarks at the ICML CodeML workshop this Friday! I'l….
0
2
0
RT @_patrickogrady: Introducing @commonwarexyz's new USA Cluster 🇺🇸. 50 validators (2vCPU/4GB RAM). 75ms Block Time. 120ms Finality. https….
0
9
0
me lighting the signal for all my boys
Boundless Mainnet Beta is Live. With it, we are launching The Signal: an industry-wide collaboration to ZK prove all chains. A new era of scaling and interoperability starts now.
5
0
9
Proof Without Breath, Flame without Smoke. 📜 Scroll Sealed 📜.
We started the call with the musical stylings of @YourBuddyConner and his hit new track "The Scrolls of Giga".
0
0
3
Probably nothing (unless you're a zkVM).
@TheProofLab just got a grant from the @ethereumfndn, cant wait to tell you about it next week!.
0
0
5
If you show up to a startup and the leadership and/or engineers resist prometheus metrics, that team is ngmi.
1
0
1