# Arithmetization of lead statement

- RPF
- Comm
- DeComm
- path in merkle tree
- power
- comparison