CoinFabrik / scout-auditLinks
Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and deviations from best practices. Scout audit is the core development on which we extend scout for specific blockchains.
☆27Updated last week
Alternatives and similar repositories for scout-audit
Users that are interested in scout-audit are comparing it to the libraries listed below
Sorting:
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆27Updated last year
- Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …☆42Updated 8 months ago
- Scout is an extensible open-source tool intended to assist ink! smart contract developers and auditors detect common security issues and …☆59Updated 7 months ago
- A list of public audit reports conducted by the CoinFabrik team.☆21Updated 2 months ago
- Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarit…☆28Updated 11 months ago
- Smart contract debugging data format – Standards development working group☆64Updated 3 weeks ago
- ☆115Updated 3 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
- A mutation testing tool for Solidity Smart Contracts☆81Updated 2 months ago
- Playing with zero-knowledge proof languages☆105Updated 2 years ago
- ☆80Updated last week
- ZK Circuit examples, written in Circom and Noir☆37Updated 2 years ago
- Validation code for the EOF specification☆56Updated 2 months ago
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆71Updated last week
- A Solidity interpreter☆68Updated last month
- A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)☆80Updated last month
- Automated verification of uniqueness property for ZKP circuits☆77Updated last year
- Zero-knowledge Sudoku using zk-SNARKs☆46Updated 3 years ago
- My work for Rareskills ZK Book.☆55Updated last year
- Ethereum Testnet Testing Tool☆62Updated this week
- ☆26Updated 2 years ago
- Visual Studio Code integration for Slither, a Solidity static analysis framework☆35Updated 11 months ago
- Complex numbers for Solidity☆53Updated last year
- Utilities for working with native solc and compiling projects.☆91Updated this week
- ☆87Updated last year
- Zero-Knowledge University☆32Updated 11 months ago
- Horus, a formal verification tool for StarkNet smart contracts.☆74Updated 3 weeks ago
- Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols☆117Updated this week
- Bundler specification test suites☆80Updated 2 months ago
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆108Updated 6 months ago