Module decoder 

Decoder module

Structs

DebugInfo

Debug information decoded from the optional .debug section Contains source mappings to help debug circuit failures.

SectionOffsets 🔒

ZkBinary

A ZkBinary decoded from compiled zkas code. This is used by the zkvm.

Functions

find_section 🔒

find_subslice 🔒

validate_count 🔒

Validate that a count is within limits and reasonable for the remaining bytes