Category: powdr

Powdr side

backend trait in powdr

• verify
• prove
• export_verification_key

how plonky3 implemented? this is in mod.rs

in mod.rs the backend trait is implemented for plonky3prover, in the prove function, it calls prove in stark.rs, where plonky3prover is implemented

so this prove function in stark.rs should be simliarly implemented in prover.rs …

hello world example

make the powdr-rs compiler up to date, pull the lasted changes in the repo, in powdr folder do the following:

cargo install --path ./cli-rs

use powdr-rs to compile rust file

powdr-rs compile riscv/tests/riscv_data/std_hello_world -o output

this will generate asm in output, then use pil to compile the …

Follow VADCOP —1

Instructions

an instruction consists of:

• a name
• a set of inputs (assignment registers or labels)
• a set of outputs (assignment registers)
• a set of powdr-pil constraints to activate when the instruction is called
• a set of links calling into functions/operations in submachines

//name of the instruction, 

…

In Powdr

Related PR

I look at what files are changed

so let’s start with, what is YML?

YAML (YAML Ain’t Markup Language) is a human-readable data serialization format commonly used for configuration files and data exchange between programming languages.

What is the .github Folder and workflow Directory?

The .github…