Alternatives and similar repositories for scout-actions:

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

• CoinFabrik / scout-soroban-examples
  Soroban Smart Contract examples security reviewed by Scout and manual auditors
  ☆26Updated 10 months ago
• CoinFabrik / coinfabrik-audit-reports
  A list of public audit reports conducted by the CoinFabrik team.
  ☆21Updated 2 weeks ago
• CoinFabrik / scout-audit
  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
• CoinFabrik / stacy
  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
• CoinFabrik / CyScout
  This repository contains CoinFabrik's ongoing research and development to extend CodeQL support to the Solidity smart contract language. …
  ☆41Updated 5 months ago
• CoinFabrik / scout-soroban
  Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …
  ☆41Updated 4 months ago
• CoinFabrik / mpc-manager
  WebSocket Manager that facilitates secure communication between parties for multi party computation applications.
  ☆11Updated last year
• CoinFabrik / scout
  Scout is an extensible open-source tool intended to assist ink! smart contract developers and auditors detect common security issues and …
  ☆57Updated 3 months ago
• CoinFabrik / wasm-multi-party-ecdsa
  Full WASM Secure Threshold Signature ECDSA Library
  ☆33Updated last year
• dl-solarity / hardhat-zkit
  The ultimate TypeScript environment for Circom development
  ☆83Updated last week
• eryxcoop / acvm-backend-plonky2
  This is an open source backend for the ACIR standard as implemented in the Noir programming languaje, written in Rust
  ☆47Updated 4 months ago
• Certora / CertoraProver
  The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…
  ☆157Updated 3 weeks ago
• RareSkills / zero-knowledge-puzzles
  Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.
  ☆287Updated 3 months ago
• rarimo / passport-zk-circuits
  Verifying biometric passports with zero knowledge proofs (SNARKs)
  ☆74Updated last month
• zksecurity / halo2-course
  A course on Halo2 in collaboration with Zircuit
  ☆22Updated 2 months ago
• zigtur / Rareskills-ZK-book
  My work for Rareskills ZK Book.
  ☆48Updated last year
• NethermindEth / Clear
  Interactive formal verification tool for Yul programs
  ☆62Updated 3 months ago
• privacy-scaling-explorations / core-program
  ☆164Updated last month
• distributed-lab / papers
  The registry with Distributed Lab papers
  ☆42Updated 2 weeks ago
• trailofbits / circomspect
  A static analyzer and linter for the Circom zero-knowledge DSL
  ☆245Updated 9 months ago
• erhant / moonmath
  Solutions to exercises from MoonMath Manual to zkSNARKs.
  ☆77Updated 3 months ago
• eryxcoop / zk-adventures
  ☆34Updated 2 months ago
• paulfears / StellarSnap
  Stellar on Metamask
  ☆7Updated 2 months ago
• RareSkills / Buggy-ERC-20
  ☆23Updated last week
• erhant / circom101
  Circom arithmetic circuits and concepts explained, in depth.
  ☆26Updated 3 months ago
• SpiralOutDotEu / zk_whitelist
  The Zero Knowledge Whitelist Tool is a powerful utility for managing an address whitelist using Zero-Knowledge (ZK) proofs.
  ☆10Updated last year
• RareSkills / zk-book
  This is the markdown for the ZK Book
  ☆93Updated 2 months ago
• BrianSeong99 / Plonky3_Fibonacci
  This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.
  ☆30Updated 5 months ago
• zksecurity / zkbugs
  Reproduce ZKP vulnerabilities
  ☆201Updated last month
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆105Updated 2 years ago