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 weeks 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:
- ☆198Updated 6 months ago
- An Elliptic-Curve Based Secure Chat, written using Rust and Protobuf!☆52Updated last year
- Run and explore Llama models locally with minimal dependencies on CPU☆190Updated last year
- A distributed hash table with unusually strong security properties☆64Updated 6 years ago
- This repo contains a new way to use bloom filters to do lossless video compression☆249Updated 5 months ago
- a rust typescript integration☆62Updated 4 months ago
- Proof of concept for a VPN over UDP☆113Updated 8 months ago
- An unofficial API for Venmo.☆71Updated 9 months ago
- ☆134Updated 3 months ago
- Fine-grained control over model context protocol (MCP) clients, servers, and tools. Context is God.☆113Updated 5 months ago
- True P2P Email on top of Yggdrasil Network☆161Updated this week
- A faster FaaS platform with full wasi-http compliance☆228Updated last month
- ✨ rudimentary simulation of the three-body problem☆157Updated last year
- Create Merkle trees from your directories.☆112Updated last year
- A fully static distributed library system powered by IPFS, SQLite and GitHub☆528Updated 10 months ago
- ☆83Updated 3 months ago
- Glasses to detect smart-glasses that have cameras. Ray-BANNED☆229Updated this week
- A zero dependency implementation of Shamir Secret Sharing in pure Go☆28Updated last month
- A P2P file sharing platform☆131Updated 5 months ago
- A blacklist of banks that block movements to or from Bitcoin/Crypto related services.☆57Updated 2 years ago
- Advanced Python Function Debugging with MCP Integration.☆57Updated 5 months ago
- Trustless and Grandma-friendly Wallet as a Service☆64Updated last year
- The SQLite of Semantic Search☆31Updated 2 months ago
- Backtesting engine in Zig☆147Updated 3 weeks ago
- Merliot Device Hub☆166Updated 5 months ago
- a simple social media researcher built with vercels ai sdk☆42Updated 3 months ago
- A concise text on quantum mechanics, intended for a general mathematical audience including CS, engineering, math, and physics undergrads…☆152Updated 2 months ago
- Content addressable storage with excellent search☆356Updated last week
- This example shows how rings network works in wasm and browser envirement.☆14Updated last year
- CLI based packet reader in Python.☆109Updated 4 months ago