ingonyama-zk / fast-dankshardingView external linksLinks
Danksharding Builder with GPU acceleration
☆52Sep 10, 2023Updated 2 years ago
Alternatives and similar repositories for fast-danksharding
Users that are interested in fast-danksharding are comparing it to the libraries listed below
Sorting:
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover☆78Updated this week
- neural network inference standard for zero-knowledge-proof systems☆34Oct 9, 2023Updated 2 years ago
- blaze is a Rust library for ZK acceleration on Xilinx FPGAs.☆144Oct 22, 2024Updated last year
- ☆12Sep 11, 2024Updated last year
- A repository for the Leela VS the World project for On-Chain machine learning☆20Sep 26, 2024Updated last year
- A hardware acceleration library for compute intensive cryptography☆481Nov 10, 2025Updated 3 months ago
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Jan 3, 2024Updated 2 years ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Apr 6, 2023Updated 2 years ago
- ☆17Feb 13, 2023Updated 3 years ago
- comparing the performance of different zero-knowledge proof libraries☆134Oct 15, 2023Updated 2 years ago
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆28Nov 7, 2023Updated 2 years ago
- Groth16 over ICICLE☆43Jul 16, 2025Updated 7 months ago
- Benchmark of multiple zk implementations.☆83Aug 3, 2023Updated 2 years ago
- Library and gadget to do regex string matches in halo2☆35Jul 25, 2024Updated last year
- An implementation of ZKBoo☆33May 10, 2022Updated 3 years ago
- Minimal template for using the Arbiter framework for simulations.☆46Jan 9, 2025Updated last year
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 2 years ago
- A PoC repo for a HyperNova impl☆83Aug 23, 2023Updated 2 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆121Dec 19, 2023Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Aug 28, 2023Updated 2 years ago
- Testudo: Spartan + Groth16☆53Feb 21, 2024Updated last year
- High-performance Multi-scalar Multiplication for Pasta curves☆24Sep 6, 2025Updated 5 months ago
- compiler tooling for Stark-based zkVMs☆16Feb 6, 2023Updated 3 years ago
- A FRI verifier circuit for the Halo2 proof system☆77Feb 22, 2023Updated 2 years ago
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated last year
- Nova: Recursive SNARKs without trusted setup☆44Aug 21, 2023Updated 2 years ago
- A multi-mode op-stack challenge agent for dispute games written in golang.☆30Apr 6, 2023Updated 2 years ago
- Verifying a 512-layer CNN w/ Nova☆171May 5, 2023Updated 2 years ago
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆31Feb 16, 2024Updated 2 years ago
- Demonstrate zero cost memory transfer between CPU and GPU in Metal (for apple silicon)☆20Feb 2, 2025Updated last year
- An instantiation of the Poseidon hash for use with decaf377☆29Mar 6, 2025Updated 11 months ago
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 2 years ago
- ☆15Sep 20, 2025Updated 4 months ago
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Updated this week
- Moved to https://github.com/ethereum/kzg-ceremony-sequencer☆17Sep 15, 2022Updated 3 years ago
- ☆15Jan 5, 2024Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆17May 4, 2023Updated 2 years ago
- ☆94Aug 19, 2024Updated last year