ByteFable's profile picture. Embedded Software Engineer | Smart Contract Auditor

ByteFable

@ByteFable

Embedded Software Engineer | Smart Contract Auditor

ByteFable รีโพสต์แล้ว

It was only a matter of time before the two education goats would clash about this. The fundamental question is “how much math should you need to know before you jump into a field that relies on math pretty heavily?” Justin would take the approach that “you need to have math…

Jeyffre's tweet image. It was only a matter of time before the two education goats would clash about this.

The fundamental question is “how much math should you need to know before you jump into a field that relies on math pretty heavily?”

Justin would take the approach that “you need to have math…

ByteFable รีโพสต์แล้ว

Hi @asymmetric_re @claudijd I really admire the elite research work coming from Asymmetric. Been following since last year, learning a ton from every blog post on blog.asymmetric.re. It’s been a long-time goal of mine to work with your team. My journey so far: Helped…


ByteFable รีโพสต์แล้ว

- 0x0bserver - $599 - @ByteFable - $599 - @josh_my_man - $599 - @Ghostcybersec1 - $599


ByteFable รีโพสต์แล้ว

Everyone knows that the easiest way to become insanely skilled is to skill-stack. You know what skills pair really well with each other and basically everything else? Math and coding. If you’ve got serious math chops, coding chops, and deep domain expertise in another…

Maxxing out your math skills in your early 20’s will compound in ways you wouldn’t believe. Do yourself the favor.



ByteFable รีโพสต์แล้ว

1/6 🧵 Just secured a $25,000 bounty for finding a critical bug using formal verification! on a newly deployed contract Thanks to @gegul_'s BugChain.xyz The bug was so subtle that traditional testing has missed it completely. This is why @CertoraInc method is changer


ByteFable รีโพสต์แล้ว

It’s well known that most people who try to learn how to code fail, but what are the reasons for this beyond giving up too soon? Having sat down with people new to coding and trying to teach them, here’s my analysis: Programming is hard to learn because traditional education…


Great catch and writeup by @giovannidisiena 👏The overflow behaves unexpectedly with uint8. While the byte itself wraps around, the upper byte(s) on the stack aren't zeroed out as you'd expect. This leads to subtle inconsistencies, which become apparent upon inspecting the stack.

ByteFable's tweet image. Great catch and writeup by @giovannidisiena 👏The overflow behaves unexpectedly with uint8. While the byte itself wraps around, the upper byte(s) on the stack aren't zeroed out as you'd expect. This leads to subtle inconsistencies, which become apparent upon inspecting the stack.

As a security-minded Solidity developer, this is your sign to be very careful when using unchecked blocks and inline assembly. As of 0.8.0 and later the compiler will automatically handle under/overflows. But what happens if a variable allowed to overflow is then used in yul?…

giovannidisiena's tweet image. As a security-minded Solidity developer, this is your sign to be very careful when using unchecked blocks and inline assembly.

As of 0.8.0 and later the compiler will automatically handle under/overflows. But what happens if a variable allowed to overflow is then used in yul?…
giovannidisiena's tweet image. As a security-minded Solidity developer, this is your sign to be very careful when using unchecked blocks and inline assembly.

As of 0.8.0 and later the compiler will automatically handle under/overflows. But what happens if a variable allowed to overflow is then used in yul?…
giovannidisiena's tweet image. As a security-minded Solidity developer, this is your sign to be very careful when using unchecked blocks and inline assembly.

As of 0.8.0 and later the compiler will automatically handle under/overflows. But what happens if a variable allowed to overflow is then used in yul?…
giovannidisiena's tweet image. As a security-minded Solidity developer, this is your sign to be very careful when using unchecked blocks and inline assembly.

As of 0.8.0 and later the compiler will automatically handle under/overflows. But what happens if a variable allowed to overflow is then used in yul?…


Great to see @HackenProof restructuring their reward system to mitigate Sybil attacks 👏 docs.hackenproof.com/crowdsourced-a… They’ve also got the most active contests running right now! dailywarden.com


ByteFable รีโพสต์แล้ว

How to drain an entire lending protocol when a new asset is accepted as collateral 🧵 And no, it’s not just another Compound fork.

kankodu's tweet image. How to drain an entire lending protocol when a new asset is accepted as collateral 🧵

