CoinFabrik / scout-sorobanLinks
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.
☆43Updated last year
Alternatives and similar repositories for scout-soroban
Users that are interested in scout-soroban 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 11 months ago
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆28Updated last year
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆44Updated last month
- A static analyzer for NEAR smart contract in Rust☆110Updated 2 years ago
- A list of public audit reports conducted by the CoinFabrik team.☆22Updated 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…☆30Updated last year
- Solidity grammar for ANTLR4☆58Updated 7 months ago
- ☆41Updated last month
- An Ethereum development runtime implementation that can be reused to build new developer tools.☆91Updated last week
- Rust implementation of the Agglayer.☆117Updated this week
- Full WASM Secure Threshold Signature ECDSA Library☆36Updated 2 years ago
- LLVM-based Solidity compiler.☆169Updated this week
- Reference Solidity implementation of the CMTAT security token framework developed by CMTA to tokenize financial instruments.☆73Updated this week
- Bundler specification test suites☆79Updated 7 months ago
- A mutation testing tool for Solidity Smart Contracts☆85Updated 7 months ago
- Solidity compiler tooling by @NomicFoundation☆275Updated this week
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Updated 5 months ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆260Updated last year
- ☆143Updated 8 months ago
- zk-SNARK WASM circuit compiler☆16Updated 6 months ago
- Smart contract debugging data format – Standards development working group☆72Updated 5 months ago
- Circom circuits used by the iden3 core protocol.☆92Updated 5 months ago
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆236Updated 5 months ago
- A blockchain monitoring service that watches for specific on-chain activities and triggers notifications based on configurable conditions…☆113Updated this week
- The reference smart contract implementation in Solidity for the LUKSO LSP Standards.☆82Updated this week
- ☆80Updated 10 months ago
- A system for managing privacy-preserving groups.☆76Updated 8 months ago
- Official repository for the Security Frameworks by SEAL. Currently under development, not a release.☆60Updated this week
- Privacy-first tooling for the Ethereum ecosystem☆252Updated 3 weeks ago
- Verifying biometric passports with zero knowledge proofs (SNARKs)☆86Updated 5 months ago