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 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
Sorting:
- ☆198Updated 5 months ago
- ☆134Updated 2 months ago
- A fully static distributed library system powered by IPFS, SQLite and GitHub☆526Updated 10 months ago
- An Elliptic-Curve Based Secure Chat, written using Rust and Protobuf!☆52Updated last year
- qrkey is a command-line tool for generating and recovering QR codes from files for offline private key backup.☆194Updated last week
- This repo contains a new way to use bloom filters to do lossless video compression☆249Updated 4 months ago
- Proof of concept for a VPN over UDP☆113Updated 7 months ago
- Run and explore Llama models locally with minimal dependencies on CPU☆189Updated last year
- Open Source Terminal SQLite Database Browser☆342Updated 3 months ago
- ☆161Updated 7 months ago
- Node-Based Robotics Framework Written in Rust☆70Updated last year
- An unofficial API for Venmo.☆72Updated 8 months ago
- ✨ rudimentary simulation of the three-body problem☆157Updated last year
- A zero dependency implementation of Shamir Secret Sharing in pure Go☆25Updated 3 weeks ago
- A faster FaaS platform with full wasi-http compliance☆224Updated this week
- a rust typescript integration☆61Updated 3 months ago
- A distributed hash table with unusually strong security properties☆64Updated 5 years ago
- Merliot Device Hub☆165Updated 4 months ago
- CLI based packet reader in Python.☆107Updated 3 months ago
- WIP: Next-gen network protocol for reliable data transfer in lossy environments. Outperforms TCP/UDP in high packet loss scenarios.☆306Updated last year
- Robot communication and coordination network.☆69Updated 5 months ago
- Create Merkle trees from your directories.☆112Updated last year
- Spawn shells anywhere. Fully peer-to-peer, authenticated, and end to end encrypted☆250Updated last year
- Content addressable storage with excellent search☆352Updated last week
- High-Performance Implementation of OpenAI's TikToken.☆457Updated 3 months ago
- Mycoria is an open and secure overlay network that connects all participants. It values freedom of connectivity and aims to imitate the c…☆275Updated 5 months ago
- A p2p reverse proxy with NAT traversal. Inspired by frp, rathole and ngrok☆425Updated last month
- ☆223Updated 8 months ago
- TideCloak lets your users hold their own digital authority—no central control, no blind trust.☆64Updated 3 months ago
- ☆68Updated 2 weeks ago