Alternatives and similar repositories for vanguard-aleo

Users that are interested in vanguard-aleo are comparing it to the libraries listed below

• chainlight-io / zksync-era-write-query-poc
  PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits
  ☆37Updated 7 months ago
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆52Updated 3 years ago
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆56Updated 11 months ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆88Updated last year
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆42Updated last year
• NethermindEth / horus-checker
  Horus, a formal verification tool for StarkNet smart contracts.
  ☆76Updated 4 months ago
• maxgillett / stark-attestations
  Share private EVM state attestations using STARK proofs
  ☆73Updated 3 years ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆57Updated 5 months ago
• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆76Updated 2 years ago
• Veridise / Coda
  ☆48Updated 2 years ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated 2 years ago
• franklynwang / EcneProject
  Ecne: An engine for verifying the soundness of R1CS constraints
  ☆112Updated 3 years ago
• PufferFinance / rave
  Remote Attestation VErification
  ☆34Updated last year
• privacy-ethereum / security
  A collection of resources relevant to the PSE Security Team.
  ☆12Updated 2 years ago
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆107Updated 2 years ago
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆61Updated last year
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆80Updated last year
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆60Updated 2 years ago
• zk-ml / tachikoma
  neural network inference standard for zero-knowledge-proof systems
  ☆34Updated 2 years ago
• babybear-labs / benchmark
  Benchmark of ZKVMs and Proving Schemes
  ☆29Updated 4 months ago
• runtimeverification / kontrol
  ☆83Updated this week
• crytic / tayt
  StarkNet smart contract fuzzer
  ☆81Updated 3 years ago
• chyanju / __archived__Medjai
  A Symbolic Execution Tool for Cairo
  ☆15Updated 3 years ago
• geometryxyz / semacaulk
  Gas-efficient and blazing fast proving for private signaling
  ☆81Updated last year
• succinctlabs / eth-proof-of-consensus
  ☆102Updated 2 years ago
• franck44 / evm-dis
  An EVM bytecode disassembler/assembler
  ☆51Updated 10 months ago
• anoma / zkp-compiler-shootout
  Evaluating & benchmarking ZKP compilation strategies.
  ☆121Updated last year
• polybase / zk-benchmarks
  ☆44Updated 2 years ago
• brevis-network / pico
  ☆63Updated last month
• crytic / amarna
  Amarna is a static-analyzer and linter for the Cairo programming language.
  ☆148Updated 8 months ago