yuzeng2333 / Berkeley-Zero-Knowledge-Proof-Mooc-Notes-Spring-2023Links
Help people understand the ZKP mooc course of Berkeley
☆14Updated 2 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
- ☆15Updated 2 years ago
- Reads a state transition system and performs property checking☆87Updated last week
- ☆35Updated last month
- Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and mu…☆59Updated last year
- This is solc-verify, a modular verifier for Solidity.☆52Updated 2 years ago
- IC3PO: IC3 for Proving Protocol Properties☆28Updated last year
- Solves systems of polynomial equations.☆29Updated last week
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆310Updated 3 months ago
- A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.☆27Updated last year
- just solve it - a CLI utility to run a portfolio of SMT solvers in parallel☆25Updated 7 months ago
- Obsolete☆14Updated 2 years ago
- Formally Verified Arguments of Knowledge in Lean☆102Updated this week
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆70Updated 2 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆24Updated 2 years ago
- Random Generator of Btor2 Files☆10Updated 2 years ago
- Recent papers related to hardware formal verification.☆73Updated 2 years ago
- Hardware Formal Verification Tool☆66Updated 2 weeks ago
- ☆65Updated 10 months ago
- Lean circuit DSL☆90Updated last week
- Integer Multiplier Generator for Verilog☆23Updated 2 months ago
- Princeton University - COS/ECE 470 : Principles of Blockchains☆20Updated 2 years ago
- ☆15Updated 2 years ago
- A formal verification of Linear PCP SNARKs.☆56Updated last year
- A generic parser and tool package for the BTOR2 format.☆42Updated last week
- Collection of resources for research concerning Machine Learning and Formal Methods.☆90Updated 3 years ago
- ☆14Updated 7 years ago
- Pono: A flexible and extensible SMT-based model checker☆110Updated this week
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆25Updated 2 years ago
- A Simple CDCL Solver☆30Updated 2 years ago