☆21Aug 23, 2024Updated last year
Alternatives and similar repositories for poseidon-lite
Users that are interested in poseidon-lite are comparing it to the libraries listed below
Sorting:
- ☆14Dec 13, 2024Updated last year
- ☆18Feb 16, 2026Updated 2 weeks ago
- The PSE website☆26Updated this week
- Gas efficient Poseidon2 hash on EVM☆23Feb 14, 2026Updated 2 weeks ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- ☆12Dec 12, 2025Updated 2 months ago
- Poseidon hash function implemented in Solidity☆59Aug 14, 2024Updated last year
- Verifiable FHE with GKR☆28Oct 5, 2024Updated last year
- ☆31Oct 27, 2025Updated 4 months ago
- ☆18Jul 16, 2025Updated 7 months ago
- Cutting edge on-chain dark pool☆20Sep 26, 2025Updated 5 months ago
- A monorepo of reusable crates for zero-knowledge technologies.☆21Feb 8, 2026Updated 3 weeks ago
- Extracting the semantics of Noir to Lean for formal verification☆36Updated this week
- Proving physical interactions with digital signatures☆33Aug 1, 2024Updated last year
- ☆24Mar 2, 2025Updated last year
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆22Nov 6, 2024Updated last year
- Anonymous Proof of Ethereum Address Ownership☆43Sep 23, 2024Updated last year
- ☆23Mar 8, 2024Updated last year
- Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reu…☆27Aug 8, 2025Updated 6 months ago
- An unofficial Hardhat plugin for working with circuits written in Noir☆12May 22, 2023Updated 2 years ago
- A library that enables to create provable play-by-email games, leveraging Zero-Knowledge proofs.☆11Dec 5, 2024Updated last year
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated 11 months ago
- Semaphore v4 implemented in Rust☆10Oct 7, 2025Updated 4 months ago
- Library built from scratch to implement zk-protocols☆13Dec 13, 2023Updated 2 years ago
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆48May 7, 2025Updated 9 months ago
- Noir support for Zed☆11May 3, 2024Updated last year
- Elliptic curve operations written in rust.☆13Jul 16, 2024Updated last year
- MPC with ESP32 hardware devices, using Arduino C++☆11Jan 14, 2025Updated last year
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆28Dec 19, 2024Updated last year
- ☆43Oct 26, 2024Updated last year
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆21Feb 18, 2026Updated last week
- implentation of Ligerito☆19Nov 9, 2025Updated 3 months ago
- Easy setup for Halo2 ZK circuits☆15Jun 6, 2024Updated last year
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆14Aug 13, 2025Updated 6 months ago
- ☆12Oct 4, 2023Updated 2 years ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Apr 27, 2025Updated 10 months ago
- Groth16 over ICICLE☆44Jul 16, 2025Updated 7 months ago
- ☆26Apr 15, 2025Updated 10 months ago