ucbrise / jedi-pairingView external linksLinks
Go, C++, and C implementation of a bilinear group and pairing-based cryptography for both embedded and non-embedded systems
☆38Jan 28, 2023Updated 3 years ago
Alternatives and similar repositories for jedi-pairing
Users that are interested in jedi-pairing are comparing it to the libraries listed below
Sorting:
- Golang implementation of JEDI: Many-to-Many End-to-End Encryption and Key Delegation for IoT☆15Aug 8, 2019Updated 6 years ago
- C library for bilinear pairings☆26Jun 12, 2017Updated 8 years ago
- ☆10Jan 7, 2024Updated 2 years ago
- ☆12Oct 4, 2023Updated 2 years ago
- ☆11Feb 6, 2024Updated 2 years ago
- Implementation of various primitives for bellman using CUDA (WIP)☆28Jul 20, 2019Updated 6 years ago
- Elliptic curve pairing in Python☆57Jul 31, 2020Updated 5 years ago
- Circom circuits library for magnificent ZK applications☆14Jun 4, 2025Updated 8 months ago
- ☆137May 13, 2020Updated 5 years ago
- Low-level language for encoding AIR of computations☆38May 7, 2023Updated 2 years ago
- A research project on isomorphisms of finite fields☆16Jun 15, 2018Updated 7 years ago
- Version 2 of ZKaggle, 🏆 Finalist of ETHGlobal FVM Space Warp Hack☆16Jul 12, 2023Updated 2 years ago
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆15Apr 4, 2025Updated 10 months ago
- elliptic curve construction tool☆17Feb 24, 2023Updated 2 years ago
- Supplementary cryptography libraries☆16May 23, 2022Updated 3 years ago
- A list of worth-reading articles about Cryptohraphy☆16Jul 24, 2024Updated last year
- Automated verification of uniqueness property for ZKP circuits☆45Jun 6, 2024Updated last year
- Argument systems for inner pairing products☆44Jul 31, 2024Updated last year
- DEPRECATED☆22Jan 18, 2021Updated 5 years ago
- Implementation of incrementally verifiable ledger system☆18Mar 24, 2021Updated 4 years ago
- Package bn256 implements a particular bilinear group.☆131Nov 20, 2025Updated 2 months ago
- Differential fuzzing for elliptic curves☆24Sep 6, 2023Updated 2 years ago
- 382 Slayer Leecher Keywords.☆10Apr 19, 2021Updated 4 years ago
- Polyhedra ZK knowledge base☆25Oct 28, 2024Updated last year
- An experimental library for PDP and POR☆31Feb 3, 2021Updated 5 years ago
- C++ library for Finite Fields and Elliptic Curves☆168Oct 5, 2021Updated 4 years ago
- Aggregate and Multi Signatures based on BGLS over BN256 and BLS12-381☆62Mar 25, 2022Updated 3 years ago
- ☆33Mar 27, 2024Updated last year
- ☆27May 20, 2022Updated 3 years ago
- Futhark implementation of neptune-compatible Poseidon.☆27Apr 4, 2021Updated 4 years ago
- Privacy preserving vertical federated learning for tree-based models☆30Nov 11, 2021Updated 4 years ago
- MAGE: Memory-Aware Garbling Engine☆26Jul 29, 2024Updated last year
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆76Feb 14, 2023Updated 3 years ago
- A new GC for Nim. Supports shared memory, gives complete control over what is happening. Easily tweakable for your needs.☆27Sep 20, 2020Updated 5 years ago
- This repo is DEPRECATED. Check our newer Android SDK☆10Apr 3, 2019Updated 6 years ago
- ☆27Jan 12, 2022Updated 4 years ago
- Generator and supporting evidence for security of the Pluto/Eris half-pairing cycle of elliptic curves☆31Apr 18, 2021Updated 4 years ago
- SageMath library for constructing elliptic curves☆74Jul 14, 2023Updated 2 years ago
- An elastic proof system based on arkworks☆85Dec 21, 2023Updated 2 years ago