Alternatives and similar repositories for jsi:

Users that are interested in jsi are comparing it to the libraries listed below

• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆41Updated 11 months ago
• Veridise / Eurus
  Precise Attack Synthesis for DeFi Apps
  ☆47Updated 2 years ago
• lvella / polynomial-solver
  Solves systems of polynomial equations.
  ☆29Updated last year
• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆19Updated 8 months ago
• chyanju / __archived__Medjai
  A Symbolic Execution Tool for Cairo
  ☆16Updated 2 years ago
• Veridise / Coda
  ☆47Updated last year
• GaloisInc / zk-lean
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆11Updated last week
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆37Updated this week
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆51Updated 2 years ago
• NethermindEth / EVMYulLean
  Executable formal model of the EVM and Yul in Lean 4.
  ☆56Updated 3 weeks ago
• babybear-labs / benchmark
  Benchmark of ZKVMs and Proving Schemes
  ☆25Updated 2 weeks ago
• lita-xyz / valida-rs
  The entry point for Rust projects to be run on Valida
  ☆10Updated last month
• dragonfly-xyz / nottingham-contracts
  ☆18Updated 10 months ago
• reilabs / lampe
  Extracting the semantics of Noir to Lean for formal verification
  ☆27Updated this week
• NethermindEth / Clear
  Interactive formal verification tool for Yul programs
  ☆64Updated 2 weeks ago
• succinctlabs / zkvm-perf
  ☆24Updated 3 months ago
• fsainas / contracts-verification-benchmark
  An open benchmark for evaluating smart contracts verification tools.
  ☆13Updated last month
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆67Updated 2 years ago
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆33Updated last week
• davebryson / revmup
  A smart-contract api and client for revm
  ☆18Updated last year
• iFrostizz / rustry
  Based Ethereum framework for writing tests in Rust
  ☆12Updated last year
• kevinbogner / deposit-fuzz
  Fuzzing tool for Ethereum deposits.
  ☆11Updated last year
• TomWambsgans / Whirlaway
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆16Updated this week
• 2xic / evm-bytecode-transpiler-to-venom-ir
  WIP transpiler: EVM bytecode -> 🐍 IR -> EVM bytecode
  ☆12Updated last week
• nulltea / spy-pets
  Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr
  ☆28Updated 2 years ago
• hecmas / pairing-playground
  ☆11Updated last year
• clabby / keccak256-aarch64
  A SIMD implementation of Keccak256 for aarch64, forked from Remco Bloeman's Goldilocks K12 implementation.
  ☆19Updated last year
• geometryxyz / fk
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Updated 2 years ago
• runtimeverification / kontrol
  ☆73Updated this week
• guangyuz / arkworks-gadgets
  Zero-knowledge gadget for Sparse Merkle Tree.
  ☆20Updated 2 years ago