Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342
☆17Jan 5, 2023Updated 3 years ago
Alternatives and similar repositories for functional-commitment
Users that are interested in functional-commitment are comparing it to the libraries listed below
Sorting:
- ☆16Mar 11, 2024Updated 2 years ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- Batching zero over k checks☆11Feb 11, 2023Updated 3 years ago
- Gas-efficient and blazing fast proving for private signaling☆81Feb 3, 2024Updated 2 years ago
- Benchmarking Polynomial Commitments☆51Jul 3, 2023Updated 2 years ago
- https://eprint.iacr.org/2020/1516.pdf☆19Jan 2, 2023Updated 3 years ago
- Let's go https://eprint.iacr.org/2022/1763.pdf☆62May 22, 2023Updated 2 years ago
- ☆49Mar 13, 2026Updated last week
- efficient modular multiplication research☆15Feb 8, 2023Updated 3 years ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆25Oct 19, 2021Updated 4 years ago
- My playgrounderino for starkneterino☆13Nov 24, 2021Updated 4 years ago
- Mozak RISC-V Virtual Machine☆25Mar 24, 2025Updated 11 months ago
- Early prototype.☆23Mar 30, 2023Updated 2 years ago
- A FRI verifier circuit for the Halo2 proof system☆77Feb 22, 2023Updated 3 years ago
- Solves systems of polynomial equations.☆30Sep 12, 2025Updated 6 months ago
- Implementation of Plonk by Hand in rust☆62Feb 28, 2024Updated 2 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆121Dec 19, 2023Updated 2 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- ☆11Jan 28, 2023Updated 3 years ago
- ☆15Jul 8, 2021Updated 4 years ago
- One of the fastest embeddable key-value ACID database without WAL. libmdbx surpasses the legendary LMDB in terms of reliability, features…☆12Feb 24, 2023Updated 3 years ago
- A minimal KZG polynominal commitment library with a Solidity verifier☆72Aug 19, 2023Updated 2 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- Frobenius sumcheck for vectorized boolean ops☆56Apr 12, 2025Updated 11 months ago
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆103Sep 12, 2023Updated 2 years ago
- ☆124Nov 30, 2024Updated last year
- Minimal Ethereum RPC Client in Rust☆11Nov 18, 2023Updated 2 years ago
- ☆33Sep 22, 2023Updated 2 years ago
- Private multisig with hidden owners☆235Sep 23, 2023Updated 2 years ago
- Fast implementation of multi-scalar multiplication in WebAssembly☆34Dec 2, 2024Updated last year
- A web tool that helps you compare and visualize the performance of cryptographic operations☆94Jan 27, 2026Updated last month
- ☆11Feb 6, 2024Updated 2 years ago
- ☆38Feb 11, 2022Updated 4 years ago
- Old, obsolete version of the Valida compiler; its replacement will become public later☆52Aug 31, 2023Updated 2 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Mar 6, 2025Updated last year
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated 6 months ago
- ☆13Aug 22, 2022Updated 3 years ago
- Delve into low-level RISC Zero machine☆30Dec 25, 2023Updated 2 years ago