Circuit breaks down on some inputs. #921
-
Hi, I have the following circuit.
This circuit works mostly, but breaks down sometimes in the Can someone please guide me to why this error could be occuring? This circuit works for the following inputs:
But it breaks down for the following input:
The dotpdtf and dotpdtfsmallsize functions are as defined:
|
Beta Was this translation helpful? Give feedback.
Replies: 1 comment
-
I didnt convert a witness term to int before frontend.Variable conversion. Changing this resolved the error. |
Beta Was this translation helpful? Give feedback.
I didnt convert a witness term to int before frontend.Variable conversion. Changing this resolved the error.