Plonky2 implementation of Ed25519
☆11Apr 5, 2024Updated last year
Alternatives and similar repositories for plonky2_ed25519
Users that are interested in plonky2_ed25519 are comparing it to the libraries listed below
Sorting:
- Based Ethereum framework for writing tests in Rust☆12Dec 17, 2023Updated 2 years ago
- Starky implementation of Bls12-381☆13May 16, 2024Updated last year
- A universal, trust-minimized intent settlement protocol.☆18Updated this week
- Cutting edge on-chain dark pool☆20Sep 26, 2025Updated 5 months ago
- IMP1 - Ingonyama Mobile Prover, built with ICICLE☆29Aug 4, 2025Updated 7 months ago
- ECDSA P384 implementation for circom☆17Sep 1, 2024Updated last year
- Circom ASN.1 Parser☆20Jul 22, 2024Updated last year
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆46Jun 9, 2024Updated last year
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 2 years ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆18Mar 3, 2025Updated last year
- ☆24Mar 2, 2025Updated last year
- gECC: A GPU-based high-throughput framework for Elliptic Curve Cryptography☆40Apr 28, 2025Updated 10 months ago
- Web Proofs using zk-SXG☆30Nov 16, 2024Updated last year
- Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇☆29May 30, 2025Updated 9 months ago
- Circom interpreter to arithmetic circuit description☆58Sep 12, 2024Updated last year
- r1cs file format parser☆23May 6, 2024Updated last year
- SDK for Zero Knowledge Proof Verification on Rust based chains☆32Sep 15, 2023Updated 2 years ago
- The all-in-one developer library for building smart contracts on HyperEVM☆106Updated this week
- Circom AES-GCM circuits☆35Feb 12, 2026Updated 3 weeks ago
- Generic AES Implementation in Circom☆25Sep 11, 2024Updated last year
- A backend agnostic modular FHE library over the Torus using bivariate polynomial representation☆53Updated this week
- Framework for holistic economic modelling and simulation of Uniswap v4 strategies, hooks and pools.☆31Nov 23, 2024Updated last year
- ☆32Apr 15, 2024Updated last year
- Oblivious key-value store based on Circuit ORAM☆36Mar 22, 2025Updated 11 months ago
- client side proving☆39Mar 12, 2025Updated 11 months ago
- The first ever NFT collection crafted using the Huff programming language.☆40Mar 27, 2024Updated last year
- A language for building boolean circuits based on TypeScript☆34Jul 9, 2025Updated 8 months ago
- ☆61Updated this week
- Benchmark for adding Lasso lookup argument to halo2 backend☆37Mar 3, 2024Updated 2 years ago
- Beacon Chain from scratch☆44Feb 9, 2023Updated 3 years ago
- SQL Server Always Encrypted Key Store Generic Provider for Key Store Interopearibility between Windows and Linux☆11Oct 24, 2018Updated 7 years ago
- Digital SuperTwin: digital twin of supercomputers☆13Nov 24, 2024Updated last year
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- ☆18Jan 27, 2026Updated last month
- All-in-one environment to use Dria, the collective knowledge for AI.☆14Mar 15, 2024Updated last year
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- ☆13Apr 22, 2024Updated last year
- Solutions to math olympiad problems in Isabelle/HOL☆11May 29, 2021Updated 4 years ago