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.
☆45Updated last month
Alternatives and similar repositories for scout-audit
Users that are interested in scout-audit 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 …☆60Updated last year
- Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …☆43Updated last year
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆28Updated last year
- A list of public audit reports conducted by the CoinFabrik team.☆22Updated 3 months ago
- Smart contract debugging data format – Standards development working group☆73Updated this week
- Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarit…☆30Updated last year
- Bundler specification test suites☆80Updated 7 months ago
- A Solidity library that authenticates that the user is a correct holder of the specific email address, and specify entirely in Solidity h…☆83Updated last week
- Formal Verification tool for Move on Sui☆33Updated this week
- Certora tutorials☆29Updated 4 months ago
- Playing with zero-knowledge proof languages☆107Updated 2 years ago
- ☆38Updated last year
- ☆143Updated 9 months ago
- Aave's V3 Protocol on Aptos☆23Updated this week
- zkGames is a platform that allows users to play zk (zero knowledge) games and mint an NFT as proof that they have won.☆69Updated 3 years ago
- ZK Circuit examples, written in Circom and Noir☆37Updated 2 years ago
- A smart contract wallet controlled using email☆176Updated 9 months ago
- ☆120Updated 8 months ago
- A collection of Move examples☆42Updated last month
- ☆69Updated 2 years ago
- Decentralized Identity Issuance Contracts☆30Updated last month
- Privacy-first tooling for the Ethereum ecosystem☆278Updated 2 weeks ago
- groth16 verifier implementation with solana altbn syscalls☆56Updated 2 months ago
- Utilities for working with native solc and compiling projects.☆105Updated last month
- Inspired by https://www.solidity-by-example.org☆16Updated last year
- ☆40Updated last week
- A Cryptographic Library for Smooth Blockchain uses☆83Updated last year
- Introduction to various ZK languages☆89Updated 4 months ago
- ☆26Updated 2 years ago
- Solidity compiler tooling by @NomicFoundation☆275Updated this week