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

• saleh1204 / sis
  Logic Synthesis System from UC Berkeley (Unofficial Distribution)
  ☆15Updated 6 years ago
• lijwen2748 / simplecar
  ☆15Updated 3 years ago
• CoriolisSP / FuzzBtor2
  Random Generator of Btor2 Files
  ☆10Updated 2 years ago
• aman-goel / ic3po
  IC3PO: IC3 for Proving Protocol Properties
  ☆28Updated last year
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆93Updated 3 years ago
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆24Updated 2 years ago
• mgudemann / iimc
  ☆14Updated 7 years ago
• SRI-CSL / solidity
  This is solc-verify, a modular verifier for Solidity.
  ☆54Updated 2 years ago
• circify / circ
  (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
  ☆312Updated 5 months ago
• giuspek / FormalMethods-2022
  Obsolete
  ☆14Updated 2 years ago
• lvella / polynomial-solver
  Solves systems of polynomial equations.
  ☆29Updated 2 months ago
• aman-goel / avr
  Reads a state transition system and performs property checking
  ☆88Updated 2 months ago
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆72Updated 2 years ago
• RafaelTupynamba / SMTSampler
  SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints
  ☆31Updated 6 years ago
• fyquah / hardcaml_zprize
  Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and mu…
  ☆59Updated last year
• a16z / jsi
  just solve it - a CLI utility to run a portfolio of SMT solvers in parallel
  ☆25Updated 9 months ago
• arbrad / IC3ref
  IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
  ☆62Updated 10 years ago
• hkustgz-zhang-lab / HW-Formal-Paper
  Recent papers related to hardware formal verification.
  ☆74Updated 2 years ago
• fuqi-jia / BLAN
  Bit-bLAsting solving Non-linear integer constraints.
  ☆22Updated 4 months ago
• fangwenji / tacas23-wasim
  ☆12Updated 2 years ago
• jar-ben / mustool
  ☆15Updated 2 years ago
• contract-ace / smartace
  ☆17Updated 3 years ago
• d-kfmnn / amulet2
  AMulet 2. - A better AIG Multiplier Examination Tool
  ☆26Updated 3 years ago
• muhos / ParaFROST
  A Parallel SAT Solver with GPU Accelerated Inprocessing
  ☆134Updated last week
• TeamVoss / VossII
  The source code to the Voss II Hardware Verification Suite
  ☆56Updated this week
• NethermindEth / Clear
  Interactive formal verification tool for Yul programs
  ☆75Updated 2 months ago
• gipsyh / rIC3-HWMCC24
  rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission
  ☆11Updated 4 months ago
• hwmcc / btor2tools
  A generic parser and tool package for the BTOR2 format.
  ☆43Updated 2 months ago
• agurfinkel / btor2mlir
  BTOR2 MLIR project
  ☆26Updated last year
• temelmertcan / multgen
  Integer Multiplier Generator for Verilog
  ☆23Updated 4 months ago