---
# System prepended metadata

title: PLONK VERIFIER CODE QUESTION

---

# 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? 
``` rust
#[derive(Clone, Default)]
struct StandardPlonk(Fr);
```


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