lambdaclass/cairo-vm_in_go

Secp Hints

jrchatruc opened this issue · 0 comments

jrchatruc commented

This requires first implementing secp_utils (See here and here)

List:

  • NONDET_BIGINT3_V1
  • BIGINT_TO_UINT256 #309
  • VERIFY_ZERO_V1 #307
  • IS_ZERO_NONDET #309
  • IS_ZERO_PACK_V1 #309
  • IS_ZERO_ASSIGN_SCOPE_VARS #309
  • REDUCE_V1 #307