diff --git a/justfile b/justfile index 47084ee..d68a371 100644 --- a/justfile +++ b/justfile @@ -14,4 +14,4 @@ serve: python -m http.server watch: - just serve & watchexec -w md2respec.py -w source/ -w template.html -w index_template.html just build + just serve & watchexec -w gen_index.py -w md2respec.py -w source/ -w template.html -w index_template.html just build diff --git a/source/starknet/fri.md b/source/starknet/fri.md index b4b0d7c..282d3dc 100644 --- a/source/starknet/fri.md +++ b/source/starknet/fri.md @@ -701,3 +701,5 @@ n_queries * log_n_cosets + proof_of_work_bits Where: * `n_queries` is the number of queries generates +* `log_n_cosets` is the log2 of the blow-up factor +* `proof_of_work_bits` is the number of bits required for the proof of work (see the [Proof of Work section](#proof-of-work)).