From fa2978c21823f09fa7cc586d268ea0fe2e7a7a1c Mon Sep 17 00:00:00 2001 From: Justin Thaler <39494992+GUJustin@users.noreply.github.com> Date: Tue, 22 Oct 2024 21:32:13 -0400 Subject: [PATCH] Update proof-size-breakdown.md --- book/src/future/proof-size-breakdown.md | 30 ++++++++++++++++++++----- 1 file changed, 24 insertions(+), 6 deletions(-) diff --git a/book/src/future/proof-size-breakdown.md b/book/src/future/proof-size-breakdown.md index 365cc119..d1eb1edb 100644 --- a/book/src/future/proof-size-breakdown.md +++ b/book/src/future/proof-size-breakdown.md @@ -1,3 +1,5 @@ +# Contributors to proof size + With HyperKZG commitments, Jolt's proof size (with no composition/recursion) today (or in the very near term) is 35KB-200KB. Here is the breakdown of contributors to proof size: @@ -24,13 +26,29 @@ two for Lasso lookups into the RISC-V bytecode, and two for the Spice read-write With a "hybrid" between the two that avoids a significant prover slowdown, the proof size is about 100 KB. - Eventually, with modest engineering effort, we can reduce these 6 grand products down to 3 (or even to 1, though the - engineering pain of going that low would be higher). This would reduce proof size by another factor of 2 or so. - + Eventually, with modest engineering effort, we can reduce these 6 grand products down to 3. + This would reduce proof size by another factor of 2 or so. See bottom of this page for further details. +