github/pse.dev
1
1
Fork 0
mirror of https://github.com/privacy-scaling-explorations/pse.dev.git synced 2026-01-10 22:58:06 -05:00
Code Issues Packages Projects Releases Wiki Activity

Update the CSP page (#553)

Browse Source 
* Update the CSP page
This commit is contained in:
Alex Kuzmin
2025-09-02 20:31:04 +08:00
committed by GitHub
parent 31763f7662
commit f589304566
2 changed files with 15 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
components/blog/project-blog-articles.tsx
View File

@@ -65,7 +65,7 @@ export const ProjectBlogArticles = ({
>
<div className="flex flex-col gap-10">
<h3 className="text-[22px] font-bold text-secondary">
Related articles sss
Related articles
</h3>
<div className="grid grid-cols-1 gap-4 lg:gap-8">
{articles.length === 0 && (

28
content/projects/client-side-proving.md
View File

@@ -5,7 +5,7 @@ image: ""
section: "pse"
projectStatus: "active"
category: "research"
tldr: "Developing efficient zero-knowledge proving systems for mobile devices, enabling private digital ID and secure communication with minimal resources."
tldr: "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."
license: "MIT"
tags:
keywords: ["Zero Knowledge", "Mobile", "Privacy", "Digital Identity"]
@@ -16,37 +16,37 @@ team:
email: "alex.kuzmin@pse.dev"
- name: "Guorong Du"
email: "dgr009@pse.dev"
- name: "Brechy"
email: "brechy@pse.dev"
---
### Project Overview
The Client-Side Proving project aims to develop practical and efficient zero-knowledge (ZK) proving systems tailored specifically for mobile devices. By exploring various proving systems - including Binius, Spartan, Plonky2, Scribe, and WHIR - we provide benchmarks, insights, and optimized implementations that enable performant client-side applications.
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
Our primary objective is to identify and optimize ZK proof systems that require minimal resources, have no trusted setup, and maintain post-quantum security. These efforts are particularly focused on supporting applications in digital identity, secure communications, and privacy-preserving credential management.
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
- **Team Members:** Guorong Du, Brechy
### Technical Approach
The project rigorously benchmarks mobile-friendly ZK proving systems based on critical criteria including computational complexity, RAM efficiency and proof size. Key innovations and strategies include:
- **Benchmarking Binius, Spartan, Plonky2, and Scribe** for mobile usability.
- **Optimizing RAM usage** through streaming techniques.
- **Evaluation and integration of lookups** to enhance proving efficiency in computationally intensive ZK circuits.
- 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.
- **May 2025 (planned):** Comprehensive benchmarking results published for selected ZK proving systems.
- **June 2025 (planned):** Optimization of Spartan using WHIR PCS and/or Scribe's read-write streaming techniques.
- **Q3 2025 (planned):** Collaboration with an Identity initiative, integrating optimized proving systems.
- **April 2025**: Established baseline benchmarks for common mobile hardware.
- **June 2025**: Published the first benchmark results, [Efficient Client-Side Proving for zkID](https://pse.dev/blog/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
@@ -58,7 +58,7 @@ Client-Side Proving enables numerous privacy-focused mobile applications, includ
### How to get in touch
- Join the [PSE Discord](https://discord.com/invite/sF5CT5rzrR)
- Reach out via email Alex: alex.kuzmin@pse.dev or Guorong Du: dgr009@pse.dev
- Reach out via email Alex: alex.kuzmin@pse.dev, Guorong Du: dgr009@pse.dev, Brechy: brechy@pse.dev
### Publications