Spire Labs' litepaper (it's pretty based bro)
☆16Oct 31, 2024Updated last year
Alternatives and similar repositories for litepaper
Users that are interested in litepaper are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12May 8, 2024Updated 2 years ago
- All we want is revm and commonware. Leave everything else at the door.☆54May 30, 2026Updated 2 weeks ago
- Rust implementation of KZG point evaluation☆35May 7, 2026Updated last month
- Rust Implementation of Ethereum Binary Tree EIP-7864☆17Jul 13, 2025Updated 11 months ago
- Howitzer is a Fault Proof VM based on the MIPS64 architecture☆14Sep 4, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Herodotus Data Processor using SP1 as backend☆17Jan 27, 2026Updated 4 months ago
- ☆20Jul 10, 2025Updated 11 months ago
- The Spire Based Stack☆24Jun 8, 2026Updated last week
- Bolt: permissionless proposer commitments on Ethereum☆94May 5, 2025Updated last year
- A stateless Ethereum execution client☆34Feb 13, 2026Updated 4 months ago
- A simple TUI to assist in diffing bodies of text☆15May 9, 2024Updated 2 years ago
- A universal, trust-minimized intent settlement protocol.☆23Apr 20, 2026Updated last month
- ☆27Jun 20, 2025Updated 11 months ago
- Cairo-VM STONE STARK Verifier Rust implementation☆44Feb 4, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Suave/TEE PoCs of MEV Resistant AMMs☆45Feb 6, 2025Updated last year
- ☆13Aug 10, 2024Updated last year
- ⚙️ A library for proving PLONKish circuits (halo2) in the EVM.☆11Aug 14, 2023Updated 2 years ago
- Axiom smart contracts☆26Jul 17, 2023Updated 2 years ago
- Signet ecosystem crates☆25May 28, 2026Updated 3 weeks ago
- Lightweight throttle layer for alloy providers☆16Mar 10, 2025Updated last year
- ☆15Aug 29, 2024Updated last year
- Ethereum Lean client in Zig (wip)☆95Updated this week
- Source code, exercises from the book "Mastering Concurrency in Go" by Nathan Kozyra☆15Jun 24, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An SDK for building trust infrastructure☆14Nov 15, 2024Updated last year
- Generalized EIP-3074 Invoker with batch transaction support.☆17Apr 27, 2024Updated 2 years ago
- ☆32Oct 27, 2025Updated 7 months ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆29May 4, 2026Updated last month
- Circom arithmetic circuits and concepts explained, in depth.☆31May 26, 2025Updated last year
- ☆15Jun 1, 2026Updated 2 weeks ago
- Scikit-learn compatible Python library for generating ZK proofs of execution☆19Feb 19, 2025Updated last year
- Parallel EVM inspired by BlockSTM☆38Jun 9, 2026Updated last week
- Zig EVM☆34Nov 22, 2025Updated 6 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆39Jul 30, 2025Updated 10 months ago
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆18Sep 10, 2024Updated last year
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated last year
- revm/reth block proving on Valida☆14Feb 11, 2025Updated last year
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13May 9, 2025Updated last year
- plonky2 implementation of bn254 pairing☆19Feb 1, 2024Updated 2 years ago
- An API compatible port of the Stone prover.☆20Nov 4, 2024Updated last year