0x00ffDa
@0x00ffDa
Followers
162
Following
492
Media
10
Statuses
84
Smart contract security auditor with focus on formal verification. Former old school sw dev who made the web3 leap ... uff-dah!
Joined February 2023
I don't like self-promotion, but ...😅 I'm happy with the work I did for Uniswap v4. Certora's public report highlights interesting properties proven, and 5 / 11 of them are mine.
github.com
Contribute to Certora/uniswap-v4-periphery-cantina-fv development by creating an account on GitHub.
@0x00ffDa proved a critical slippage control property which mathematically guarantees that users can never profit from position minting or exceed specified slippage bounds - key safety measures for Uniswap 🛡️
1
0
5
Using AI to help you understand Yul code? @CertoraInc has a tool with guardrails to keep AI in check: Concordance. @summit_defi Buenos Aires
0
1
3
1
3
11
"Building is harder than breaking" so respect the hard work and openness of the builders even when you break the code. Among the great advice from @GalloDaSballo @summit_defi
0
1
2
I love the concept behind @CertoraInc's Concordance, an elegant blend of AI and formal verification. Feed it a complex, assembly-optimized function: 1. It uses AI to generate a simplified, readable version. 2. It proves their equivalence. https://t.co/w4DJwyOU6i
certora.com
Concordance is an open-source tool that uses LLMs to automatically rewrite heavily optimized Solidity (including inline assembly) into clear, readable code while preserving all observable on-chain...
0
3
25
alright, after a week of work you can now fully simulate Safe transactions _locally_ before signing and verify the transaction hashes in parallel using my `safe-tx-hashes-util` with a single command (use the `--simulate flag` simply). This lets you check exactly how the
56
136
815
@CertoraInc @StellarOrg @blend_capital @AquariusDeFi @cantinaxyz @code4rena I joined this effort at @CertoraInc mid-stream and was proud to see it through to completion!
0
1
2
The results of the $20,000 Formal Verification component of the Blend V2 competitive audit are in! Big shoutout to everyone who participated, and a huge congrats to @alexzoid_eth for securing first place in the first-ever formal verification contest in the Stellar ecosystem!
8
14
72
The @Aqua_Token competition is live 🪐 Aquarius brings AMM functionality and liquidity management to @Stellarorg, powering the next wave of DeFi on the network. A dual-layer security approach: formal verification by @CertoraInc, paired with a high-signal Cantina competition.
7
18
73
Interesting news for formal verification 😮
I'm on my way to Denver, getting ready to release the Certora Prover code, the first formal verification tool for proving the high-level properties of executable code. It's a massive team effort, and it's happening tomorrow at 10 EST.
0
1
2
@0x00ffDa proved a critical slippage control property which mathematically guarantees that users can never profit from position minting or exceed specified slippage bounds - key safety measures for Uniswap 🛡️
1
1
12
100 @cantinaxyz invite codes?! 🤯 Yes, it's real. First 100 to register for the $100k formal verification part of the $1.25M @eulerfinance contest get a code. ✨ Retweet this tweet for bonus points. It's that simple. https://t.co/6BtFYqZY6m
certora.com
Test out your formal verification skills in Euler's $1.25M community audit contest. Compete for a $100k formal verification pot using Certora's free Prover tool.
3
32
43
Very cool announcement today in @Hexensio #ETHDenver presentation by @RubenMuradyan: Remedy ( https://t.co/nyN0gRXnCv) no-fee bug bounty platform, AND free access to Glider - interesting new tool to code query patterns in all deployed & verified contracts (on test net so far).
0
0
1
@ionprotocol @CertoraInc @ravikiranweb3 @rokinot @0xRizwann FV winners: 🎖️@0x00ffDa 🎖️@alexzoid_eth 🎖️@rokinot 🎖️@0xKER2 🎖️0x55…E7e5 🎖️0x2a…bADa 🎖️@dirtymic26 🎖️ghost (Hats Handle) 🎖️@albertwhite_ 7/11
1
4
11
Formal Verification winners👨🔬 ☑️ @0x00ffDa ☑️ @alexzoid_eth ☑️ @rokinot ☑️ @0xKER2 ☑️ 0x55…E7e5 ☑️ 0x2a…bADa ☑️ @dirtymic26 ☑️ ghost (Hats Handle) ☑️ @albertwhite_
1
3
7
Long wait for results of my first formal verification contest. 5th place - nice motivator to keep going! I really enjoyed the challenge and hands-on work.
3
0
8
This is a good move: "Whitehats will prioritize ... thanks to Sherlock’s fully on-chain, neutral adjudication process that whitehats can trust for a fair payout."
🤯 Big news for smart contract protocols! Sherlock is rolling out a game-changing Bug Bounty Coverage program. https://t.co/t5JpBTsqb1
0
0
3
Very nice visualizations, @jordanmmck ! 👏
New video explaining Merkle trees, BitMaps, and how these data structures can be combined to create an efficient airdrop. I also show a simple Solidity implementation of this. Diagram below 👉 https://t.co/NsbzN6HY2K
0
0
1
Wish that I could make it to TrustX in November ... but no. 😞 Next time!
0
0
2