Learning new things!
A user must verify the following equation when determining the degree of the constraint (further explanation is provided in the next section):
let \(d\) be the degree of the constraint:
\(d-1\leq 2^{\text{log_blow_up_factor}}\)
If this condition is …
contains width(the number of columns) and preprocessed_trace(what is this used for?)
it extend the AirBuilder trait, which is the main trait, by adding the function to get public values
it has many functions like these: to help user build air constraints
The main function return M, …
add these to workspace dependencies
tracing = "0.1.37"
tracing-forest = "0.1.6"
tracing-subscriber = "0.3.17"add tracing subscriber to dependencies, namely, the dependencies should have these three
tracing.workspace = true
tracing-subscriber = { workspace = true, features = ["std", "env-filter"] }
tracing-forest = { workspace = true, features