Learning new things!
Chip initialized the AIR:
It is initialized in VmExtension for PowdrExtension, in vm.rs file
Remember PowdrExtension has these, if I add config, then the bus_map can pass through
generate_air_proof_input is a function of PlonkChip!
run this command
cargo test -r --package powdr-openvm --lib -- tests::guest_prove_simple --exact --show-outputin …
PowdrAir eval is in the chip.rs
following the implementation of powdrChip powdrAir, the eval function add constraint and bus interactions, powdrAir stores the symbolic_machine
let’s see where the powdrAir is initiated
it’s new function take machine as an input:
check where thies new function is called.
in powdrChip, …
how the plonkChip get the AIR?
we first check how the powdrChip gets its air:
it takes a machine as input, generate a PowdrAir.
check how the new function of powdrAir is implemented?
but it needs to define PlonkAir data structure
PowdrAir has this
it make sense to have machine …
Note taken for PR review
Defined in powdr_extension, probably follow the format of adding extension to openvm
as it follows the format of adding extension to openvm, which means it needs to implement some common traits, these are:
Instruction_executor:
The …