update WHIR target + add a link to deepwiki in README

Author: TomWambsgans

README.md

@@ -16,6 +16,8 @@ The VM design is inspired by the famous [Cairo paper](https://eprint.iacr.org/20
 
 Details on how to prove AIR constraints in the multilinear settings are described in [Whirlaway.pdf](Whirlaway.pdf).
 
+[Deep-wiki](https://deepwiki.com/leanEthereum/leanMultisig/1-overview) (thanks [adust09](https://github.com/adust09))
+
 
 ## Benchmarks
 

docs/benchmark_graphs/graphs/recursive_whir_opening.svg

@@ -60,7 +60,7 @@ def create_duration_graph(data, target, target_label, title, y_legend, file):
         ('2025-09-09', 1.32),
         ('2025-09-10', 0.970),
         ('2025-09-14', 0.825),
-    ], target=0.25, target_label="Target (0.25 s)", title="Recursive WHIR opening", y_legend="Proving time (s)", file="recursive_whir_opening")
+    ], target=0.125, target_label="Target (0.125 s)", title="Recursive WHIR opening", y_legend="Proving time (s)", file="recursive_whir_opening")
 
     create_duration_graph(data=[
         ('2025-08-27', 14.2),