CoinFabrik / scout
Scout is an extensible open-source tool intended to assist ink! smart contract developers and auditors detect common security issues and deviations from best practices.
☆57Updated 3 months ago
Alternatives and similar repositories for scout:
Users that are interested in scout are comparing it to the libraries listed below
- Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …☆41Updated 4 months ago
- A list of public audit reports conducted by the CoinFabrik team.☆21Updated 2 weeks ago
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆26Updated 10 months ago
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆23Updated 3 weeks ago
- Full WASM Secure Threshold Signature ECDSA Library☆33Updated last year
- Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarit…☆27Updated 8 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
- 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
- Playing with zero-knowledge proof languages☆105Updated 2 years ago
- A fuzzing harness for Substrate-based blockchains.☆29Updated last month
- Template for integrating RISC Zero and Ethereum using Foundry☆122Updated last week
- A curated list of ZK and Maths resources☆47Updated last year
- Roadmap to get up to speed with CosmWasm smart contract audits and security vulnerabilities☆82Updated 9 months ago
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆99Updated last month
- A repo of example Noir projects.☆50Updated 3 weeks ago
- Certora tutorials☆25Updated last month
- A course on Halo2 in collaboration with Zircuit☆22Updated 2 months ago
- 📖 A curated list of resources dedicated to Modular Smart Accounts☆72Updated 7 months ago
- ☆77Updated last week
- ☆39Updated last week
- ZK Email in Noir☆62Updated last week
- ☆65Updated last year
- List of Maths Resources for ZKPs☆21Updated 10 months ago
- ZK Circuit examples, written in Circom and Noir☆35Updated last year
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆75Updated 5 months ago
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆77Updated 3 months ago
- Cross-chain interop research, funded by Optimism Governance.☆57Updated 2 months ago
- MoonMath Manual notes, exercise solution and extra comments.☆28Updated 9 months ago
- ☆102Updated 2 years ago