Herodotus Data Processor using SP1 as backend
☆17Jan 27, 2026Updated 9 months ago
Alternatives and similar repositories for hdp-sp1
Users that are interested in hdp-sp1 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Projects from the Succinct ZK Residency☆22Oct 23, 2024Updated 2 years ago
- implentation of Ligerito☆20Apr 16, 2026Updated 6 months ago
- Generalized EIP-3074 Invoker with batch transaction support.☆17Apr 27, 2024Updated 2 years ago
- A simple TUI to assist in diffing bodies of text☆14May 9, 2024Updated 2 years ago
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13May 9, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆16Apr 25, 2023Updated 3 years ago
- ☆12Sep 6, 2023Updated 3 years ago
- Step by step implementation of FRI☆13Feb 9, 2025Updated last year
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated 2 years ago
- Spire Labs' litepaper (it's pretty based bro)☆16Oct 31, 2024Updated 2 years ago
- ☆11Sep 10, 2024Updated 2 years ago
- Rust library for building and interacting with AWS Nitro enclaves.☆19Updated this week
- ☆10Apr 23, 2026Updated 6 months ago
- ☆48Dec 10, 2025Updated 10 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆16Jul 10, 2025Updated last year
- A ZK-VM for the Brainfuck language, based on Stwo☆35Apr 3, 2025Updated last year
- Aims to create various ZK verifiers on Starknet for network growth☆18Nov 19, 2025Updated 11 months ago
- revm/reth block proving on Valida☆14Feb 11, 2025Updated last year
- WebGPU MSM implementation☆15Oct 28, 2025Updated last year
- ⚙️ A library for proving PLONKish circuits (halo2) in the EVM.☆11Aug 14, 2023Updated 3 years ago
- ☆32Oct 27, 2025Updated last year
- ☆14Oct 27, 2023Updated 3 years ago
- ☆14May 19, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆12Sep 11, 2024Updated 2 years ago
- Formal Verification for Ethereum☆10Oct 29, 2026Updated last week
- ☆14Dec 26, 2024Updated last year
- Minimal Merkle Tree implementations☆30Jun 13, 2025Updated last year
- Curta Challenge☆16Apr 15, 2023Updated 3 years ago
- Experimental implementation of Sumcheck protocol using CUDA☆23Nov 14, 2024Updated last year
- ☆40Jul 30, 2025Updated last year
- A king-of-the-hill style competition, where players optimize gas challenges.☆21Mar 8, 2024Updated 2 years ago
- bottom text☆16Jan 26, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆12Dec 12, 2025Updated 10 months ago
- Rust implementation of KZG point evaluation☆36Oct 23, 2026Updated 2 weeks ago
- Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposes.☆12May 27, 2024Updated 2 years ago
- 🔥 flamegraphs for solidity☆35Sep 11, 2024Updated 2 years ago
- Mozak RISC-V Virtual Machine☆24Mar 24, 2025Updated last year
- verify cairo execution in Halo2☆15Sep 12, 2023Updated 3 years ago
- We're living in Obfustopia☆28Jan 2, 2025Updated last year