Succinct zero knowledge for floating point computations

S Garg, A Jain, Z Jin, Y Zhang - Proceedings of the 2022 ACM SIGSAC …, 2022 - dl.acm.org
We study the problem of constructing succinct zero knowledge proof systems for floating
point computations. The standard approach to handle floating point computations requires …
被引用次数：11 相关文章
[PDF] nsf.gov

[PDF][PDF] Succinct Zero Knowledge for Floating Point Computations

S Garg, A Jain, Z Jin, Y Zhang - 2022 ACM SIGSAC Conference on …, 2022 - par.nsf.gov
Succinct proofs [24, 26] allow a prover to convince a verifier that an NP statement is true,
with communication sub-linear in the size of the prover's witness. Such proofs are studied in …