yuzeng2333 / Berkeley-Zero-Knowledge-Proof-Mooc-Notes-Spring-2023Links
Help people understand the ZKP mooc course of Berkeley
☆14Updated 3 years ago
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
Sorting:
- Logic Synthesis System from UC Berkeley (Unofficial Distribution)☆15Updated 6 years ago
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆40Updated 2 months ago
- Obsolete☆14Updated 2 years ago
- This is solc-verify, a modular verifier for Solidity.☆53Updated 2 years ago
- Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and mu…☆61Updated last year
- ☆15Updated 3 years ago
- Random Generator of Btor2 Files☆10Updated 2 years ago
- IC3PO: IC3 for Proving Protocol Properties☆28Updated last year
- Integer Multiplier Generator for Verilog☆23Updated 7 months ago
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆311Updated 2 weeks ago
- Byzantine model checker☆21Updated 2 years ago
- just solve it - a CLI utility to run a portfolio of SMT solvers in parallel☆25Updated 3 weeks ago
- A formal verification of Linear PCP SNARKs.☆60Updated last year
- Solves systems of polynomial equations.☆30Updated 5 months ago
- Recent papers related to hardware formal verification.☆76Updated 2 years ago
- BTOR2 MLIR project☆26Updated 2 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆25Updated 2 years ago
- a zero-knowledge proof-carrying code platform for Lean 4☆61Updated this week
- Lean circuit DSL☆121Updated this week
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Updated 5 months ago
- Interactive formal verification tool for Yul programs☆77Updated 2 months ago
- A generic parser and tool package for the BTOR2 format.☆46Updated 4 months ago
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆31Updated 6 years ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆76Updated 2 years ago
- CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.☆21Updated 4 years ago
- Reads a state transition system and performs property checking☆90Updated 5 months ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆96Updated 4 years ago
- IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.☆63Updated 10 years ago
- Exercises for the Dafny Tutorial☆14Updated 7 years ago
- An EVM interpreter in Dafny☆135Updated last year