Update improvements-since-release.md

a16z · Aug 21, 2024 · cdb09f1 · cdb09f1
1 parent cc23292
commit cdb09f1
Showing 1 changed file with 14 additions and 14 deletions.
diff --git a/book/src/future/improvements-since-release.md b/book/src/future/improvements-since-release.md
@@ -6,35 +6,35 @@ not mentioned in this file is presumably not yet started (or barely started).
 
 ## Functionality improvements
 
-*Support for stdlib
+* Support for stdlib
 
-*Support for M-extension.
+* Support for M-extension.
 
-*In progress: on-chain verifier (Solidity). 
+* In progress: on-chain verifier (Solidity). 
 
 ## Verifier cost improvements
 
-*Add support for HyperKZG commitment
+* Add support for HyperKZG commitment
 
-*Add support for Quarks/Spartan grand product argument and hybrid grand product 
+* Add support for Quarks/Spartan grand product argument and hybrid grand product 
 (which achieves most of the verifier benefits of Quarks without a significant hit to prover time).
-
-    **Still todo here: Significant [optimization](https://github.com/a16z/jolt/issues/444) to how the prover commits to partial products. 
 
-*In progress: change how we are batching grand products, treating them all laid side-by-side as one giant circuit. This
+  * Still to do here: [Optimize](https://github.com/a16z/jolt/issues/444) to how the prover commits to partial products. 
+
+* In progress: change how we are batching grand products, treating them all laid side-by-side as one giant circuit. This
 will reduce proof size by up to 200KB.
 
-*In progress: reduce the number of polynomial evaluation proofs from 7-10 down to 1. 
+* In progress: reduce the number of polynomial evaluation proofs from 7-10 down to 1. 
 
 ## Prover cost improvements (all in progress)
 
-*Eliminate cost of pre-computed tables of eq evaluations for each sum-check,
+* Eliminate cost of pre-computed tables of eq evaluations for each sum-check,
 as per [Dao-Thaler](https://eprint.iacr.org/2024/1210).
 
-*(Nearly) [eliminate](https://github.com/a16z/jolt/issues/347) second sum-check instance in Spartan.
+* (Nearly) [eliminate](https://github.com/a16z/jolt/issues/347) second sum-check instance in Spartan.
 
-*Implement the sum-check prover optimization from Section 3 of Angus Gruen's [paper](https://eprint.iacr.org/2024/108).
+* Implement the sum-check prover optimization from Section 3 of Angus Gruen's [paper](https://eprint.iacr.org/2024/108).
 
-*AVX-512 speedups.
+* AVX-512 speedups.
 
-*GPU integration. 
+* GPU integration.