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 2 years ago
• CoriolisSP / FuzzBtor2
  Random Generator of Btor2 Files
  ☆10Updated 2 years ago
• fyquah / hardcaml_zprize
  Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and mu…
  ☆58Updated last year
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆24Updated 2 years ago
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆72Updated 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
• mgudemann / iimc
  ☆14Updated 7 years ago
• SRI-CSL / solidity
  This is solc-verify, a modular verifier for Solidity.
  ☆53Updated 2 years ago
• jix / flussab
  Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.
  ☆15Updated 11 months ago
• gipsyh / rIC3-HWMCC24
  rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission
  ☆12Updated 3 months ago
• circify / circ
  (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
  ☆310Updated 4 months ago
• hwmcc / btor2tools
  A generic parser and tool package for the BTOR2 format.
  ☆43Updated last month
• aman-goel / avr
  Reads a state transition system and performs property checking
  ☆87Updated last month
• BoltonBailey / formal-snarks-project
  A formal verification of Linear PCP SNARKs.
  ☆56Updated last year
• Verified-zkEVM / ArkLib
  Formally Verified Arguments of Knowledge in Lean
  ☆118Updated this week
• konnov / bymc
  Byzantine model checker
  ☆21Updated 2 years ago
• starkware-libs / formal-proofs
  ☆66Updated 11 months ago
• a16z / jsi
  just solve it - a CLI utility to run a portfolio of SMT solvers in parallel
  ☆25Updated 8 months ago
• jyao15 / G-CLN
  ☆12Updated 2 years ago
• giuspek / FormalMethods-2022
  Obsolete
  ☆14Updated 2 years ago
• NethermindEth / Clear
  Interactive formal verification tool for Yul programs
  ☆75Updated last month
• jar-ben / mustool
  ☆15Updated 2 years ago
• chc-comp / chc-tools
  Tools for manipulating CHC and related files
  ☆15Updated 2 years ago
• hkustgz-zhang-lab / HW-Formal-Paper
  Recent papers related to hardware formal verification.
  ☆73Updated 2 years ago
• arbrad / IC3ref
  IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
  ☆60Updated 10 years ago
• Gy-Hu / HWMCC24-benchmark
  Collection for submission (Hardware Model Checking Benchmark)
  ☆10Updated 11 months ago
• gryan11 / cln2inv
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Updated 5 years ago
• lvella / polynomial-solver
  Solves systems of polynomial equations.
  ☆29Updated last month