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.
☆24Sep 11, 2023Updated 2 years ago
Alternatives and similar repositories for klefki
Users that are interested in klefki are comparing it to the libraries listed below
Sorting:
- ☆16Aug 1, 2020Updated 5 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆16Mar 4, 2020Updated 6 years ago
- ☆25Feb 25, 2026Updated last week
- ☆13Dec 3, 2021Updated 4 years ago
- Contracts for RIDL☆16Feb 8, 2020Updated 6 years ago
- sha256(sha256(preimage)) in zk☆15May 12, 2021Updated 4 years ago
- A Black Magic for support obj.__assign__ method'☆16Dec 21, 2025Updated 2 months ago
- Experimental fork of libsecp256k1 with support for pedersen commitments and range proofs.☆35Apr 30, 2023Updated 2 years ago
- Puzzles using ZKP☆18Mar 7, 2023Updated 2 years ago
- toy implementation of bfv in rust☆27Apr 21, 2022Updated 3 years ago
- It provides helper functions to test the maple-core contracts.☆25Jan 27, 2023Updated 3 years ago
- Python3 implementation of Bulletproofs - non-interactive zero-knowledge proof protocol with very short proofs and without a trusted setup…☆28Dec 8, 2022Updated 3 years ago
- Some tips for new learners of ZKP☆28Dec 31, 2020Updated 5 years ago
- Source code for MLSys 2022 submission "LightSecAgg: a Lightweight and Versatile Design for Secure Aggregation in Federated Learning"☆28Oct 25, 2021Updated 4 years ago
- A PoC for a zkSnark-based mixer on Ethereum (adapted from Miximus)☆28Dec 8, 2022Updated 3 years ago
- Documentation of bixin/haobtc's open platform☆26Apr 26, 2019Updated 6 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆41May 29, 2021Updated 4 years ago
- zkPoD: A decentralized system for perfect fair data exchange☆213May 21, 2023Updated 2 years ago
- group signatures implemented with zkSNARKs☆85Dec 5, 2021Updated 4 years ago
- The Decentralized Protocol for Interest-Rate Derivatives & Fixed-Rate Lending☆11May 7, 2021Updated 4 years ago
- ☆10Jul 22, 2024Updated last year
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago
- Decentralised Energy Market☆12Feb 19, 2018Updated 8 years ago
- Payment rails made right. Award winning developer experience.☆28Jan 27, 2026Updated last month
- Pinsurance is peer to peer car insurance platform.☆10Sep 24, 2023Updated 2 years ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆14Feb 14, 2026Updated 2 weeks ago
- ☆10Nov 18, 2021Updated 4 years ago
- A Golang Implementation of a non-interactive Schnorr ZKP over Elliptic Curves☆10Sep 1, 2019Updated 6 years ago
- Vector search with Pinecone and Openai to search through contract law textbook. If downloaded, remeber to install all dependencies. Refer…☆13Mar 30, 2023Updated 2 years ago
- Decentralized/blokchain-based real-estate listing project using ERC721 (NFT), zero-knowledge proofs (zk-SNARKS / ZoKrates), and open mark…☆10Jan 1, 2022Updated 4 years ago
- ZKProofs website☆90Oct 25, 2023Updated 2 years ago
- ckb miner for avx2 cpu, avx512 cpu and GPU☆32Jun 10, 2021Updated 4 years ago
- A blazing-fast, scalable, and easy-to-setup service that tracks Ethereum validator performance using public beacon chain data.☆36Jan 14, 2026Updated last month
- Armiarma is a Libp2p open-network crawler with a current focus on Ethereum's CL network☆49Jan 18, 2026Updated last month
- NativeScript plugin using the TelegramGallery Image Picker library for a customized image picker☆10Feb 17, 2017Updated 9 years ago
- Algorand Implementation☆11Oct 3, 2017Updated 8 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- ☆10Dec 11, 2020Updated 5 years ago