A split prover approach to efficient SPARTAN proof generation

Resumen

Zero-knowledge proof systems are increasingly important in privacy-preserving applications, but their high computational requirements pose challenges for deployment on resource-constrained devices. In this paper, a split prover architecture for the SPARTAN proof system is proposed, which delegates part of the prover’s computation to a separate, untrusted entity. This approach reduces the computational and memory burden on the primary prover, making it feasible to generate proofs efficiently even on low-power devices. This proposal preserves the soundness and zero-knowledge properties of SPARTAN, and can be adapted to other proof systems derived from SPARTAN

Fecha de lectura	08 ago. 2024
Idioma original	Español
Institución de lectura	Pontificia Universidad Javeriana École de technologie supérieure