Our community of whitehats already recovered $500M+ in assets from live attacks. 💎
But imagine how much more could be saved if all protocols had clear legal protection for rescuers.
Safe Harbor makes it possible. Adoption takes <1 hour.
frameworks.securityalliance.org/safe-harbor/in…
New monthly series! A deep dive into one SEAL Framework each month.
First up: External Security Reviews 🔍
Getting rekt isn't a rite of passage – it's a choice. (1/🧵)
More @cosmos deep research for the weekend, spent the last at least 2 months reading and searching codebases, documentation. Getting to grips with Cosmos. The more I learn the more I like the concepts.
Halmos shipped invariant tests, we had to ship a way to automatically convert Halmos counterexamples to foundry repos.
This works for both stateless and stateful tests (Chimera flavoured).
If you use Create Chimera App or the Recon Extension this works out of the box!
Halmos shipped invariant tests, we had to ship a way to automatically convert Halmos counterexamples to foundry repos.
This works for both stateless and stateful tests (Chimera flavoured).
If you use Create Chimera App or the Recon Extension this works out of the box!
🛡️ Major milestone! @DefiLlama now tracks all SEAL Safe Harbor adopters!🔥
Protecting $20B+ in assets across multiple chains.
When protocols get hacked, whitehats can legally rescue funds & return them safely.
Check it out: defillama.com/safe-harbor-ag…
In Cosmos SDK a message structure is possibly registered in 2 places either in the **RegisterConcrete** for amino encodings or **RegisterImplementations** for protobuf messages.
Create Chimera App now ships with a Halmos.toml
This is designed to only run invariant tests using Chimera, but you can customize it based on your needs
Adding to this tweet below, @trailofbits has a brilliant repo of codeql queries, and also a super cool VS code extension to view SARIF format, they also deserve a big thank you from me: github.com/trailofbits/co…
Adding to this tweet below, @trailofbits has a brilliant repo of codeql queries, and also a super cool VS code extension to view SARIF format, they also deserve a big thank you from me: github.com/trailofbits/co…
One Click Mocking with the Recon Extension
Mocks can be very useful when you only want to test specific aspects of the code, as the tools will reach coverage much faster.
Just right click on any contract and click on "Generate Solidity Mock"
To take full advantage of Coverage Guided Fuzzing with Foundry
We've introduced 2 separate foundry profiles
Use the default profile for normal tests
Use FOUNDRY_PROFILE=invariants to run coverage guided fuzzing campaigns!
Big thanks to @AliX__40 for pushing solo audits to the next level 🙌
Honored to be part of the launch.
Need your infrastructure audited?
Let's connect: soloaudit.com/auditor/sorryn…
Big thanks to @AliX__40 for pushing solo audits to the next level 🙌
Honored to be part of the launch.
Need your infrastructure audited?
Let's connect: soloaudit.com/auditor/sorryn…
380 Followers 1K FollowingI tweet about web3 tech, products and security
Web3 and DeFi since 2016
Founder at FipeFinance
Top auditor at @stronghold_dao
302 Followers 8K FollowingI am social worker from India . I do work freelancing and crypto market . Today time of demand for everyone person earn money online
668 Followers 91 FollowingSolo auditors, made mainstream.
Commission-free, vetted network of top SRs.
Browse, filter, connect — or ask us to matchmake.
👇👇👇
4K Followers 20 FollowingA unique annual event for education and technical advances in securing blockchain decentralized applications.
Nov 20-21, 2025
📍La Rural, Buenos Aires
657 Followers 267 FollowingHome of the Offbeat Blog created with the goal of engaging the blocksec community, sharing ideas, and increasing collaboration.
❤️ Together we are strong 🦾