We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
This requires first implementing secp_utils (See here and here)
secp_utils
List:
NONDET_BIGINT3_V1
BIGINT_TO_UINT256
VERIFY_ZERO_V1
REDUCE+
VERIFY_ZERO+
IS_ZERO_NONDET
IS_ZERO_PACK_V1
IS_ZERO_ASSIGN_SCOPE_VARS
REDUCE_V1
The text was updated successfully, but these errors were encountered:
fmoletta
Successfully merging a pull request may close this issue.
This requires first implementing
secp_utils
(See here and here)List:
NONDET_BIGINT3_V1
BIGINT_TO_UINT256
Implement remaining secp hints #309VERIFY_ZERO_V1
ImplementREDUCE+
&VERIFY_ZERO+
hints #307IS_ZERO_NONDET
Implement remaining secp hints #309IS_ZERO_PACK_V1
Implement remaining secp hints #309IS_ZERO_ASSIGN_SCOPE_VARS
Implement remaining secp hints #309REDUCE_V1
ImplementREDUCE+
&VERIFY_ZERO+
hints #307The text was updated successfully, but these errors were encountered: