0x00ffDa

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/Certora/uniswa…

Your AI agent now has access to 20k+ smart contract audit findings. claudit - one-line install, works with Claude Code & Codex CLI, searches across all @SoloditOfficial findings, open source. Huge shoutout to @Cyfrin for opening the Solodit API 🫡 Link below 🔗👇

@DoD4uFN @Certora Congratulations! That will be amazing if using the Prover helps you raise your score.

@Certora Thanks for the shotout ! I'm currently deploying Certora's prover to uncover even more edge cases 👀

Announcing the first winner of Capture the Funds - Endless CTF! To win, someone needed to beat our target score by at least 25 points. @DoD4uFN beat it by 45 and set the new target score for everyone else 👀 Can you beat it and win the next $1,000 prize? 👇

"The best models can find 40-45% of High-severity vulnerabilities in audit contests. It may not sound impressive, but it's insane 🤯" Indeed!

If you missed it the first time around, take a look because its back! 👀🚀♾ The blog post details the vulnerabilities found so far (spoiler alert) - skip straight to the website to find them for yourself. 👇

Q) How can I learn to use @Certora Formal Verification? 1⃣ @CyfrinUpdraft Assembly & Formal Verification course (updraft.cyfrin.io/courses/formal…) 2⃣ Find Highs Using Certora Formal Verification (dacian.me/find-highs-bef…) together with my repo (github.com/devdacian/soli…) which has simplified examples based on real code & bugs from our private audits 3⃣ @RareSkills_io Certora Book (rareskills.io/tutorials/cert…) 4⃣ @alexzoid FV Resources (github.com/alexzoid-eth/f…) All are 100% free so if you want it, go get it!

One more year at @EthereumDenver. Can't wait to show our new AI solution to all the devs to prevent all the bugs.

@USGOfficials wasn't the only fun new game launched in Buenos Aires @summit_defi. Game on, @johnadtoman

Using AI to help you understand Yul code? @certora has a tool with guardrails to keep AI in check: Concordance. @summit_defi Buenos Aires

Sage advice from @GalloDaSballo and @Montyly at @summit_defi Buenos Aires

"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

I love the concept behind @certora'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. certora.com/blog/concordan…

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 transaction will execute before you sign. Everything is local. Everything what is executed is printed in the terminal. Transparency at all cost. You trust your RPC provider here so use a trusted endpoint or the preferred solution of running your own node. I know many still do not believe me but local-first, cli-based verification is the way to go. Not hosted UIs. My verification script is _one_ fucking Bash file. Everyone can audit it by looking at exactly one file. No dependency bloat.

@certora @StellarOrg @blend_capital @AquariusDeFi @cantinaxyz @code4rena I joined this effort at @certora mid-stream and was proud to see it through to completion!

@MudaMuda03 @immunefi @certora Well done! 🙌🍻 I hope we will get to see the details🤞

I just found a bug and got paid on @immunefi #immunefitribe Thanks to the @certora Candy from a baby immunefi.com/s/ss/?severity…

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 for securing first place in the first-ever formal verification contest in the Stellar ecosystem! Much respect to @blend_capital and @StellarOrg for partnering with C4 to secure Blend V2 and the Stellar ecosystem — and to @certora for overseeing and judging the formal verification segment of this collaborative competition. Full list of winners👇

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 @certora, paired with a high-signal Cantina competition. 💰 $110,000 USDC + $10,000 private pot 📅 Live now – June 18 🔗 Below

@PallerJohn @EthereumDenver Pick me (randomly 😉) !

#BUIDLWeek is officially ON! @ethereumdenver is where ideas become reality, and to celebrate, I’m randomly upgrading some of you to SporkWhale status today. RT or engage, and you might find yourself with early access perks, VIP treatment, and more. Let’s BUIDL! #ETHDenver2025

@kermankohli @lovable just stumbled across your site for ETHDenver - better search than Luma, nicely done 👏

kerman.events is live! the best way to navigate events for ethdenver is here. 100 new events have been added in the past 24h alone (checkout this cool cigar event)! built with @lovable!

@EthereumDenver @PallerJohn Pick me (randomly 😉)

Like, Follow John Paller & ETH Denver and comment for a chance to get upgraded to SporkWhale status by @PallerJohn founder of @EthereumDenver! Full video below 👇🧵