KiloNova: Non-Uniform PCD with Zero-Knowledge Property from Generic Folding Schemes

ePrint Report: KiloNova: Non-Uniform PCD with Zero-Knowledge Property from Generic Folding Schemes

Tianyu Zheng, Shang Gao, Yu Guo, Bin Xiao

Most existing accumulation/folding schemes focus on implementing Incrementally Verifiable Computation (IVC). Proof-carrying Data (PCD), as a generalization of IVC, enables sequential computation performance by multiple distrusting parties, thereby offering a robust primitive tool in real-world applications. However, building non-uniform PCD from folding schemes faces many technical challenges, particularly in handling cross items and preserving zero knowledge.


This paper introduces KiloNova, …

computation data eprint report focus gao knowledge non performance proof property report