# ZK Keys

The true theory behind all of this is discussed more in the *Theory* section. As discussed, at the end of a circuit setup we are left with two keys:

* Proving Key:&#x20;

## Creation of ZK Keys
