@tokamak-zk-evm/synthesizer/dist/cjs/eof/errors.d.ts

Tokamak zk-EVM Synthesizer - Processes Ethereum transactions into wire maps for Tokamak zk-SNARK proof generation

export declare enum EOFError {
    OutOfBounds = "Trying to read out of bounds",
    VerifyUint = "Uint does not match expected value ",
    VerifyBytes = "Bytes do not match expected value",
    FORMAT = "err: invalid format",
    MAGIC = "err: invalid magic",
    VERSION = "err: invalid eof version",
    KIND_TYPE = "err: expected kind types",
    KIND_CODE = "err: expected kind code",
    KIND_DATA = "err: expected kind data",
    TERMINATOR = "err: expected terminator",
    TypeSize = "missing type size",
    InvalidTypeSize = "err: type section size invalid",
    CodeSize = "missing code size",
    CodeSectionSize = "code section should be at least one byte",
    InvalidCodeSize = "code size does not match type size",
    DataSize = "missing data size",
    ContainerSize = "missing container size",
    ContainerSectionSize = "container section should at least contain one section and at most 255 sections",
    TypeSections = "err: mismatch of code sections count and type signatures",
    Inputs = "expected inputs",
    Outputs = "expected outputs",
    MaxInputs = "inputs exceeds 127, the maximum, got: ",
    MaxOutputs = "outputs exceeds 127, the maximum, got: ",
    Code0Inputs = "first code section should have 0 inputs",
    Code0Outputs = "first code section should have 0x80 (terminating section) outputs",
    MaxStackHeight = "expected maxStackHeight",
    MaxStackHeightLimit = "stack height limit of 1024 exceeded: ",
    MinCodeSections = "should have at least 1 code section",
    MaxCodeSections = "can have at most 1024 code sections",
    CodeSection = "expected a code section",
    DataSection = "Expected data section",
    ContainerSection = "expected a container section",
    ContainerSectionMin = "container section should be at least 1 byte",
    InvalidEOFCreateTarget = "EOFCREATE targets an undefined container",
    InvalidRETURNContractTarget = "RETURNCONTRACT targets an undefined container",
    ContainerDoubleType = "Container is targeted by both EOFCREATE and RETURNCONTRACT",
    UnreachableContainerSections = "Unreachable containers (by both EOFCREATE and RETURNCONTRACT)",
    ContainerTypeError = "Container contains opcodes which this mode (deployment mode / init code / runtime mode) cannot have",
    DanglingBytes = "got dangling bytes in body",
    InvalidOpcode = "invalid opcode",
    InvalidTerminator = "invalid terminating opcode",
    OpcodeIntermediatesOOB = "invalid opcode: intermediates out-of-bounds",
    InvalidRJUMP = "invalid rjump* target",
    InvalidCallTarget = "invalid callf/jumpf target",
    InvalidCALLFReturning = "invalid callf: calls to non-returning function",
    InvalidStackHeight = "invalid stack height",
    InvalidJUMPF = "invalid jumpf target (output count)",
    InvalidReturningSection = "invalid returning code section: section is not returning",
    RJUMPVTableSize0 = "invalid RJUMPV: table size 0",
    UnreachableCodeSections = "unreachable code sections",
    UnreachableCode = "unreachable code (by forward jumps)",
    DataLoadNOutOfBounds = "DATALOADN reading out of bounds",
    MaxStackHeightViolation = "Max stack height does not match the reported max stack height",
    StackUnderflow = "Stack underflow",
    StackOverflow = "Stack overflow",
    UnstableStack = "Unstable stack (can reach stack under/overflow by jumps)",
    RetfNoReturn = "Trying to return to undefined function",
    ReturnStackOverflow = "Return stack overflow",
    InvalidExtcallTarget = "invalid extcall target: address > 20 bytes",
    InvalidReturnContractDataSize = "invalid RETURNCONTRACT: data size lower than expected",
    InvalidEofFormat = "invalid EOF format"
}
export declare enum SimpleErrors {
    minContainerSize = "err: container size less than minimum valid size",
    invalidContainerSize = "err: invalid container size",
    typeSize = "err: type section size invalid",
    code0msh = "err: computed max stack height for code section 0 does not match expect",
    underflow = "err: stack underflow",
    code0IO = "err: input and output of first code section must be 0",
    VerifyUint = "Uint does not match expected value ",
    VerifyBytes = "Bytes do not match expected value",
    TypeSize = "missing type size",
    InvalidTypeSize = "err: type section invalid",
    CodeSize = "missing code size",
    CodeSectionSize = "code section should be at least one byte",
    InvalidCodeSize = "code size does not match type size",
    DataSize = "missing data size",
    TypeSections = "need to have a type section for each code section",
    Inputs = "expected inputs",
    Outputs = "expected outputs",
    MaxInputs = "inputs exceeds 127, the maximum, got: ",
    MaxOutputs = "outputs exceeds 127, the maximum, got: ",
    Code0Inputs = "first code section should have 0 inputs",
    Code0Outputs = "first code section should have 0 outputs",
    MaxStackHeight = "expected maxStackHeight",
    MaxStackHeightLimit = "stack height limit of 1024 exceeded: ",
    MinCodeSections = "should have at least 1 code section",
    MaxCodeSections = "can have at most 1024 code sections",
    CodeSection = "expected a code section",
    DataSection = "Expected data section",
    DanglingBytes = "got dangling bytes in body"
}
export declare function validationErrorMsg(type: EOFError, ...args: any): string;
export declare function validationError(type: EOFError, ...args: any): never;
//# sourceMappingURL=errors.d.ts.map