CoinFabrik / scout-soroban
Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security issues and deviations from best practices.
☆35Updated last week
Related projects: ⓘ
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆25Updated 3 months ago
- Scout is an extensible open-source tool intended to assist ink! smart contract developers and auditors detect common security issues and …☆54Updated last week
- 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
- A list of public audit reports conducted by the CoinFabrik team.☆19Updated 3 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
- Full WASM Secure Threshold Signature ECDSA Library☆29Updated last year
- WebSocket Manager that facilitates secure communication between parties for multi party computation applications.☆11Updated last year
- Wormhole TypeScript SDK☆39Updated this week
- AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.☆60Updated 3 months ago
- Benchmark Generator for Smart-Contract Fuzzers☆121Updated 2 months ago
- A mutation testing tool for Solidity Smart Contracts☆73Updated 5 months ago
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆203Updated last year
- ☆127Updated 4 months ago
- A smart contract wallet controlled using email☆129Updated 2 weeks ago
- Account Abstraction Bundler written in Python & Rust - ERC-4337☆46Updated last week
- Circom circuits used by the iden3 core protocol.☆81Updated last month
- A list of resources related to scaling with rollups.☆58Updated 5 months ago
- Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)☆123Updated 3 weeks ago
- A modern framework for creating EIP2535 Diamonds 💎☆78Updated 3 weeks ago
- Smart contracts used by Candide☆73Updated 2 months ago
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆261Updated last week
- zero knowledge for those with zero knowledge☆103Updated last year
- Collection of public security reviews☆139Updated 2 weeks ago
- A trustless P2P fiat onramp powered by ZK proofs.☆264Updated this week
- This is the markdown for the ZK Book☆60Updated last week
- Development Kit for building Smart Account Modules☆53Updated 3 weeks ago
- Using mutations to improve specs and test suites☆164Updated 2 weeks ago
- TypeScript types and a JSON Schema for the Solidity AST☆91Updated 2 weeks ago
- ☆58Updated 2 months ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆226Updated 2 months ago