[PROVING 1] prove something small in multi-linked circuits env #32
Description
- use multiple linked circuits
- use simple two integers as inputs
- prove 1 output
- make output dependant on intermediate function calls
- complete the proving, receive the
zkldoom.proof