Alex the Entreprenerd pfp

Alex the Entreprenerd

@entreprenerd

34 Following
26 Followers
Alex the Entreprenerd pfp
Alex the Entreprenerd
@entreprenerd
Thank you!
0 reply
0 recast
1 reaction
Alex the Entreprenerd pfp
Alex the Entreprenerd
@entreprenerd
Thank you!
0 reply
0 recast
0 reaction
Alex the Entreprenerd pfp
Alex the Entreprenerd
@entreprenerd
Thank you!
0 reply
0 recast
0 reaction
Alex the Entreprenerd pfp
Alex the Entreprenerd
@entreprenerd
Trying my best, thank you!
0 reply
0 recast
0 reaction
Alex the Entreprenerd pfp
Alex the Entreprenerd
@entreprenerd
Thank you!
0 reply
0 recast
0 reaction
Alex the Entreprenerd pfp
Alex the Entreprenerd
@entreprenerd
Thank you!
0 reply
0 recast
1 reaction
Alex the Entreprenerd pfp
Alex the Entreprenerd
@entreprenerd
Thank you Ruhum!
0 reply
0 recast
1 reaction
Alex the Entreprenerd pfp
Alex the Entreprenerd
@entreprenerd
After 2 years of reviews with Spearbit, I’ve finally been promoted to the highest rank of Lead Security Researcher!
10 replies
4 recasts
85 reactions
Alex the Entreprenerd pfp
Alex the Entreprenerd
@entreprenerd
I’ve collected a few high signal videos and resources to help founders prevent exploits in: - Smart Contracts - Web2 (phishing, social media account takeover, impersonation) - Governance (private key loss) They are all here: https://book.getrecon.xyz/opsec/main.html
0 reply
0 recast
0 reaction
Alex the Entreprenerd pfp
Alex the Entreprenerd
@entreprenerd
Secureum Workshop on using Foundry and Echidna for Stateless and Stateful Fuzzing to find bugs: https://www.youtube.com/watch?v=3A7aa5B8aak
0 reply
0 recast
0 reaction
Alex the Entreprenerd pfp
Alex the Entreprenerd
@entreprenerd
I went live with Shafu to talk about the Recon Extension for invariant testing - Write foundry tests - Run powerful tools like Echidna, Medusa and Halmos - Instantly debug with Foundry repros https://youtu.be/Sl2rz-y8_xg?si=493TxC-P3IDXNEp_
0 reply
0 recast
0 reaction
Alex the Entreprenerd pfp
Alex the Entreprenerd
@entreprenerd
What would it take for you to use another tool over foundry?
0 reply
0 recast
1 reaction
Alex the Entreprenerd pfp
Alex the Entreprenerd
@entreprenerd
Solidity HTTP Make HTTP requests written in solidity in your foundry code
0 reply
0 recast
1 reaction
Alex the Entreprenerd pfp
Alex the Entreprenerd
@entreprenerd
Bugs like rounding errors are easy to detect and hard to escalate into crits Bugs like silent overflows are harder to detect but easy to escalate Every bug is easier to find with different techniques That’s why you should try all and use what works for you
0 reply
0 recast
0 reaction
Alex the Entreprenerd pfp
Alex the Entreprenerd
@entreprenerd
Bugs like rounding errors are easy to detect and hard to escalate into crits Bugs like silent overflows are harder to detect but easy to escalate Every bug is easier to find with different techniques That’s why you should try all and use what works for you
0 reply
0 recast
4 reactions
Alex the Entreprenerd pfp
Alex the Entreprenerd
@entreprenerd
One weird trick to cut your audit cost by half - Write as much of your code as Stateless functions - Run Fuzzers and Formal tools on them Auditor can quickly verify their behaviour and “take them for granted”, or quickly find mistakes in your logic State is a hidden input
0 reply
0 recast
2 reactions
Alex the Entreprenerd pfp
Alex the Entreprenerd
@entreprenerd
Recon is sponsoring this months editions of BlockThreat!
0 reply
0 recast
0 reaction
Alex the Entreprenerd pfp
Alex the Entreprenerd
@entreprenerd
Did you know you can run the same tests you wrote for foundry, with Echidna (Concrete Fuzzer) and Halmos (Formal Verification), with zero code changes? Safer code and zero extra work Here’s the demo you can try today! https://x.com/getreconxyz/status/1903129678447251714?s=46
0 reply
0 recast
0 reaction
Alex the Entreprenerd pfp
Alex the Entreprenerd
@entreprenerd
Did you know you can run the same tests you wrote for foundry, with Echidna (Concrete Fuzzer) and Halmos (Formal Verification), with zero code changes? Safer code and zero extra work Here’s the demo you can try today! https://x.com/getreconxyz/status/1903129678447251714?s=46
0 reply
0 recast
0 reaction
Alex the Entreprenerd pfp
Alex the Entreprenerd
@entreprenerd
Did you know you can run the same tests you wrote for foundry, with Echidna (Concrete Fuzzer) and Halmos (Formal Verification), with zero code changes? Safer code and zero extra work Here’s the demo you can try today! https://x.com/getreconxyz/status/1903129678447251714?s=46
0 reply
0 recast
0 reaction