Alternatives and similar repositories for scout-soroban

Users that are interested in scout-soroban are comparing it to the libraries listed below

• CoinFabrik / scout
  Scout is an extensible open-source tool intended to assist ink! smart contract developers and auditors detect common security issues and …
  ☆60Updated 9 months ago
• CoinFabrik / scout-soroban-examples
  Soroban Smart Contract examples security reviewed by Scout and manual auditors
  ☆28Updated last year
• CoinFabrik / scout-audit
  Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…
  ☆34Updated 2 weeks ago
• trailofbits / circomspect
  A static analyzer and linter for the Circom zero-knowledge DSL
  ☆252Updated last year
• ethereum / protocol-security
  ☆42Updated this week
• CoinFabrik / coinfabrik-audit-reports
  A list of public audit reports conducted by the CoinFabrik team.
  ☆22Updated last week
• blocksecteam / rustle
  A static analyzer for NEAR smart contract in Rust
  ☆109Updated last year
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆88Updated last year
• CoinFabrik / wasm-multi-party-ecdsa
  Full WASM Secure Threshold Signature ECDSA Library
  ☆36Updated 2 years ago
• crytic / solana-lints
  Lints based on the Sealevel Attacks
  ☆44Updated last week
• CoinFabrik / stacy
  Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarit…
  ☆28Updated last year
• NomicFoundation / slang
  Solidity compiler tooling by @NomicFoundation
  ☆267Updated last week
• MariusVanDerWijden / tx-fuzz
  ☆117Updated 5 months ago
• trailofbits / zkdocs
  Interactive documentation on zero-knowledge proof systems and related primitives.
  ☆169Updated last month
• agglayer / agglayer
  Rust implementation of the Agglayer.
  ☆110Updated this week
• zkoranges / zkPoEX
  zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …
  ☆234Updated 3 months ago
• NomicFoundation / edr
  An Ethereum development runtime implementation that can be reused to build new developer tools.
  ☆86Updated last week
• OpenZeppelin / openzeppelin-relayer
  OpenZeppelin Relayer
  ☆94Updated this week
• VulnPlanet / l3x
  AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.
  ☆86Updated last year
• crytic / slither-action
  ☆143Updated 6 months ago
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆106Updated 2 years ago
• zksecurity / noname
  Noname: a programming language to write zkapps
  ☆220Updated this week
• ConsenSysDiligence / diligence-fuzzing
  ☆43Updated 5 months ago
• iden3 / circuits
  Circom circuits used by the iden3 core protocol.
  ☆91Updated 2 months ago
• zkjargon / zkjargon.github.io
  A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.
  ☆108Updated 3 months ago
• crytic / attacknet
  Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
  ☆75Updated 2 months ago
• solidity-parser / antlr
  Solidity grammar for ANTLR4
  ☆57Updated 5 months ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆57Updated 5 months ago
• OpenZeppelin / solidity-ast
  TypeScript types and a JSON Schema for the Solidity AST
  ☆96Updated 3 weeks ago
• rarimo / passport-zk-circuits
  Verifying biometric passports with zero knowledge proofs (SNARKs)
  ☆85Updated 3 months ago