add TODO

Author: TomWambsgans

TODO.md

@@ -2,8 +2,7 @@
 
 ## Perf
 
-- 128 bits security
-- Merkle pruning
+- we can save 2 committed columns in the execution table (keeping the same degree of constraints)
 - the interpreter of leanISA (+ witness generation) can be partially parallelized when there are some independent loops
 - Opti WHIR: in sumcheck we know more than f(0) + f(1), we know f(0) and f(1)
 - Opti WHIR https://github.com/tcoratger/whir-p3/issues/303 and https://github.com/tcoratger/whir-p3/issues/306 ?
@@ -36,6 +35,7 @@ But we can get the bost of both worlds (suggested by Lev, TODO implement):
 
 ## Security:
 
+- 128 bits security? (currently 123.9)
 - Fiat Shamir: add a claim tracing feature, to ensure all the claims are indeed checked (Lev)
 - Double Check AIR constraints, logup overflows etc
 - Formal Verification