Alternatives and similar repositories for Berkeley-Zero-Knowledge-Proof-Mooc-Notes-Spring-2023

Users that are interested in Berkeley-Zero-Knowledge-Proof-Mooc-Notes-Spring-2023 are comparing it to the libraries listed below

• aman-goel / ic3po
  IC3PO: IC3 for Proving Protocol Properties
  ☆27Updated 8 months ago
• lvella / polynomial-solver
  Solves systems of polynomial equations.
  ☆29Updated last year
• SRI-CSL / solidity
  This is solc-verify, a modular verifier for Solidity.
  ☆52Updated last year
• CoriolisSP / FuzzBtor2
  Random Generator of Btor2 Files
  ☆10Updated last year
• Veridise / Eurus
  Precise Attack Synthesis for DeFi Apps
  ☆47Updated 2 years ago
• lijwen2748 / simplecar
  ☆15Updated 2 years ago
• a16z / jsi
  just solve it - a CLI utility to run a portfolio of SMT solvers in parallel
  ☆25Updated 4 months ago
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆70Updated 2 years ago
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆24Updated 2 years ago
• chc-comp / chc-tools
  Tools for manipulating CHC and related files
  ☆15Updated 2 years ago
• gipsyh / rIC3-HWMCC24
  rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission
  ☆12Updated 8 months ago
• anishathalye / knox
  A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏
  ☆33Updated 4 months ago
• fyquah / hardcaml_zprize
  Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and mu…
  ☆54Updated 11 months ago
• Consensys / evm-dafny
  An EVM interpreter in Dafny
  ☆129Updated 7 months ago
• CVC4 / CVC4-archived
  CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
  ☆19Updated 4 years ago
• contract-ace / smartace
  ☆15Updated 3 years ago
• anishathalye / chroniton
  A tool for formally verifying constant-time software against hardware 🕰️
  ☆10Updated 4 months ago
• grigoryfedyukovich / aeval
  AE-solver and Skolemizer
  ☆17Updated 5 months ago
• saleh1204 / sis
  Logic Synthesis System from UC Berkeley (Unofficial Distribution)
  ☆15Updated 6 years ago
• sgpthomas / comp-gen
  Automatically generate a compiler using equality saturation
  ☆30Updated last year
• yihozhang / relational-ematching-benchmark
  ☆16Updated 3 years ago
• randriu / synthesis
  ☆23Updated last week
• Mondego / dafny-synthesis
  [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆47Updated 11 months ago
• giuspek / FormalMethods-2022
  Obsolete
  ☆14Updated 2 years ago
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆25Updated this week
• NethermindEth / Clear
  Interactive formal verification tool for Yul programs
  ☆65Updated 3 weeks ago
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆38Updated last month
• agurfinkel / btor2mlir
  BTOR2 MLIR project
  ☆25Updated last year
• Consensys / eth2.0-dafny
  Eth2.0 spec in Dafny
  ☆78Updated 11 months ago
• johnsonstephan / awesome-web3-formal-verification
  A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.
  ☆20Updated last year