Prover Killer
@YourBuddyConner
zk/acc | building @TheProofLab | My tweets represent my own opinions | Alumnus @MinaProtocol @nomadxyz_ @CeloOrg
🧵 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.
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!
This is an opening for ZK acceleration with MLX if you ask me
The latest MLX has a CUDA back-end! To get started: pip install "mlx[cuda]" With the same codebase you can develop locally, run your model on Apple silicon, or in the cloud on Nvidia GPUs. MLX is designed around Apple silicon - which has a unified memory architecture. It uses…
> two years late to the conversation The Conversation:
you guys are two years late to this conversation and it's making you look like a boomer, sorry
If the Tea developers had used MPC, the data leaked would have been meaningless to an outside observer. Here's how 🧵1/
I made this a while back when @jessepollak was max shitposting and forgot to post it
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
bullish for zkVM perf transparency
New release of EEST benchmarks: github.com/ethereum/execu… 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!
OH in slack about @commonwarexyz: "yeah, the repo's structure and commands hint at being designed by someone who knows what they're doing."
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. 🍱
sometimes I think "zero knowledge" would be better named "zero understanding"
hey @RiscZero + @boundless_xyz, why is there no Risc0 or Boundless prover on @eth_proofs?
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┤⎻← ┬⎺⎼┌␍! ���� ↑↑↑↑…
@YourBuddyConner is cooking
1/ 🧵 (re-)Announcing ZKarnage! 💥 With support from an @ethereumfndn grant and in collaboration with @eth_proofs, we're launching a live stress-test of ZK provers on mainnet. We're about to find out how resilient these critical systems really are.
At the upcoming @HouseofZK San Francisco, @YourBuddyConner of @TheProofLab will present 'ZKarnage: Breaking ZK Provers to Build a Stronger Ethereum' 🌉 🗓 July 23rd, 2pm-5pm 📍 @frontiertower, SF 🎟️ lu.ma/hozksanfrancis… Zero-knowledge provers are the backbone of…
Stoked to be presenting our work on open source multimodal action benchmarks at the ICML CodeML workshop this Friday! I'll be around Friday and Saturday and would love to chat and grab coffee with anyone building or evaluating computer use agents and action models. Hit me up!
Introducing @commonwarexyz's new USA Cluster 🇺🇸. 50 validators (2vCPU/4GB RAM). 75ms Block Time. 120ms Finality.
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.
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" soundcloud.com/conner-swann-2…