Category: Daily notes

TODO

understand the expander code in detail, list what is not complete yet.

how gnark write circuit

implement gkr prover in powdr

Powdr gkr

Enum backendtype to specify the proofs system we have

backend factory is the trait that each backendtype need to implement, has create and generate_setup

The backend …

Summary of Key Concepts Learned Today

Here is a consolidated summary of the key topics and concepts covered in today’s questions, providing you with a useful note to reference later:

1. Running Rust Projects with Features

• Running a Rust Project with Specific Features:
  • Example command:bash

cargo run -r