CoinFabrik / scout-soroban-examples
Soroban Smart Contract examples security reviewed by Scout and manual auditors
☆25Updated 3 months ago
Related projects: ⓘ
- 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 list of public audit reports conducted by the CoinFabrik team.☆19Updated 3 weeks ago
- Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarit…☆27Updated 2 months ago
- Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …☆35Updated last week
- Scout is an extensible open-source tool intended to assist ink! smart contract developers and auditors detect common security issues and …☆54Updated last week
- WebSocket Manager that facilitates secure communication between parties for multi party computation applications.☆11Updated last year
- Full WASM Secure Threshold Signature ECDSA Library☆29Updated last year
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆203Updated last year
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆261Updated last week
- A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and tra…☆124Updated this week
- Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors☆232Updated this week
- Hacks/Vulns/Audits Compilation☆154Updated 2 weeks ago
- Pre-built security properties for common Ethereum operations☆276Updated last month
- Using mutations to improve specs and test suites☆164Updated 2 weeks ago
- Scribble instrumentation tool☆313Updated 3 weeks ago
- Generate tests based on the Branching Tree Technique.☆258Updated 2 weeks ago
- ☆225Updated 3 months ago
- ☆271Updated last month
- A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.☆601Updated 6 months ago
- Mutation Testing for Ethereum Smart Contracts☆202Updated 10 months ago
- ☆127Updated 4 months ago
- This is the markdown for the ZK Book☆60Updated last week
- Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum☆290Updated last week
- Collection of security reviews of ZK Protocols☆210Updated 3 weeks ago
- 🍋 An open dataset containing smart contract audit issues from various sources.☆172Updated 6 months ago
- Benchmark Generator for Smart-Contract Fuzzers☆121Updated 2 months ago
- Solidity Package Manager written in rust☆196Updated this week
- Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"☆110Updated 4 years ago
- Find the version that the project you currently develop or audit uses and quickly check which are the known smart contract security vulne…☆78Updated 9 months ago
- ☆216Updated last year