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:
- A zero dependency implementation of Shamir Secret Sharing in pure Go☆29Updated 4 months ago
- Robot communication and coordination network.☆70Updated last month
- A distributed hash table with unusually strong security properties☆65Updated 6 years ago
- An unofficial API for Venmo.☆73Updated 11 months ago
- An Elliptic-Curve Based Secure Chat, written using Rust and Protobuf!☆52Updated last year
- ☆200Updated 9 months ago
- A Rust crate for containing memory leaks and fragmentation☆249Updated 9 months ago
- Create Merkle trees from your directories.☆112Updated 2 years ago
- qrkey is a command-line tool for generating and recovering QR codes from files for offline private key backup.☆196Updated 2 months ago
- Trustless and Grandma-friendly Wallet as a Service☆64Updated last year
- ☆135Updated 5 months ago
- a rust typescript integration☆64Updated 7 months ago
- Node-Based Robotics Framework Written in Rust☆70Updated last year
- A faster FaaS platform with full wasi-http compliance☆227Updated 3 months ago
- Fine-grained control over model context protocol (MCP) clients, servers, and tools. Context is God.☆113Updated 7 months ago
- Docker-based inference engine for AMD GPUs☆231Updated last year
- A fully static distributed library system powered by IPFS, SQLite and GitHub☆528Updated last year
- A compact and efficient binary messaging protocol designed for NFC☆20Updated last year
- A P2P file sharing platform☆130Updated 7 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 this week
- The SQLite of Semantic Search☆32Updated 4 months ago
- Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.☆58Updated last year
- ☆85Updated 6 months ago
- ☆103Updated 2 months ago
- Persistent memory for LLMs and apps. Content-addressed storage with dedupe, compression, full-text and vector search.☆364Updated this week
- TideCloak lets your users hold their own digital authority—no central control, no blind trust.☆64Updated 6 months ago
- This repo contains a new way to use bloom filters to do lossless video compression☆250Updated 8 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…☆287Updated 2 months ago
- Hacker Book - COMMUNITY, ALL THE HN ARE BELONG TO YOU. An unkillable, static offline archive of all of Hacker News. Updated weekly.☆183Updated last week