logannye / space-efficient-zero-knowledge-proofsLinks
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.
☆46Updated 2 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:
- ☆200Updated 8 months ago
- An unofficial API for Venmo.☆72Updated 11 months ago
- Run and explore Llama models locally with minimal dependencies on CPU☆190Updated last year
- Proof of concept for a VPN over UDP☆113Updated last week
- An Elliptic-Curve Based Secure Chat, written using Rust and Protobuf!☆52Updated last year
- Create Merkle trees from your directories.☆112Updated 2 years ago
- Trustless and Grandma-friendly Wallet as a Service☆64Updated last year
- ☆164Updated 10 months ago
- A zero dependency implementation of Shamir Secret Sharing in pure Go☆29Updated 3 months ago
- ✨ rudimentary simulation of the three-body problem☆159Updated last year
- A fully static distributed library system powered by IPFS, SQLite and GitHub☆528Updated last year
- This repo contains a new way to use bloom filters to do lossless video compression☆250Updated 7 months ago
- A faster FaaS platform with full wasi-http compliance☆227Updated 3 months ago
- qrkey is a command-line tool for generating and recovering QR codes from files for offline private key backup.☆196Updated last month
- Multi-model transactional embedded database☆68Updated last year
- An open-source framework for verifiably private AI inference☆907Updated 3 weeks ago
- CLI based packet reader in Python.☆110Updated 6 months ago
- ☆233Updated this week
- Docker-based inference engine for AMD GPUs☆231Updated last year
- A third party Android app manager for apps uploaded to GitHub releases☆117Updated 8 months ago
- 1fps.video client app☆177Updated 5 months ago
- a rust typescript integration☆63Updated 6 months ago
- This example shows how rings network works in wasm and browser envirement.☆14Updated 2 years ago
- WIP: Next-gen network protocol for reliable data transfer in lossy environments. Outperforms TCP/UDP in high packet loss scenarios.☆305Updated last year
- Robot communication and coordination network.☆70Updated 3 weeks ago
- A P2P file sharing platform☆130Updated 7 months ago
- TideCloak lets your users hold their own digital authority—no central control, no blind trust.☆64Updated 6 months ago
- Optimum graph creation and distribution for underground networks.☆34Updated last year
- One from scratch browser built by one human and one agent, working hand in hand☆169Updated this week
- Glasses to detect smart-glasses that have cameras. Ray-BANNED☆294Updated last month