Precompile, chip, air, pc_lookup - Shuang's Crypto Notes

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!

Table of Contents

PC_lookup fix

run this command

 cargo test -r --package powdr-openvm --lib -- tests::guest_prove_simple  --exact --show-output

in debug.pil I can see the pc_lookup format:

it seems to have 9 arguments

I can check this more in the build circuit where the bus interactions are built there

print all the gates, can check bus:pclookup

so indeed, pc_lookup has 10 arguments, but since most of them are zero, let me assume they are always like this

After I added buses, the gates number of plonk become:

which is much less than 11400.. with no reason, let’s check

added print in circuit builder

There are some commits in between actually reduce the plonk gates

this one reduce it to 9202

this one reduces it to 8017

this one reverted back to 9202

this one gets 9254, it adds bus interactions

so it is because there are some optimization going on.