# PLONK VERIFIER CODE QUESTION

## General questions:
- would be good to go throught the example workflow.
- when do we compile to yul code?
- what is the role of a `loader`?
- why to use vanilla plonk gate for `evm-verifier`
- `evm-verifier` vs `evm-verifier-with-accumulator`: latter supports multiple proofs?

## Specific questions:

1. what is this `Fr` element used for?

#[derive(Clone, Default)]
struct StandardPlonk(Fr);

2. infinity points in Halo2-ecc; and `ec_add_unequal`: do we want to enforce unequality?