BoyD (rtrd/acc)

7K posts

BoyD (rtrd/acc) banner
BoyD (rtrd/acc)

BoyD (rtrd/acc)

@0xDestinyae

i find bugs, i trade occasionally | alt : @boydestinyae

Singapore 参加日 Nisan 2022
418 フォロー中560 フォロワー
固定されたツイート
BoyD (rtrd/acc)
BoyD (rtrd/acc)@0xDestinyae·
Probably last time I'll personally disclose an issue to a protocol, of bounty platforms. Tomorrow you come online to claim you care about security. Bro did not even care to read the issue because it's not @_SEAL_Org. So impatient and uninterested. @aandooor @zygbaeth
BoyD (rtrd/acc) tweet mediaBoyD (rtrd/acc) tweet media
English
15
3
30
4.5K
tintinweb
tintinweb@nicht_tintin·
"This is fine" ☕🙂🔥
English
2
0
18
2.4K
Gabson
Gabson@gabson0x·
"the code is bulletproof" 'it was audited by blackthorn' 'ai slop" so the 156 valid high reports on morpho midnight is what? yall in this space are funny
Gabson tweet media
English
11
1
37
4.2K
Immunefi
Immunefi@immunefi·
This Immunefi All-Star just made a Google Staff Software Engineer’s salary from one report. Congrats @riproprip.
Immunefi tweet media
English
38
23
446
44.4K
0xflorent.eth
0xflorent.eth@0xFlorent_·
I found a contract deployed on Ethereum in 2017 with 0.235 Ξ locked inside it. To release the funds you have to solve 11 puzzles encoded in the contract. Reach 20 points and it pays out. But the recipient is hardcoded to the creator's address, not to the solver : 0x50f7da5ecd7838b1f5a4813cdfb59d7d502dce44 I solved 10 of the 11 out of pure curiosity, enough to free the funds. I didn't release them as the recipient is 10 years old...
0xflorent.eth tweet media
English
49
43
606
185.9K
SuperBeetleGamer
SuperBeetleGamer@Cayden_Liao·
🧵Veria AI autonomously found and demonstrated a critical vulnerability in Aleo, finding a proof forgery in Aleo's snarkVM. The project awarded us the maximum bounty of $65,000 for the find.
English
5
5
47
2.3K
Arthur Gervais
Arthur Gervais@HatforceSec·
AI for Security has never been more exciting. Let me present MAPTA, our multi-agent framework that found multiple (now confirmed!) Remote Code Executions (RCE's) in flagship web products of Tier-1 companies. Why the secrecy? We're good boys, letting them cook patched through responsible disclosure. What's our secret sauce? 1/n
Arthur Gervais tweet media
English
17
109
631
135.1K
BoyD (rtrd/acc)
BoyD (rtrd/acc)@0xDestinyae·
@riseurp you guys should stop posting issues publicly till the contest is over.
English
2
0
2
341
Neighborhood Hero
Neighborhood Hero@riseurp·
Damn, just duplicate of a single report in almost 4000 submissions
Neighborhood Hero tweet media
English
9
0
37
3K
misbahu
misbahu@bichistriver·
She said yes! 💕 I have been off here for so long, preparing for my wedding. It was done 4 days ago. I found myself mid-celebration discussing bugs with a web3 sec guy that attended. haha 😆😆
English
19
0
66
2.8K
BoyD (rtrd/acc) がリツイート
AlexSR
AlexSR@0xAlexSR·
Been wanting this to exist for a while, so I built it. ProofOfRep, a reputation board for bug bounty programs and contests. Report your unfair or dishonest experiences, with proof, and I'll manually review everything. Hope it helps SRs focus on projects that actually take security seriously. Still early. Let me know if this sucks or if it's useful. All feedback welcome. proofofrep.xyz
English
14
33
168
12.4K
Olimpiu Di Luppi
Olimpiu Di Luppi@olimpiuurcan·
A recent paper on Artificial Intelligence contains this: "Magnus Carlsen is widely regarded as the greatest chess player of all time, and as such represents the pinnacle of human adaptation when it comes to playing chess. But this begs the question: Is Magnus actually any good at chess? When compared with the best computers, the answer is clearly no." arxiv.org/pdf/2602.23643…
English
13
6
85
19.6K
nnez
nnez@__nnez·
Fable or Fumble?
English
2
0
7
385
BoyD (rtrd/acc)
BoyD (rtrd/acc)@0xDestinyae·
@ua1552 Been testing it and it's generating fp idk if it's the model
English
1
0
1
60
Aamir | NoemaLabs
Aamir | NoemaLabs@ua1552·
This was a fun one but also a little pain in the a** tbh. Every slop generated needed to be fixed again and again through the prompts itself. Then some compiler specific issues etc etc. But at the end we made it work and giving it to the community for more testing 🙂
NoemaLabs | Smart Contract Security@NoemaLabs

Today we're finally dropping v1.0 of AutoCertora! 🚀 It's our open-source CLI tool that uses AI to autonomously draft @Certora formal verification suites for your Solidity projects. Just point it at your repo and it outputs the CVL specs and configs. What it does out of the box: • Built-in extensive CVL knowledge & best practices • Built-in protocol-specific invariant knowledge • AI code-analysis to discover codebase-specific custom invariants • Automatic AI-driven compile repair • Local certora validation before cloud submission ✅ It’s very much an early version, so expect a few bugs! We're putting it out there to get community feedback. Take it for a spin and drop an issue if something breaks! Try it out: pipx install autocertora Repo: github.com/NoemaXLabs/Aut…

English
3
3
7
465

ディスカバー

@nicht_tintin @Destinyxeiiios1 @sherlockdefi @gabson0x @infsec_io @immunefi @riproprip @0xFlorent_