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 last month
- Rust implementation of KZG point evaluation☆35May 7, 2026Updated 2 months ago
- 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Herodotus Data Processor using SP1 as backend☆17Jan 27, 2026Updated 5 months ago
- ☆20Jul 10, 2025Updated 11 months ago
- The Spire Based Stack☆24Jun 8, 2026Updated last month
- 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.☆24Apr 20, 2026Updated 2 months ago
- ☆27Jun 20, 2025Updated last year
- Cairo-VM STONE STARK Verifier Rust implementation☆44Feb 4, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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 last month
- Lightweight throttle layer for alloy providers☆16Mar 10, 2025Updated last year
- ☆15Aug 29, 2024Updated last year
- Ethereum Lean client in Zig (wip)☆97Updated this week
- Source code, exercises from the book "Mastering Concurrency in Go" by Nathan Kozyra☆15Jun 24, 2017Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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 8 months ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆32May 4, 2026Updated 2 months ago
- Circom arithmetic circuits and concepts explained, in depth.☆31May 26, 2025Updated last year
- ☆15Jun 1, 2026Updated last month
- Scikit-learn compatible Python library for generating ZK proofs of execution☆19Feb 19, 2025Updated last year
- Parallel EVM inspired by BlockSTM☆38Jul 1, 2026Updated last week
- Zig EVM☆35Nov 22, 2025Updated 7 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆40Jul 30, 2025Updated 11 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 2 years ago
- 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