Add Simplicity verification

Unactivated.
This commit is contained in:
Russell O'Connor 2024-06-10 12:19:21 -04:00
parent 96fb8f5d15
commit 1698454c2a
4 changed files with 227 additions and 0 deletions

View file

@ -96,6 +96,33 @@ typedef enum ScriptError_t
SCRIPT_ERR_ARITHMETIC64,
SCRIPT_ERR_ECMULTVERIFYFAIL,
/* Elements: Simplicity related errors */
SCRIPT_ERR_SIMPLICITY_WRONG_LENGTH,
SCRIPT_ERR_SIMPLICITY_NOT_YET_IMPLEMENTED,
SCRIPT_ERR_SIMPLICITY_DATA_OUT_OF_RANGE,
SCRIPT_ERR_SIMPLICITY_DATA_OUT_OF_ORDER,
SCRIPT_ERR_SIMPLICITY_FAIL_CODE,
SCRIPT_ERR_SIMPLICITY_STOP_CODE,
SCRIPT_ERR_SIMPLICITY_HIDDEN,
SCRIPT_ERR_SIMPLICITY_BITSTREAM_EOF,
SCRIPT_ERR_SIMPLICITY_BITSTREAM_TRAILING_BYTES,
SCRIPT_ERR_SIMPLICITY_BITSTREAM_ILLEGAL_PADDING,
SCRIPT_ERR_SIMPLICITY_TYPE_INFERENCE_UNIFICATION,
SCRIPT_ERR_SIMPLICITY_TYPE_INFERENCE_OCCURS_CHECK,
SCRIPT_ERR_SIMPLICITY_TYPE_INFERENCE_NOT_PROGRAM,
SCRIPT_ERR_SIMPLICITY_WITNESS_EOF,
SCRIPT_ERR_SIMPLICITY_WITNESS_TRAILING_BYTES,
SCRIPT_ERR_SIMPLICITY_WITNESS_ILLEGAL_PADDING,
SCRIPT_ERR_SIMPLICITY_UNSHARED_SUBEXPRESSION,
SCRIPT_ERR_SIMPLICITY_CMR,
SCRIPT_ERR_SIMPLICITY_EXEC_BUDGET,
SCRIPT_ERR_SIMPLICITY_EXEC_MEMORY,
SCRIPT_ERR_SIMPLICITY_EXEC_JET,
SCRIPT_ERR_SIMPLICITY_EXEC_ASSERT,
SCRIPT_ERR_SIMPLICITY_ANTIDOS,
SCRIPT_ERR_SIMPLICITY_HIDDEN_ROOT,
SCRIPT_ERR_SIMPLICITY_AMR,
/* Must go last */
SCRIPT_ERR_ERROR_COUNT
} ScriptError;