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.
☆50Jul 27, 2026Updated last month
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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mevpanda server☆16Aug 10, 2023Updated 3 years ago
- An Efficient and Privacy preserving implementation for the Set membership problem using Rsa Accumulators coupled with Commit-Prove-Snark☆12Feb 24, 2024Updated 2 years ago
- ☆17Oct 9, 2024Updated last year
- Zero-knowledge Range Proof☆16Nov 16, 2017Updated 8 years ago
- MOVED TO GITLAB☆14Jul 15, 2017Updated 9 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.
- Raspberry Pi CM4 based antminer control board☆23Mar 28, 2024Updated 2 years ago
- A Non-Custodial Bitcoin Lightning Wallet☆27Feb 15, 2024Updated 2 years ago
- ☆28Jan 12, 2026Updated 8 months ago
- zk hacker house taiwan project☆12Jul 16, 2026Updated 2 months ago
- Powering Verifiable Computation for Nostr Data Vending Machines.☆25Jul 28, 2026Updated last month
- AFGH Proxy Re-Encryption with RELIC (C library)☆12Mar 5, 2020Updated 6 years ago
- ☆21Aug 15, 2026Updated last month
- ☆16May 8, 2024Updated 2 years ago
- ECNU Undergraduate Dissertation Template 2024☆14Mar 13, 2024Updated 2 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.
- Experiments that involve encoding arbitrary data into video files that survive Youtube compression.☆20Sep 2, 2025Updated last year
- A prototype implementation of zero-knowledge proofs of training introduced in eprint:2023/1345☆19Sep 12, 2023Updated 3 years ago
- Use EEPROM chips as programmable logic☆35Oct 31, 2023Updated 2 years ago
- ☆22Jul 1, 2024Updated 2 years ago
- Another Remote Access Control software, written in Golang. It heavily relies on cryptography to avoid threat of botnet use/abuse by other…☆12Jan 12, 2017Updated 9 years ago
- Pure Rust implementations of static Diffie-Hellman (and static elliptic-curve DH) key-exchange☆13Jan 12, 2021Updated 5 years ago
- ☆71Updated this week
- Decree Fiat Shamir Library☆12Aug 12, 2026Updated last month
- smart contracts, front-end, and discord bot for a zero knowledge verification service☆14Mar 28, 2022Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- SUPERCEDED by ricobank/multifab☆20Jul 13, 2022Updated 4 years ago
- Pure-python implementation of Argon2 – winner of the Password Hashing Competition☆19Feb 21, 2024Updated 2 years ago
- Cursive Connections☆20Oct 18, 2025Updated 11 months ago
- ☆13Jun 6, 2022Updated 4 years ago
- Bitcoin Core integration/staging tree☆17Sep 15, 2026Updated last week
- SECD machine and Lispkit Lisp compiler, in Python☆14Oct 25, 2017Updated 8 years ago
- Spam classifier in pure Go using Naive Bayes☆26Nov 8, 2025Updated 10 months ago
- Include animated CSS icon patterns in your background☆17Oct 28, 2017Updated 8 years ago
- Open source local sandboxing for running AI generated code.☆305Feb 26, 2026Updated 6 months 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.
- My book materials☆18Sep 9, 2026Updated last week
- ☆62Jul 10, 2025Updated last year
- Tokenflood is a load testing framework for simulating arbitary loads on instruction-tuned LLMs☆47Jul 1, 2026Updated 2 months ago
- Reference implementation of Curve25519 and Curve448 as specified in RFC7748☆10Jun 22, 2019Updated 7 years ago
- ☆15Oct 19, 2024Updated last year
- [WIP] An experimental DeFi lending protocol.☆10Aug 7, 2021Updated 5 years ago
- An opinionated wrapper implementation for arbitrary yield generating assets to autocompound rewards and take fees from underlying yields.☆11Oct 11, 2022Updated 3 years ago