tinyzkp

TinyZKP is a memory-bounded STARK proving infrastructure designed for teams working with Plonky3 workloads that are constrained by available resident memory. The platform addresses the challenge of proving large STARK traces within a defined RAM budget by offering a proving backend that can operate within resource limits, specifically targeting scenarios where memory is a significant constraint rather than a secondary consideration. TinyZKP is built around a resource policy that preflights RAM and scratch space, selects between memory or scratch modes, and provides checksummed storage and checkpoint contracts to support operational recovery.

The current prototype preserves compatibility with the official Plonky3 proof format and verifier, ensuring that proofs generated by TinyZKP are accepted by the unmodified upstream verifier. The system does not introduce new transcripts, verifiers, or alter the proof security profile. The implemented resource layer includes features such as owner-only scratch, atomic manifests, chunk checksums, explicit retention, phase checkpoints, and challenger-state restoration, all aimed at making long-running jobs resumable and reliable. While full-pipeline movement of matrices, transforms, commitments, and FRI layers through deterministic SSD scratch is planned but not yet released, the current DFT prototype exercises both memory and scratch paths. Tiled double-buffered transforms and an end-to-end ceiling across trace, quotient, and FRI are also planned for future releases.

TinyZKP is intended for proving teams experiencing reproducible prover-memory bottlenecks. Evaluations are available for such teams during the platform's operational recovery phase. Pricing for early access includes a founding evaluation at $25,000 for the first two customers, with standard evaluations at $40,000 following the founding cohort. Post-release, certified contracts are available at $60,000 per year prepaid, offering signed LTS builds, compatibility and security notices, quarterly performance reports, and bounded support for one workload. Fleet and OEM contracts start at $125,000 per year prepaid, providing private deployment, resource policy enforcement, checkpoint operations, observability, and commercial service-level agreements.

The core of TinyZKP is licensed under the MIT license. Hosted proving, account creation, verification, and paid checkout are temporarily disabled as the Plonky3 backend undergoes independent review and further development. Benchmarking tools and open-source components are available for teams to evaluate their workloads within the current resource constraints.