foodotbar / Compact-Proofs-of-RetrievabilityLinks
Compact Proofs of Retrievability
☆14Updated 11 years ago
Alternatives and similar repositories for Compact-Proofs-of-Retrievability
Users that are interested in Compact-Proofs-of-Retrievability are comparing it to the libraries listed below
Sorting:
- Verify your NIPoPoWs efficiently, here☆11Updated 3 years ago
- Small repo for implementing the 2018 EUROCRYPT paper "Simple Proofs of Sequential Work" by Cohen and Pietrzak. Also used as part of our C…☆10Updated 7 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…☆13Updated 5 years ago
- ☆15Updated 5 years ago
- distributed RSA modulus generation in Rust☆15Updated 3 years ago
- ☆15Updated 4 years ago
- Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions☆14Updated 2 years ago
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Updated 10 years ago
- Elliptic curve Go reference implementation☆26Updated 11 months ago
- ☆15Updated 6 years ago
- Implements the Barreto-Naehrig (BN) curve as used by Ethereum☆12Updated 6 years ago
- Library for the verification of BGLS signatures on the EVM using Solidity.☆15Updated 7 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Updated 3 years ago
- A Python simulator used to model cross shard transaction strategies for Ethereum 2.0☆11Updated last year
- ☆17Updated 7 years ago
- Algorand's reference implementation of bls signature scheme☆14Updated 5 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 3 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆16Updated 5 years ago
- Implementation of the ZKB++ proof system☆20Updated 6 years ago
- Implementation of the Groth16 zk-SNARK proving system☆21Updated 7 years ago
- ☆11Updated 3 years ago
- Presentations about R1CS☆18Updated 6 years ago
- zkSNARK full flow example in Go☆12Updated 5 years ago
- PVSS & Scrape in rust☆11Updated 5 months ago
- Zcash "Sapling" cryptography gadgets along with additions. Uses our Ethereum compatible bellman under the hood☆15Updated 5 years ago
- BLS working standard draft☆40Updated 6 years ago
- Ethereum Smart Contracts for Arwen payment channels☆14Updated 3 years ago
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf☆14Updated 4 years ago
- Hyrax reference implementation: meta-repo with top-level makefile, etc☆36Updated 7 years ago
- Linearly Homomorphic Time Lock Puzzle Library☆31Updated 5 years ago