List of all items

Structs

• ExecutionProof
• Kernel
• PrecompileVerifierRegistry
• ProgramInfo
• StackInputs
• StackOutputs
• Word
• math::Felt

Enums

• HashFunction
• PrecompileVerificationError
• StarkVerificationError
• VerificationError

Functions

• verify
• verify_with_precompiles

Type Aliases

• PrecompileTranscriptDigest
• PrecompileTranscriptState