- attempt to refine circuit to assert that the included delta is a valid transition
- use octoe to create a ZKP state machine
- Verify that we are crafting proper constraints
- Find answer to this question iden3/circom#35
- add basic circuit for applying a Petri-Net Transformation