Zellic / MasamuneView external linksLinks
A smart contract security search utility
☆76Dec 26, 2024Updated last year
Alternatives and similar repositories for Masamune
Users that are interested in Masamune are comparing it to the libraries listed below
Sorting:
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆117Aug 25, 2025Updated 5 months ago
- Experimental tool to ease the review of smart contracts upgrades☆79Mar 25, 2024Updated last year
- Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…☆11Oct 10, 2023Updated 2 years ago
- Semgrep rules for smart contracts based on DeFi exploits☆705Jun 2, 2025Updated 8 months ago
- A BugBounty companion that checks out high-reward yielding bug bounty code-bases from Immunefi/code4rena 🙌 (use at own risk)☆72Apr 15, 2024Updated last year
- ☆88Sep 3, 2025Updated 5 months ago
- A list of public fuzzing campaigns☆129Jan 24, 2026Updated 2 weeks ago
- Protect your smart contracts with global reentrancy locks☆17Jun 26, 2023Updated 2 years ago
- ☆103Nov 25, 2025Updated 2 months ago
- ☆40May 23, 2024Updated last year
- An NFT with Huff, using polynomials over a finite field with order largest prime address, instead of mappings.☆16Sep 19, 2024Updated last year
- ☆15Jun 24, 2023Updated 2 years ago
- Scrapper for Immunefi☆47May 28, 2024Updated last year
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆75Dec 11, 2025Updated 2 months ago
- curation of all(most) immunefi bug bounty writeups I could find(till now)☆1,096Jan 21, 2026Updated 3 weeks ago
- DeFiVulnLabsCosmWasm☆51Aug 22, 2023Updated 2 years ago
- Damn Vulnerable DeFi v4 Solutions☆51Sep 19, 2024Updated last year
- Pre-built security properties for commonly forked DeFi protocols☆197Nov 7, 2023Updated 2 years ago
- Hacks/Vulns/Audits Compilation☆162Sep 5, 2024Updated last year
- Content for yAudit Reports Site☆29Jan 27, 2026Updated 2 weeks ago
- ☆45Oct 16, 2024Updated last year
- ☆137Dec 23, 2025Updated last month
- A 6-part series on how to use Echidna on real-world codebases☆111Jun 29, 2023Updated 2 years ago
- Workshop about the different types of reentrancy attacks☆135Mar 25, 2025Updated 10 months ago
- ☆47Aug 24, 2023Updated 2 years ago
- Example of the whitehack for Curve exploit 30/07/23☆19Aug 3, 2023Updated 2 years ago
- ☆51Jul 5, 2022Updated 3 years ago
- Bugs in commonly forked DeFi protocols☆489Oct 3, 2025Updated 4 months ago
- A simple template to perform whitehacks safely☆181Aug 5, 2023Updated 2 years ago
- Formally verifying consistency between Solmate and Solady using Halmos☆55Aug 22, 2024Updated last year
- Simplified Deployment Validation of EVM-Based Smart Contracts☆35Jan 23, 2026Updated 3 weeks ago
- ☆476Mar 31, 2025Updated 10 months ago
- My swiss army knife for reversing EVM bytecodes (super experimental)☆126Nov 25, 2025Updated 2 months ago
- Immunefi Contract DB - Search Bugs☆34Dec 4, 2024Updated last year
- ☆32Mar 1, 2024Updated last year
- Using Dynamic Huffidity to embed MiMCSponge Hash bytecode by tornado cash to a solidity contract.☆10Sep 8, 2023Updated 2 years ago
- Solidity CTF challenge from BSides TLV 2022☆14Jul 8, 2022Updated 3 years ago
- ☆23Jan 27, 2026Updated 2 weeks ago
- Slither Detectors by Pessimistic.io☆374Jun 25, 2024Updated last year