Learning new things!
ECDSA is a cryptographic algorithm used for digital signatures based on elliptic curve cryptography (ECC). It’s widely used in secure systems like:
It’s a more efficient version of DSA (Digital Signature Algorithm) using elliptic curves — …
start from the test in lib.rs
The new function create number of auto precompiles, and also set what type of the chip. this are all stored in config, that means, I need to check how the fields of config are used.
prove_mock-> compile and …
| Feature | Compiler | Interpreter |
|---|---|---|
| What it does | Translates the whole program before running | Translates and runs the program line by line |
| Output | Creates an executable file (e.g., .exe) | Does not produce a separate executable |
| Speed (at runtime) | Usually faster (runs native machine code) |
I want to understand:
how cargo run -r --bin powdr_openvm -- ... works and how you can trace back CLI parameters like --input and --autoprecompiles to the source code.
chatGPT said I need to check [bin] definition in Cargo.toml to get what binary will be, but there is no [bin] …
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 …
From lib.rs, there is test, checking prove simple:
check what this prove simple means
there are some prove and compile, prove recursion basic function in this file.
In the compile function, there are two functions til now I think it is important: instruction_to_airs and customize
in this instruction …