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
- Random Generator of Btor2 Files☆10Updated last year
- Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and mu…☆56Updated last year
- IC3PO: IC3 for Proving Protocol Properties☆28Updated 10 months ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆24Updated 2 years ago
- Recent papers related to hardware formal verification.☆70Updated last year
- Integer Multiplier Generator for Verilog☆23Updated 2 weeks ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆88Updated 3 years ago
- This is solc-verify, a modular verifier for Solidity.☆52Updated last year
- A generic parser and tool package for the BTOR2 format.☆41Updated 2 months ago
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆35Updated 5 months ago
- Reads a state transition system and performs property checking☆84Updated 4 months ago
- Obsolete☆14Updated 2 years ago
- Tools for manipulating CHC and related files☆15Updated 2 years ago
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Updated 10 months ago
- BTOR2 MLIR project☆26Updated last year
- Pono: A flexible and extensible SMT-based model checker☆105Updated this week
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆12Updated 2 weeks ago
- ☆34Updated 3 weeks ago
- IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.☆59Updated 10 years ago
- E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)☆33Updated last year
- Verifying OpenTitan☆26Updated last year
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆304Updated last month
- AMulet 2. - A better AIG Multiplier Examination Tool☆25Updated 2 years ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆15Updated 7 months ago
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆24Updated 2 years ago
- Solves systems of polynomial equations.☆29Updated 2 years ago
- ☆16Updated 3 years ago
- A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core☆12Updated 6 years ago