ing-bank / zkkrypto
Collection of ZKP-related cryptographic primitives
☆12Updated 3 years ago
Alternatives and similar repositories for zkkrypto:
Users that are interested in zkkrypto are comparing it to the libraries listed below
- ☆15Updated 3 years ago
- ☆15Updated 4 years ago
- Verify your NIPoPoWs efficiently, here☆10Updated 2 years ago
- Simple RSA VDF in Rust☆19Updated 3 years ago
- Algorand's reference implementation of bls signature scheme☆13Updated 4 years ago
- ☆8Updated 6 years ago
- Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve☆20Updated 3 years ago
- TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation☆14Updated 2 years ago
- ☆29Updated 5 months ago
- Numerology: Optimized ECC arithmetic library for secp256k1 in Solidity☆12Updated 6 years ago
- ☆9Updated 5 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 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 4 years ago
- MPC implementation for a structured reference string (SRS) generation for SONIC proof system☆24Updated 6 years ago
- Reference implementation of Squirrel, an Efficient Synchronized Multi-Signatures from Lattices☆24Updated last year
- ☆22Updated 3 months ago
- Scriptless atomic cross-chain (and cross-curve) swap protocol based on a fair exchange of secrets.☆33Updated 4 years ago
- Website!☆22Updated 2 years ago
- ☆15Updated 5 years ago
- zkSNARKs for Bitcoin transaction inclusion proofs on Ethereum via ZoKrates☆11Updated 5 years ago
- Khalil, R. and Dulay, N. 2021. 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services. Adaptive layer…☆10Updated 4 years ago
- ☆26Updated 2 years ago
- Blind signatures over elliptic curve implementation (native & r1cs constraints).☆13Updated 2 years ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Updated last year
- Huff implementation of the BabyJubJub curve☆13Updated 5 years ago
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 5 years ago
- ☆12Updated 4 years ago
- Batch verifier for zkSNARKs☆10Updated 2 years ago
- a sketch of what a zkvm could look like☆26Updated 3 years ago
- A method to deploy a quarantined zcashd testnet with monitoring.☆16Updated 3 years ago