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:
- A Bullish Shell for a Basic Bitcoin Lisp Language☆17Aug 3, 2026Updated last month
- I found this code here http://lists.common-lisp.net/pipermail/slime-devel/2012-March/018497.html . Original Author is Max Mikhanosha.☆16May 30, 2014Updated 12 years ago
- 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
- ☆16Oct 9, 2024Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆37Feb 6, 2026Updated 6 months ago
- Raspberry Pi CM4 based antminer control board☆23Mar 28, 2024Updated 2 years ago
- Terminal GUI for Ethereum smart contracts☆19Nov 4, 2024Updated last year
- A Non-Custodial Bitcoin Lightning Wallet☆27Feb 15, 2024Updated 2 years ago
- Cyoda-Go: The Enterprise EDBMS☆19Updated this week
- zk hacker house taiwan project☆12Jul 16, 2026Updated last month
- 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 2 weeks 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.
- ☆25Feb 19, 2026Updated 6 months ago
- ECNU Undergraduate Dissertation Template 2024☆14Mar 13, 2024Updated 2 years ago
- Experiments that involve encoding arbitrary data into video files that survive Youtube compression.☆20Sep 2, 2025Updated last year
- Check whether a Grin Wallet is Reachable or not☆11Apr 9, 2021Updated 5 years ago
- ☆13Nov 1, 2021Updated 4 years ago
- ezDPS: An Efficient and Zero-Knowledge Machine Learning Inference Pipeline☆21Jul 14, 2023Updated 3 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
- ☆69Updated this week
- Decree Fiat Shamir Library☆12Aug 12, 2026Updated 3 weeks 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.
- SUPERCEDED by ricobank/multifab☆20Jul 13, 2022Updated 4 years ago
- High-Available GRIN API & GRIN Node☆14Jul 29, 2025Updated last year
- Programs of BE Computer Engineering 2012 Pattern☆38Aug 17, 2018Updated 8 years ago
- Cursive Connections☆20Oct 18, 2025Updated 10 months ago
- asdf plugin for Steel Bank Common Lisp☆25Oct 25, 2024Updated last year
- RV32I Single Cycle Processor (CPU)☆12Nov 14, 2021Updated 4 years ago
- Zoho ManageEngine Desktop Central CVEs☆15Oct 5, 2020Updated 5 years ago
- Bitcoin Core integration/staging tree☆17Updated this week
- the rendering and smart contract code for vibes☆12Oct 9, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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 9 months ago
- MTProto [de]serialization for Rust☆12May 20, 2019Updated 7 years ago
- Open source local sandboxing for running AI generated code.☆305Feb 26, 2026Updated 6 months ago
- Reference implementation of Curve25519 and Curve448 as specified in RFC7748☆10Jun 22, 2019Updated 7 years ago
- Generic Signet Dockerfiles☆22Sep 1, 2025Updated last year
- ☆15Oct 19, 2024Updated last year