Hunting Bugs Everywhere | https://xitter.cf/t.co/5Sj1CzQ4zn for private audits

Web3
Joined June 2020
Hunter retweeted
Back when I was actively hunting I got 3 five-figure bug bounties from move codebases across Aptos and Sui. If you are building with move and need a security researcher to review your code, reach out: t.me/schnilch
The last months I realized that income from bug hunting is to unregular for me. Because of this I have decided to move more into private audits and do bug hunt only when I have some free time. If you are looking for a security researcher feel free to reach out to me here -> t.me/schnilch
2
26
1,412
Hunter retweeted
The last months I realized that income from bug hunting is to unregular for me. Because of this I have decided to move more into private audits and do bug hunt only when I have some free time. If you are looking for a security researcher feel free to reach out to me here -> t.me/schnilch
1
2
1
30
3,427
Hunter retweeted
Employee: 3k, 3k, 3k, 3k, 3k Freelancer: 900, 5k, 0, 9k, 1k, 4k Founder: 0, 0, 0, 0, 0, 0, 600k Open Source Maintainer: 0, 0, 0, 0, 0 "thanks bro" Vibe coder: -$20, -$100, -$200, -$200
294
1,441
184
28,188
1,166,936
Hunter retweeted
Grey hat hackers may return 100% funds and still go away with 10-50% profit. hack a protocol. immediately short it hard. return funds, immediately close the short position.
6
4
1
46
3,182
Replying to @tonyioi
honestly this type of thinking is what ruined security research i havent disclosed a bounty in 10 years because the complete lack of compensation they should be extremely grateful he sent back anything
2
1
51
1,568
*Opens X* Immunify: "Look at this 1 year old AI junior security research that just bagged $1M bounty with only 2 hour of solidity knowledge" *Closes X*
6
10
2
111
4,659
Does any of the "autonomous agentic AI bug hunters" have positive ROI? Does anyone want to fully disclose human hours spent developing the thing, triaging their findings? (to say nothing of the triaging costs externalized to others) All money spent in API tokens? Both in trial runs, development runs, in runs that didn't produce any valid bugs, and in the ones that actually found bugs? All the violations of terms of use by owning multiple subscriptions? Everything AI is a massive negative ROI. Remove the silly projections of finding all bugs, of curing all diseases, of speeding up everything a gazillion times. It's just sinking hundreds of billions of dollars on things nobody can confidently say adds any value. BuT tHe MoDeLs wIlL gEt BeTter Yet everyone rushes to adopt due perverse incentives and FOMO. Does anyone actually have a plan for what to do when you run out of VC money? Are you all just waiting for the "singularity" (a silly sci-fi idea with no basis on reality, that can't survive two seconds of serious thought)? Or are you all just hoping to sell your bags before people realize?
8
2
60
3,161
Hunter retweeted
1/4 The new SpecSiege website is live. Our audit contest platform is built to connect security researchers with real-world Web3 protocols. Every finding strengthens production systems before attackers get the chance. First contest: ✅ Completed ⏬⏬
3
3
3
20
1,279
Hunter retweeted
Replying to @omw_to_the_moon
what if we formally verify our formal verification? and then if there are any issues with that we can formally verify our formal verification of formal verification. and then if there are any issues with that we can formally verify our formal verification of formal verification o
1
1
9
529
Replying to @zerocipher002
Not even a “thanks”
7
1
2
19
3,407
Hunter retweeted
No right direction with the current model. Bb platforms should have power to make the final word and/or reward amount with the proper information. For example, bb platforms should have access to all off-chain safe guards that acts as a joker to scamming
1
2
9
746
"The future is AI writing its own tests, code, reviewing and fixing its own bugs. Humans won't even need to look at the code." Reality: The universal failure mode for LLMs is confidently giving you the wrong answer for a % of the queries -- not random, recoverable failures, but being **completely incapable of producing the right answer**. There's a persistent subset it wont' get right by retrying -- that's true for every task, even the things you think it can do basically perfectly, for every model. There is no way to predict when it will happen for the things it "does well". It's not even consistently randomly distributed. The "jagged capability" isn't just in task categories -- it's like a fractal that carves out parts of every task's domains in unpredictable ways. The more complex the task the more the issues compound -- but it happens even in trivial tasks. Suppose it hallucinates just at 1/1,000,000 of LoC when looking at code. That's extremely optimistic BTW, existing models are much worse than that. Now let it grow a code base and maintain it in a "agentic loop". It eventually reaches the point where it can't make any significant change without introducing more, compounding problems. Self-correction doesn't help all that much -- the self-correction is jagged too. Letting it ground itself by calling tools also isn't a complete solution bc tool use is also jagged. It will hallucinate when calling tools or interpreting results at some point (to say nothing about "deliberate cheating" i.e. misalignment -- alignment is also a jagged capability). Formal verification? Who will write the formalizations? The LLM? It will also be jagged at doing that. And unless you check all the wiring of the proof generation (and the prover was also checked) and all the formalizations, you'll just be trusting yet another jagged capability. Whatever you do to extend its capability will just push the jaggedness further away -- and you will consequently push it even further to do even more. You are trading short term success for long-term catastrophe. Let it run things by itself and it will reach the point of collapse and you won't even know it happened until it's too late, much less be able to fix the issues. The only solution is having something external supervising it, with the ability to intervene and override, **detecting issues and fixing them independently of the model**, and it can't be yet another LLM. You'll need someone who can actually *manually fix issues*, not just prompting more. Replace "code" with "math", "scientific research" or anything. It's all the same. If we really create LLMs that produce results beyond human comprehension, and trust these results -- the only certainty we can have is **they will also produce catastrophic failures beyond human capacity to deal with.** This isn't a limitation of the particular architecture, it isn't fixable with more scale or better pre-training, RL etc. It's the nature of "Machine Learning" (which isn't about learning at all). There's a way out of this of course: "Never trust a robot to do a human's job". You can use the LLM to do part of the job. But putting it in charge is lunacy based on superstition.
9
7
1
66
3,378
Hunter retweeted
🛡️ SpecSiege (audit contest) is a wrap. A web3 security community cohort of 50 researchers put @ChainLabCTU`s ERC-6909 bond platform through the wringer, and the results are in. 📊 30 unique valid findings • 6 Mediums • 24 Lows 💰 €15,000 in total rewards: • €13,000 medium pot, fully distributed • €2,000 lead auditor reward Congrats to our top 3 👇 🥇 @heavyw8t_ → €3,901.76 🥈 @Huntoor → €1,939.94 🥉 @brandon_shi → €1,821.80 🧵
5
7
6
51
8,046
I am so sick of people with zero cybersecurity skills lecturing people who work in cybersecurity about how scary these models are for _cybersecurity_. Fuck off.
105
93
17
1,290
71,769
Bug bounty reputation is broken. ProofOfRep tracks duplicate abuse, severity downgrades & unpaid valid reports - crowdsourced, on-chain accountability for protocols and platforms proofofrep.xyz/projects
3
1
32
2,284
The true frontier for LLM isn’t doing more impressive feats. It’s doing simple things reliably and cost-effectively. What things can you *reliably* outsource to an LLM that will cost less than doing it yourself, and you can’t just write a script to do it? That’s the true transformative frontier. Not “sexy” like “Mythos will hack the world” or “replace all human mathematicians”. But it’s the actual thing you need in order to use LLMs to automate real world work. I think the “frontier labs” are badly positioned to capture that value. They depend on exponential growth and can’t afford to have people carefully thinking through how to use LLMs in a way that has positive ROI, doing limited experiments and gradual adoption. They need hype and fomo at 1000 mph. They are betting all the available capital in the world on winning a sprint. Technology adoption is a marathon on a very bumpy road.
5
3
48
2,382
Replying to @Huntoor
I think AI scans will eventually be open sourced and sold at margin to the API cost. It’s hard to have an incredible edge when we’re all using the same frontier models under the hood
4
2
2
16
3,213
Hunter retweeted
As promised. Today, we have a big announcement We're launching registration for SpecSiege. It's our double-check format for audits. First, an internal private audit went through the code with a full manual review. Then the community review follows. 10 days of open review on a fairly large codebase, we know, but the chance to work on an ERC-6909 European bond platform, an institutional project, doesn't come around every day. - €15K total pot (€13K community pool, €2K fixed for the lead researcher). - If only Lows are discovered, €5K is distributed instead. Simply find bugs after us and get rewarded. We value your participation. We're not here just to squeeze you. Link below ⬇️
10
14
6
76
6,594
If LLMs finding bugs missed by multiple human auditors makes it super-human. When I find bugs missed by multiple humans and AI does it make me super-super-human? When then people catch bugs I missed do they become super-super-super-human? Congrats to teams finding bugs with whatever tools they use. But for the people making a living off bounties, finding stuff missed by dozens of the best auditors is just a Tuesday. Nothing super human about it.
12
10
108
4,684