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:
- ☆196Updated 5 months ago
- An Elliptic-Curve Based Secure Chat, written using Rust and Protobuf!☆52Updated last year
- Docker-based inference engine for AMD GPUs☆230Updated last year
- Node-Based Robotics Framework Written in Rust☆70Updated last year
- A faster FaaS platform with full wasi-http compliance☆224Updated this week
- Run larger LLMs with longer contexts on Apple Silicon by using differentiated precision for KV cache quantization. KVSplit enables 8-bit …☆361Updated 4 months ago
- ☆81Updated 2 months ago
- A P2P file sharing platform☆129Updated 3 months ago
- A distributed hash table with unusually strong security properties☆64Updated 5 years ago
- An unofficial API for Venmo.☆72Updated 7 months ago
- This repo contains a new way to use bloom filters to do lossless video compression☆251Updated 4 months ago
- A fully static distributed library system powered by IPFS, SQLite and GitHub☆525Updated 9 months ago
- a rust typescript integration☆61Updated 3 months ago
- A minimalist Nostr blog that consists of a single html file☆184Updated 2 weeks ago
- ☆189Updated last year
- A concise text on quantum mechanics, intended for a general mathematical audience including CS, engineering, math, and physics undergrads…☆150Updated last month
- ☆134Updated 2 months ago
- Trustless and Grandma-friendly Wallet as a Service☆64Updated 11 months ago
- Content addressable storage with excellent search☆348Updated this week
- Privacy Pass implementation in Rust☆46Updated 3 months ago
- Run and explore Llama models locally with minimal dependencies on CPU☆189Updated 11 months ago
- Create and manage isolated development environments using Docker with ease.☆84Updated last week
- ☆162Updated 6 months ago
- Faster builds, zero effort.☆202Updated last month
- Proof of concept for a VPN over UDP☆113Updated 7 months ago
- High-Performance Implementation of OpenAI's TikToken.☆455Updated 3 months ago
- TUI app- Give it a YouTube URL and you get a transcription with possible speaker identification and optional summary or translation, all …☆320Updated 6 months ago
- A microphone beamformer for Linux on Apple Silicon Macs written in Rust☆211Updated last month
- Create Merkle trees from your directories.☆112Updated last year
- fractal-structure inspired, parent-children orbiting, zooming-elements based interactive graph visualization user interface☆129Updated 7 months ago