lvella / polynomial-solverLinks
Solves systems of polynomial equations.
☆29Updated last year
Alternatives and similar repositories for polynomial-solver
Users that are interested in polynomial-solver are comparing it to the libraries listed below
Sorting:
- ☆47Updated last year
- A support library for working with zero knowledge cryptography in Lean 4.☆38Updated last month
- Automated verification of uniqueness property for ZKP circuits☆42Updated last year
- Compiler framework for ZK VMs☆33Updated last year
- ECFFT in Rust☆58Updated last year
- Executable formal model of the EVM and Yul in Lean 4.☆59Updated this week
- Formally Verified Arguments of Knowledge in Lean☆81Updated this week
- Extracting the semantics of Noir to Lean for formal verification☆33Updated this week
- Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.☆15Updated last year
- A formal verification of Linear PCP SNARKs.☆53Updated 11 months ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆70Updated 2 years ago
- deprecated, use Verified-zkEVM repository instead☆19Updated 5 months ago
- Interactive formal verification tool for Yul programs☆65Updated this week
- Precise Attack Synthesis for DeFi Apps☆47Updated 2 years ago
- ☆41Updated last year
- ☆48Updated last month
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- A Risc-V CPU implemented as a zk-SNARK☆49Updated 2 years ago
- SMT 2023 Submission; license pending☆55Updated 7 months ago
- RISCU emulator and zk circuit simulator as a reference for a Jolt implementation☆23Updated last year
- ☆28Updated 2 years ago
- ZK Circuit Fuzzer☆18Updated last week
- Formal verification of the zkWasm project☆12Updated 10 months ago
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆41Updated last year
- r1cs file format parser☆24Updated last year
- Lean circuit DSL☆76Updated this week
- A course on Halo2 in collaboration with Zircuit☆26Updated 5 months ago
- ☆20Updated last year
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆21Updated this week
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆37Updated last week