Sublinear-space ZKP system in Rust: a streaming prover that uses only O(√T) memory to commit wires/Z/Q via KZG (BN254) with blocked IFFT and aggregate-only Fiat–Shamir. Supports eval/coeff bases, deterministic dev SRS, and pairing checks. Includes CLI prover/verifier and tests.
☆47Nov 12, 2025Updated 3 months ago
Alternatives and similar repositories for space-efficient-zero-knowledge-proofs
Users that are interested in space-efficient-zero-knowledge-proofs are comparing it to the libraries listed below
Sorting:
- A Bullish Shell for a Basic Bitcoin Lisp Language☆17Jul 8, 2025Updated 7 months ago
- ☆21Feb 19, 2026Updated 2 weeks ago
- Raspberry Pi CM4 based antminer control board☆23Mar 28, 2024Updated last year
- Powering Verifiable Computation for Nostr Data Vending Machines.☆25Dec 4, 2024Updated last year
- A Non-Custodial Bitcoin Lightning Wallet☆27Feb 15, 2024Updated 2 years ago
- ☆28Jan 12, 2026Updated last month
- documentation used in my projects☆16Updated this week
- Simple cash back to reward the people that use LaCard of LaWallet.☆15Sep 20, 2024Updated last year
- Reference implementation of Curve25519 and Curve448 as specified in RFC7748☆10Jun 22, 2019Updated 6 years ago
- 🔒 World's most secure P2P messenger. End-to-end encrypted, zero-server architecture, quantum-resistant roadmap. WebRTC direct connection…☆28Jan 7, 2026Updated 2 months ago
- A Python interface to Canary Lab's historian☆14Aug 19, 2025Updated 6 months ago
- Rails engine for automating GDPR processes☆13Mar 15, 2024Updated last year
- ☆10Jul 15, 2024Updated last year
- NAIJA OSINT INTEL is a comprehensive open-source intelligence gathering tool specifically designed for Nigerian cybersecurity professiona…☆19Aug 21, 2025Updated 6 months ago
- ☆10Jan 25, 2019Updated 7 years ago
- ☆13Feb 24, 2026Updated last week
- A studio for OpenStreetMap development & deisgn☆13Aug 11, 2025Updated 6 months ago
- btc_testnet4☆10Sep 11, 2024Updated last year
- Real-Time equilibrium reconstruction code☆15Jan 29, 2026Updated last month
- Tupelo reference signer implementation☆14Sep 29, 2020Updated 5 years ago
- CypherFlow.ai is a cutting-edge Open Source platform providing private, AI conversations powered by Bitcoin micropayments. Experience unc…☆19Aug 11, 2025Updated 6 months ago
- Fully Local Push-to-Transcribe☆18Nov 6, 2025Updated 4 months ago
- ☆11Jul 12, 2024Updated last year
- Where we learn together about MY₿ONK's NixOS automagic.☆15Updated this week
- BLFS: Bitcoin Lightning For Shopify☆13Nov 18, 2025Updated 3 months ago
- ☆17Aug 5, 2025Updated 7 months ago
- The repository of events for Bitcoin Holiday site☆11Jul 31, 2025Updated 7 months ago
- Clean, simple, hackable ml framework in rust. Supports metal and cuda☆81Dec 16, 2025Updated 2 months ago
- SECD machine and Lispkit Lisp compiler, in Python☆14Oct 25, 2017Updated 8 years ago
- Code for paper: Optimizing Length Compression in Large Reasoning Models☆27Oct 20, 2025Updated 4 months ago
- MSIEVE: A Library for Factoring Large Integers☆14Apr 7, 2023Updated 2 years ago
- Adapter for Discourse☆12Dec 10, 2022Updated 3 years ago
- Social card generator☆13Feb 28, 2015Updated 11 years ago
- A simple package for leveraging Falcon 180B and the HF ecosystem's tools, including training/inference scripts, safetensors, integrations…☆12Mar 11, 2024Updated last year
- Knapsack algorithms☆10Dec 23, 2018Updated 7 years ago
- all that favours real-time democracy☆15Aug 7, 2022Updated 3 years ago
- ☆49Nov 28, 2025Updated 3 months ago
- Generatrum Linguarum, a conlang word generator library☆11Mar 28, 2023Updated 2 years ago
- React components & hooks for building a radial wheel menu☆23Aug 8, 2025Updated 6 months ago