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 lightweight text-to-speech model with zero-shot voice cloning☆598Updated this week
- ☆199Updated 8 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
- Proof of concept for a VPN over UDP☆113Updated 10 months ago
- ✨ rudimentary simulation of the three-body problem☆157Updated last year
- qrkey is a command-line tool for generating and recovering QR codes from files for offline private key backup.☆195Updated last month
- A personal app platform without ads or algorithms☆69Updated this week
- A zero dependency implementation of Shamir Secret Sharing in pure Go☆28Updated 3 months ago
- Create Merkle trees from your directories.☆112Updated last year
- Trustless and Grandma-friendly Wallet as a Service☆64Updated last year
- ☆134Updated 5 months ago
- An unofficial API for Venmo.☆71Updated 10 months ago
- A fully static distributed library system powered by IPFS, SQLite and GitHub☆530Updated last year
- A distributed hash table with unusually strong security properties☆65Updated 6 years ago
- Docker-based inference engine for AMD GPUs☆231Updated last year
- ☆103Updated last month
- Persistent memory for LLMs and apps. Content-addressed storage with dedupe, compression, full-text and vector search.☆360Updated this week
- a rust typescript integration☆64Updated 6 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…☆286Updated last month
- Replacing the OS process scheduler with an LLM☆106Updated last week
- A faster FaaS platform with full wasi-http compliance☆229Updated 2 months ago
- A concise text on quantum mechanics, intended for a general mathematical audience including CS, engineering, math, and physics undergrads…☆154Updated 4 months ago
- sync any directory with any device on your local network☆181Updated 3 months ago
- This repo contains a new way to use bloom filters to do lossless video compression☆251Updated 7 months ago
- ☆84Updated 5 months ago
- Fast and secure Linux package publishing.☆208Updated last month
- A monitoring station for carnivorous flora.☆130Updated 8 months ago
- CLI app- Give it a YouTube URL and you get a transcription with possible speaker identification and optional summary or translation, all …☆330Updated 3 weeks ago
- The SQLite of Semantic Search☆32Updated 3 months ago