Closed GUJustin closed 3 months ago
Jolt currently uses the grand product argument from Thaler13, which has roughly log^2(n)-sized proofs for products of n values.
Section 6 of the Quarks paper reduces this proof size to close log(n) with a modest increase in prover commitment costs.
Jolt currently uses the grand product argument from Thaler13, which has roughly log^2(n)-sized proofs for products of n values.
Section 6 of the Quarks paper reduces this proof size to close log(n) with a modest increase in prover commitment costs.