Prover Killer
@YourBuddyConner
Followers
2K
Following
20K
Media
952
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.
13
8
76
0
13
0
this giant billboard next to trader joe's aged poorly
What a plot twist for the windsurf drama 🤯. @cognition_labs laid off 30 employees from @windsurf last Friday and now offers buyouts to all 200 windsurf employees. For those who decided to stay, they are required to spend 6 days at the office and clock 80+ hour weeks.
1
0
4
I would pay money to witness this conversation live .
Judge Failla: At some point Juror 4 is going to turn into a pumpkin and we'd have to start over. So let me go in there.
0
0
1
Reminder: most important crypto trial of the decade right here.
1:27 pm.Judge Failla: We have the worst of all world. The juror's mother's birthday party is an all day affair including a pedicure. We only learned this now. If we say no, you risk the ire of the jury. My deputy believes the best way is for me to go into the room.
3
1
5
RT @HarshSikka: Frontiers talks bring experts from the frontier of fields beyond just AI to discuss key problems, challenges, and opportuni….
0
2
0
why is it that a sure-fire indicator of LLM-induced psychosis is slop-posting about recursion?.
0
0
0
RT @ManifoldRG: 📣Our next Frontiers Talk is coming August 16th at 10 AM PDT!. @YourBuddyConner, founder of @TheProofLab, will show how adve….
0
5
0
RT @HouseofZK: Tune in tomorrow for the @TheProofLab Special, featuring the prover killer himself, @YourBuddyConner 🤝. 🗓️ August 5th.🕔 5pm….
0
7
0
Reading the Hierarchical Reasoning Model paper right now and had the thought that @ylecun might actually be right about autoregressive models.
2
3
11
RT @hdevalence: @lounlee0 @FrankieIsLost all the training code, data pipelines, etc. the weights are like compiled binaries.
0
1
0
This article is (among other things) the first systematic examination of "Prover Killers" -- worst-case attacks on Zero-Knowledge EVM Provers.
0
0
2
Baby's first paper reading! Come see what we've been cooking at @TheProofLab (h/t to @schaliasosvons, @nico_mnbl, @convoluted_code, et. al.). This paper is so 🌶️ I literally cant even show you an un-redacted version of it for another couple weeks!
Join @HouseofZK and @WPReadingClub on August 6th for the much anticipated Whitepaper Reading Sessions at the Science of Blockchain Conference '25 📜. 🎟️ We’ll be fraternally reviewing detailed summaries of key research papers in an open, conversational
2
5
43
RT @Teknium1: Looks like OpenAI's been using Nous' YaRN and kaiokendev's rope scaling for context length extension all along - of course ne….
0
105
0
RT @YourBuddyConner: "Only one kidney per proof?" . *emerges from oil bath* . "How. inefficient."
0
1
0
CT personalities acting like selling to insiders and dumping on retail isnt the ethos of crypto . Not dunking on @j0hnwang, issa real problem, I just think the dissonance is funny.
Figma just left $2.3 BILLION on the table -- nearly double what they actually raised. IPO'd at $33. Target open at $95. That's not "market excitement". It's deliberate underpricing and legalized theft by investment banks who sold it cheap to their institutional buddies. Retail.
1
0
4
the entire modern privacy-preserving cryptography stack is held together by some French mathematician's 60-year-old frequency domain flex and honestly that's the most nihilistic thing about web3.
3
0
6
community members after writing gm in discord for two weeks straight and only having a week to claim the airdrop
2
0
10
RT @0xhantengri: From those who allocate 15–20% to an airdrop and keep claims open for months,.to those who give just 5% and force you to c….
0
1
0
Who is making the RISCV program execution trace chip tho.
Intel’s not doing so hot lately. Meanwhile vendors are killing it at the RISC-V Summit in China. One CPU got a specint2006/GHz rating of 10.4/GHz!. To put it in perspective, a i7-4790k (Haswell) scores 8.1/GHz. RISC-V is hitting high-end desktop territory FAST:
0
0
1
