3.6 KiB
id, name, image, section, projectStatus, category, tldr, license, tags, team
| id | name | image | section | projectStatus | category | tldr | license | tags | team | ||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| client-side-proving | Client-Side Proving | pse | active | research | Mapping out the ZK-SNARKs ecosystem, evaluating ZKP solutions using standardized and reproducible benchmarks, and advancing the most promising ZKP stacks with developer-friendly tooling to lower adoption barriers, enabling efficient client-side ZKP applications. | MIT |
|
|
Project Overview
The Client-Side Proving project aims to develop practical and efficient implementations and tooling for zero-knowledge (ZK) proving systems tailored specifically for mobile devices. By exploring various proving systems we provide benchmarks, insights, and optimized implementations that enable performant client-side applications.
Objective
We publish the CSP Quarterly Report, which benchmarks zkVMs and ZKP stacks for mobile feasibility. In parallel, we research promising ZKP stacks, prioritizing transparent (no-setup), post-quantum–sound ZKP systems with direct on-chain verification. All evaluations respect realistic mobile RAM budgets - under 4 GB on Android and 6 GB on iPhone.
Project Status
- Stage: MVP Development
- Status: Active
- Team Lead: Alex Kuzmin
- Team Members: Guorong Du, Brechy
Technical Approach
- We are developing a standardized cloud-first benchmarking pipeline that uses fixed hardware profiles, supports straightforward circuit and stack extensions, and runs qualifying targets on real mobile devices.
- We aim to publish the benchmarking results in a comparison-friendly format that offers filtering and sorting.
- For ZKP stack R&D, we are currently exploring multilinear sumcheck-based ZKP schemes (Spartan, Hyperplonk, SuperSpartan) in combination with the latest transparent and post-quantum polynomial commitment scheme (WHIR).
Milestones
- April 2025: Established baseline benchmarks for common mobile hardware.
- June 2025: Published the first benchmark results, Efficient Client-Side Proving for zkID.
- Q3 2025 (planned): Researching the most efficient sumcheck-based ZKP system with WHIR PCS, adding Noir frontend and on-chain verifier
- Q4 2025 (planned): Publishing the first edition of the CSP Quarterly Report containing the benchmarks of demanding ZKP circuits (SHA-256, ECDSA) in latest ZKP systems and zkVMs that claim to be client-side oriented.
Applications
Client-Side Proving enables numerous privacy-focused mobile applications, including:
- Mobile Digital ID wallets ensuring user privacy.
- Anonymous online communication and collaboration tools.
How to get in touch
- Join the PSE Discord
- Reach out via email Alex: alex.kuzmin@pse.dev, Guorong Du: dgr009@pse.dev, Brechy: brechy@pse.dev
Publications
- Benchmarks for Digital ID Wallet
- Mobile Hardware Survey
- Plonky2 Sha256 Benchmarks
- Proof Systems Survey
Benchmark findings and technical write-ups will be released regularly, highlighting the project's research outcomes and performance evaluations.