CoinFabrik / scout-audit
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.
☆23Updated 3 weeks ago
Alternatives and similar repositories for scout-audit:
Users that are interested in scout-audit are comparing it to the libraries listed below
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆26Updated 10 months ago
- A list of public audit reports conducted by the CoinFabrik team.☆21Updated 2 weeks 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
- Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarit…☆28Updated 8 months ago
- Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …☆41Updated 5 months ago
- Scout is an extensible open-source tool intended to assist ink! smart contract developers and auditors detect common security issues and …☆57Updated 3 months ago
- This repository contains CoinFabrik's ongoing research and development to extend CodeQL support to the Solidity smart contract language. …☆41Updated 5 months ago
- WebSocket Manager that facilitates secure communication between parties for multi party computation applications.☆11Updated last year
- Full WASM Secure Threshold Signature ECDSA Library☆33Updated last year
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆104Updated 3 months ago
- Certora tutorials☆25Updated last month
- An open benchmark for evaluating smart contracts verification tools.☆13Updated 2 weeks ago
- ☆104Updated last week
- Decentralized Identity Issuance Contracts☆23Updated this week
- List of Maths Resources for ZKPs☆21Updated 10 months ago
- ☆26Updated 2 years ago
- ☆136Updated 2 weeks ago
- A 6-part series on how to use Echidna on real-world codebases☆107Updated last year
- A mutation testing tool for Solidity Smart Contracts☆76Updated this week
- RustBlock-Outpost is the most complete blockchain-oriented Rust knowledge base that was created for educational purposes. Check it to fin…☆50Updated last year
- A curated list of ZK and Maths resources☆47Updated last year
- My work for Rareskills ZK Book.☆50Updated last year
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…☆159Updated last week
- Repository containing past audit reports☆53Updated last year
- A smart-contract based, key-encumbered wallet for privately liquefying blockchain assets☆25Updated 2 weeks ago
- The Immutable Core SDK Golang provides convenient access to the Immutable APIs and Ethereum contract methods for applications integrating…☆10Updated last year
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆67Updated 3 months ago
- List of Halmos resources.☆53Updated last month
- Smart contract debugging data format – Standards development working group☆58Updated last month
- A Solidity interpreter☆66Updated this week