lvella / polynomial-solverLinks
Solves systems of polynomial equations.
☆29Updated 2 years ago
Alternatives and similar repositories for polynomial-solver
Users that are interested in polynomial-solver are comparing it to the libraries listed below
Sorting:
- Automated verification of uniqueness property for ZKP circuits☆42Updated last year
- ☆48Updated last year
- A support library for working with zero knowledge cryptography in Lean 4.☆38Updated last month
- Compiler framework for ZK VMs☆33Updated 2 years ago
- ECFFT in Rust☆58Updated last year
- Executable formal model of the EVM and Yul in Lean 4.☆59Updated this week
- Interactive formal verification tool for Yul programs☆69Updated this week
- ☆12Updated last year
- Extracting the semantics of Noir to Lean for formal verification☆34Updated this week
- A formal verification of Linear PCP SNARKs.☆56Updated last year
- Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.☆15Updated last year
- Witness encryption for KZG openings☆27Updated 9 months ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆70Updated 2 years ago
- Formally Verified Arguments of Knowledge in Lean☆94Updated last week
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆14Updated 4 months ago
- SMT 2023 Submission; license pending☆56Updated 9 months ago
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- ☆41Updated last year
- ☆30Updated 2 years ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆37Updated 2 years ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆39Updated last month
- A rusty implementation of the Caulk+ lookup algorithm.☆12Updated 2 years ago
- ☆41Updated this week
- ☆12Updated 10 months ago
- Precise Attack Synthesis for DeFi Apps☆47Updated 3 years ago
- zkVM benchmarking for Ethereum☆30Updated this week
- r1cs file format parser☆23Updated last year
- ZK Circuit Fuzzer☆23Updated 3 weeks ago
- Benchmarking Polynomial Commitments☆50Updated 2 years ago
- Vectorized AVX-512 256-bit arithmetic library☆31Updated 11 months ago