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 algorithm for computing all N proofs in KZG-based VCs. Lastly, benchmarks.
☆13Dec 3, 2020Updated 5 years ago
Alternatives and similar repositories for libvectcom
Users that are interested in libvectcom are comparing it to the libraries listed below
Sorting:
- Argument systems for inner pairing products☆44Jul 31, 2024Updated last year
- Rust implementation of Zcash multi-signautres☆13Jun 23, 2019Updated 6 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- ☆47Apr 7, 2023Updated 2 years ago
- ☆13Aug 7, 2023Updated 2 years ago
- [wip] implementing origami VDF☆13Mar 1, 2023Updated 3 years ago
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf☆14Jan 4, 2022Updated 4 years ago
- Elliptic curve search experiments☆35Mar 6, 2023Updated 3 years ago
- fft impl for ff::Field☆17May 9, 2024Updated last year
- ☆15Sep 28, 2020Updated 5 years ago
- Aggregatable Distributed Key Generation☆49Apr 6, 2022Updated 3 years ago
- ☆19May 5, 2020Updated 5 years ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- Fast and simple constant-time hashing to the BLS12-381 elliptic curve☆44Mar 13, 2020Updated 6 years ago
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated 2 years ago
- Reference implementation of Squirrel, an Efficient Synchronized Multi-Signatures from Lattices☆24Dec 13, 2023Updated 2 years ago
- A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq☆25Jan 21, 2021Updated 5 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
- ☆11Aug 20, 2024Updated last year
- Compact linkable ring signatures. A modification on MLSAG.☆19May 10, 2020Updated 5 years ago
- Go module for https://github.com/celo-org/bls-zexe/☆13Feb 2, 2024Updated 2 years ago
- Algorand's reference implementation of bls signature scheme☆14Sep 7, 2020Updated 5 years ago
- a web page / paper☆18Feb 24, 2017Updated 9 years ago
- A substrate pallet that enables Manta's decentialized anynonymous payment (MantaPay) protocol.☆28Mar 2, 2022Updated 4 years ago
- SageMath library for constructing elliptic curves☆74Jul 14, 2023Updated 2 years ago
- A proof-of-concept for stateless Bitcoin nodes.☆30Apr 18, 2019Updated 6 years ago
- Cairo1 execution in Cairo0 environment☆11Jul 14, 2024Updated last year
- Presentations about R1CS☆19May 1, 2019Updated 6 years ago
- FS-DKR: One Round Distributed Key Rotation☆34Oct 20, 2023Updated 2 years ago
- Deterministic And Verifiable Randomness On Schnorr signatures☆12Nov 18, 2017Updated 8 years ago
- Hackathon project for Snarky workshop.☆11Jun 21, 2019Updated 6 years ago
- Generate Noir code through python☆13Aug 14, 2023Updated 2 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- Parses https://eprint.iacr.org/eprint-bin/search.pl?last=365&title=1 and sends you an email with the latest papers☆15Nov 11, 2020Updated 5 years ago
- ☆20Dec 24, 2019Updated 6 years ago
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Jan 10, 2016Updated 10 years ago
- Results of a recent FOIA for NIST documents related to the design of Dual EC DRBG. Via EFF and Rep. Grayson's office. See README for deta…☆24Feb 10, 2015Updated 11 years ago