Closed lydiagarms closed 4 months ago
When local variables are used as mapping keys, they do not need to be input to the proof. This is because they can be generated from scratch in the circuit. In orchestration the mapping keys were being input whereas in the circuit they were not.
:tada: This PR is included in version 1.5.17 :tada:
The release is available on:
npm package (@latest dist-tag)
Your semantic-release bot :package::rocket:
When local variables are used as mapping keys, they do not need to be input to the proof. This is because they can be generated from scratch in the circuit. In orchestration the mapping keys were being input whereas in the circuit they were not.