Inside the guest#Learn what the guest reads, how it runs a block, and what a proof of that run tells you.>Execution pipelineblock and witness in, proof out>Witness formatsMFBD bundles, raw SSZ, EJSN fixtures>Precompiles and syscallshashing and curve math on zkVM circuits>Proof guaranteespublic values, host checks, verifying key