And no, it’s not just another Compound fork.

ByteFable รีโพสต์แล้ว

How do you read code? I don't read it line by line, by flow by flow. Especially facing a complex codebase, I follow a certain flow, and ignore any other noise until I get that flow right, then I move to the parallel scenario and read the sections I skipped.


ByteFable รีโพสต์แล้ว

Shoutout to @DevDacian for 1 hour of PURE AUDITING ALPHA: - crystal clear vulnerability explanations - real world examples - personal auditing setup - auditing tips, how to correctly tag your code to make even the complex bugs more noticeable Lock in🫡 youtube.com/watch?v=AiNneU…

p_tsanev's tweet card. Block 7 Guest speaker: DevDacian - Smart Contract Heuristics &...

youtube.com

YouTube

Block 7 Guest speaker: DevDacian - Smart Contract Heuristics &...


ByteFable รีโพสต์แล้ว

Just stumbled across this, decided to spread it around. INSANE collection of ~180 Math resources: - Probability & Stats - Linear Algebra - Real Analysis - Calculus & Differential Equations and many more. github.com/valeman/Awesom…

chrisdior777's tweet image. Just stumbled across this, decided to spread it around.

INSANE collection of ~180 Math resources:

- Probability & Stats
- Linear Algebra
- Real Analysis
- Calculus & Differential Equations and many more.

github.com/valeman/Awesom…

ByteFable รีโพสต์แล้ว

This is the biggest ERC4626 checklist that I've ever seen. More than 350 direct vulnerabilities, many pitfalls, integration errors and more. Every security researcher should know these and it can easily be fed into AI. Great work @DevDacian 🫡 github.com/devdacian/ai-a…


ByteFable รีโพสต์แล้ว

7 cheat codes to break codebase 230% faster


ByteFable รีโพสต์แล้ว

Tests are nice, but what if you could prove your contract won’t break? We’re firing up Halmos wtih @zokyo_io and @shanzson and going all in writing specs, catching real bugs, and tearing through a vault backdoor. Just raw code, broken invariants, and receipts.…

opensensepw's tweet image. Tests are nice, but what if you could prove your contract won’t break?

We’re firing up Halmos wtih @zokyo_io and @shanzson and going all in writing specs, catching real bugs, and tearing through a vault backdoor. Just raw code, broken invariants, and receipts.…

ByteFable รีโพสต์แล้ว

You can measure how vulnerable the code is after a contest. This can help: - Projects and users to estimate hack risk - Bug hunters to scope targets - Ecosystem to track what works best - Platforms to manage reputation risk TL;DR: More solo findings -> more hidden bugs. This…

Guhu95's tweet image. You can measure how vulnerable the code is after a contest. This can help:
- Projects and users to estimate hack risk
- Bug hunters to scope targets
- Ecosystem to track what works best
- Platforms to manage reputation risk

TL;DR: More solo findings -> more hidden bugs.

This…

ByteFable รีโพสต์แล้ว

I’m doing philosophy again, but I’m 1000% sure this 1-2 min read will help you. This is something that works everywhere, in web3 security, in development, in sports, in life. Yesterday during the morning BJJ session, a white belt guy showed up. i remembered him from about 2…


ByteFable รีโพสต์แล้ว

This shouldn’t be a hot take, but I’ll say it anyway — the worse audit contests get, the more hacks we’ll see. 1. Fewer eyes are reviewing codes before they go live. 2. We’ve trained so many skilled hackers and failed to create enough legitimate opportunities for them. Guess…

What is going on these days? Almost every day a new exploit?



ByteFable รีโพสต์แล้ว

If you want to understand how Uniswap V4 works open this:


ByteFable รีโพสต์แล้ว

I'm convinced this is an emerging industry with a massive TAM - we're talking tens of billions here. I've been thinking about this a lot lately because the amount of personal and work stuff I've automated over the past 6 months with Claude Code one-shotting stuff is…

We are opening up a new role at Quora: a single engineer who will use AI to automate manual work across the company and increase employee productivity. I will work closely with this person.

adamdangelo's tweet image. We are opening up a new role at Quora: a single engineer who will use AI to automate manual work across the company and increase employee productivity. I will work closely with this person.


Loading...

Something went wrong.


Something went wrong.