anza-xyz / security-auditsLinks
Published security audits
☆80Updated 2 weeks ago
Alternatives and similar repositories for security-audits
Users that are interested in security-audits are comparing it to the libraries listed below
Sorting:
- A static analysis tool for anchor rust programs.☆94Updated last week
- A curated list of awesome Solana security resources☆59Updated last year
- The X-Ray Toolchain is an open-source, cross-platform command-line interface (CLI) tool designed for static analysis of Solana programs a…☆40Updated last month
- Lints based on the Sealevel Attacks☆43Updated 2 weeks ago
- A simple sBPF (Solana eBPF) disassembler☆50Updated 2 months ago
- A tool to extract Interface Description Language (IDL) from Solana programs☆50Updated last month
- ☆78Updated last week
- ☆78Updated this week
- ☆12Updated last month
- Sui smart contract fuzzer☆40Updated last year
- We are systematizing everything we know about Solana security into one structured resource: the Solana Security Strategy. It’s a field-te…☆135Updated 2 weeks ago
- Scope is an oracle aggregator☆46Updated last week
- Dynamic Bonding Curve Program (DBC)☆39Updated last week
- CLI and sample code to interact with Solayer programs on Solana☆42Updated 2 months ago
- Learn to audit Solana programs and help secure the ecosystem. Take your security practices to the next level and get certified by Ackee B…☆132Updated 9 months ago
- Starter apps with Wormhole integration☆55Updated 2 months ago
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆60Updated 3 months ago
- Squads Multisig Program Library☆118Updated 11 months ago
- A curated list of awesome Solana protocols, repos & community tools☆65Updated 2 years ago
- ☆34Updated 2 weeks ago
- A collection of resources to help you build better and more secure Solana programs. Kept up to date.☆204Updated last week
- DeFi Security Breaches: Comprehensive Root Cause Analysis☆62Updated last week
- A CLI tool to debug Solana programs☆20Updated last month
- All the private and public audits that I have worked on.☆136Updated last month
- Collection of potential CU optimizations for programs.☆75Updated 8 months ago
- Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…☆22Updated 2 months ago
- ☆37Updated last month
- Implementation of the Ethereum Virtual Machine in Rust.☆55Updated 11 months ago
- Solana perpetuals reference implementation☆92Updated last year
- An index repository with submodules for different examples of Certora projects☆154Updated this week