☆47Apr 7, 2023Updated 2 years ago
Alternatives and similar repositories for pointproofs
Users that are interested in pointproofs are comparing it to the libraries listed below
Sorting:
- This is a fork of pairing library with additional efficiency functionality improvement.☆19Dec 25, 2022Updated 3 years ago
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Dec 3, 2020Updated 5 years ago
- ☆13Feb 14, 2020Updated 6 years ago
- A substrate pallet that enables Manta's decentialized anynonymous payment (MantaPay) protocol.☆28Mar 2, 2022Updated 4 years ago
- ☆32Nov 2, 2025Updated 4 months ago
- A Go library for MerkleSquare: A Low-Latency Transparency Log System☆23Apr 27, 2021Updated 4 years ago
- ☆22Dec 19, 2024Updated last year
- Blind signatures over secp256k1 elliptic curve☆17May 17, 2022Updated 3 years ago
- Nova: Recursive SNARKs without trusted setup☆44Aug 21, 2023Updated 2 years ago
- The "algo" DID Method specification and tools.☆20Mar 3, 2026Updated 2 weeks ago
- Argument systems for inner pairing products☆44Jul 31, 2024Updated last year
- A zk-SNARK for randomized algorithms + linear-size universal circuits (https://eprint.iacr.org/2020/278)☆18Jan 24, 2021Updated 5 years ago
- ☆15Sep 28, 2020Updated 5 years ago
- A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.☆13Dec 20, 2019Updated 6 years ago
- ring-vrf ring proof v2.5☆20Mar 5, 2026Updated 2 weeks ago
- Elliptic curve search experiments☆35Mar 6, 2023Updated 3 years ago
- ☆20Dec 24, 2019Updated 6 years ago
- Accumulators and Vector Commitments☆42Dec 7, 2022Updated 3 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- ☆19May 5, 2020Updated 5 years ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Jan 22, 2023Updated 3 years ago
- Libra zero knowledge proof system☆55Mar 16, 2023Updated 3 years ago
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated 2 years ago
- A Solidity implementation of Halo2's Pasta curves☆50Mar 30, 2023Updated 2 years ago
- Proof-of-concept implementation of the (V)OPRF protocol in https://datatracker.ietf.org/doc/draft-irtf-cfrg-voprf/☆23Aug 24, 2020Updated 5 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆16Mar 4, 2020Updated 6 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Oct 16, 2023Updated 2 years ago
- FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*☆94Nov 29, 2023Updated 2 years ago
- Threshold Logical Clocks and Que Sera Consensus☆28Jul 27, 2023Updated 2 years ago
- Cryptographic protocols☆38Apr 19, 2023Updated 2 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆41May 29, 2021Updated 4 years ago
- A go implementation of Verkle trees☆236Jan 2, 2026Updated 2 months ago
- ☆114Feb 6, 2024Updated 2 years ago
- A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq☆25Jan 21, 2021Updated 5 years ago
- ☆12Jan 12, 2023Updated 3 years ago
- Implementing Bendersnatch curve using Arkwork's framework in Rust.☆14Oct 28, 2021Updated 4 years ago
- Batching zero over k checks☆11Feb 11, 2023Updated 3 years ago
- BLS working standard draft☆39Aug 8, 2019Updated 6 years ago