Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342
☆16Jan 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:
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- efficient modular multiplication research☆15Feb 8, 2023Updated 3 years ago
- https://eprint.iacr.org/2020/1516.pdf☆19Jan 2, 2023Updated 3 years ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆25Oct 19, 2021Updated 4 years ago
- ☆16Mar 11, 2024Updated last year
- Let's go https://eprint.iacr.org/2022/1763.pdf☆61May 22, 2023Updated 2 years ago
- Mozak RISC-V Virtual Machine☆25Mar 24, 2025Updated 11 months ago
- ☆49Feb 12, 2026Updated 2 weeks ago
- Early prototype.☆23Mar 30, 2023Updated 2 years ago
- A minimal KZG polynominal commitment library with a Solidity verifier☆72Aug 19, 2023Updated 2 years ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- Minimal Ethereum RPC Client in Rust☆11Nov 18, 2023Updated 2 years ago
- Batching zero over k checks☆11Feb 11, 2023Updated 3 years ago
- My playgrounderino for starkneterino☆13Nov 24, 2021Updated 4 years ago
- ☆11Aug 20, 2024Updated last year
- 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
- Gas-efficient and blazing fast proving for private signaling☆81Feb 3, 2024Updated 2 years ago
- Benchmarking Polynomial Commitments☆51Jul 3, 2023Updated 2 years ago
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆103Sep 12, 2023Updated 2 years ago
- ☆15Nov 22, 2025Updated 3 months ago
- ☆11Feb 6, 2024Updated 2 years ago
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated 6 months ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- Designatived verifier Schnorr signatures☆13Nov 4, 2022Updated 3 years ago
- ☆15Jul 8, 2021Updated 4 years ago
- Automata Multi-Prover AVS☆12Jan 17, 2025Updated last year
- Delve into low-level RISC Zero machine☆30Dec 25, 2023Updated 2 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Mar 6, 2025Updated 11 months ago
- Evaluating & benchmarking ZKP compilation strategies.☆121Dec 19, 2023Updated 2 years ago
- Solves systems of polynomial equations.☆30Sep 12, 2025Updated 5 months ago
- Notes for the R1CS programming workshop at ZK0x04☆31Oct 26, 2019Updated 6 years ago
- A basic example for how to use hashes to "store" complex objects as hashes. Inspired by 0xSplits.☆13Jul 30, 2022Updated 3 years ago
- Frobenius sumcheck for vectorized boolean ops☆56Apr 12, 2025Updated 10 months ago
- Materials and slides for talks I've given in the past☆15Feb 20, 2026Updated last week
- TEE stack for Seismic☆17Updated this week
- ☆13Aug 22, 2022Updated 3 years ago
- Efficient Anonymous Tokens with Private Metadata Bit☆15Mar 7, 2023Updated 2 years ago
- Witness encryption for KZG openings☆33Nov 6, 2024Updated last year