Category: Plonky3

Traits

BaseAire

contains width(the number of columns) and preprocessed_trace(what is this used for?)

AirBuilderWithPublicValues

it extend the AirBuilder trait, which is the main trait, by adding the function to get public values

AirBuilder

it has many functions like these: to help user build air constraints

The main function return M, …

Pre-step:

add these to workspace dependencies

tracing = "0.1.37"
tracing-forest = "0.1.6"
tracing-subscriber = "0.3.17"

step 1:

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 

…