ZeroProphet / klefkiLinks
Klefki is a playground for researching elliptic curve group based algorithm, such as MPC, ZKP and HE. All data types & structures are based on mathematical defination of abstract algebra.
☆24Updated last year
Alternatives and similar repositories for klefki
Users that are interested in klefki are comparing it to the libraries listed below
Sorting:
- A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.☆160Updated 2 years ago
- Zero Knowledge Proofs Toolkit for CKB☆67Updated 2 years ago
- A Rust library for building R1CS gadgets☆91Updated 3 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆90Updated 2 years ago
- Crypto application code for the zkSNARKs toolbox ZoKrates☆53Updated last year
- Recursive SNARKs based on Plonk and Halo☆116Updated 3 years ago
- Open source implementation of zkSTARKs in pure Rust☆84Updated last year
- altbn128 twisted ewards curve point addion, point multiplicaion, eddsa signature verificaion and pedersen commiments☆68Updated 5 years ago
- Network layer for MPC (Secure Multi-Party Computation) based on Tendermint☆102Updated 4 years ago
- Algorand's reference implementation of bls signature scheme☆50Updated 2 years ago
- The official repository hosting the ZKProof Community Reference & Proposals documents.☆107Updated 3 years ago
- Implementation of the Zcash Orchard Protocol☆55Updated last week
- examples for bellman zk-snarks library☆77Updated 6 years ago
- Implementation of the Jubjub elliptic curve group☆122Updated last year
- zk-STARK for fibonacci sequence in Rust☆37Updated 5 years ago
- Aggregatable Distributed Key Generation☆49Updated 3 years ago
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆58Updated 4 years ago
- ☆116Updated 4 years ago
- ZKProofs website☆90Updated last year
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆54Updated last year
- A collection of Paillier cryptosystem zero knowledge proofs☆120Updated 2 years ago
- yellow paper for roll_up token☆67Updated 6 years ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆57Updated 2 years ago
- An elastic proof system based on arkworks☆85Updated last year
- Zero knowledge succinct arguments of knowledge, written in Rust☆59Updated 3 years ago
- non-custodial exchange build with rollup☆104Updated 2 years ago
- Python-based system for zk-SNARK based verifiable computations and smart contracts☆83Updated 5 years ago
- New repo: https://github.com/privacy-scaling-explorations/perpetualpowersoftau☆133Updated 9 months ago
- Bulletproofs and Bulletproofs+ Rust implementation for Aggregated Range Proofs over multiple elliptic curves☆75Updated 2 years ago
- ☆82Updated 4 years ago