CoinFabrik / coinfabrik-audit-reportsLinks
A list of public audit reports conducted by the CoinFabrik team.
☆21Updated 2 months ago
Alternatives and similar repositories for coinfabrik-audit-reports
Users that are interested in coinfabrik-audit-reports are comparing it to the libraries listed below
Sorting:
- Scout is an extensible open-source tool intended to assist ink! smart contract developers and auditors detect common security issues and …☆59Updated 6 months ago
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆27Updated last week
- List of Halmos resources.☆56Updated 5 months ago
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆16Updated 2 months ago
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆27Updated last year
- Intentionally flawed code with potential pitfalls in custom contracts for EIP7702 delegate accounts.☆55Updated 5 months ago
- APG (Auditor Profile Generator)☆35Updated last year
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆108Updated 6 months ago
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆66Updated 7 months ago
- 👃Automatically identify missing or incomplete natspec☆93Updated 2 weeks ago
- Playing with zero-knowledge proof languages☆105Updated 2 years ago
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…☆201Updated 3 weeks ago
- Series of CTF challenges based off real world smart contract vulnerabilities.☆27Updated last year
- Smart contract debugging data format – Standards development working group☆64Updated 3 weeks ago
- A mutation testing tool for Solidity Smart Contracts☆81Updated 2 months ago
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- Solidity Audit Report Generator☆85Updated last year
- This is the markdown for the ZK Book☆97Updated 2 weeks ago
- A curated list of ZK and Maths resources☆48Updated last year
- ☆87Updated last year
- Collection of security reviews of ZK Protocols☆231Updated 7 months ago
- A set of exercises to practice Yul☆93Updated 5 months ago
- A 6-part series on how to use Echidna on real-world codebases☆108Updated 2 years ago
- Practical tips for building secure web3 protocols at every stage, from the initial design to deployment☆61Updated this week
- Roadmap to get up to speed with CosmWasm smart contract audits and security vulnerabilities☆96Updated last year
- ☆58Updated last year
- Download sources of deployed contracts from etherscan☆86Updated last month
- My work for Rareskills ZK Book.☆55Updated last year
- ☆12Updated 8 months ago
- Smart Contract Property-Based Testing Framework☆119Updated 3 months ago