Skip to main contentModule guest
Source - commit
- Commit helpers for mapping values into output registers.
- cycle
- Development-only helpers for placing cycle markers in guest code.
- input
- Guest input helpers backed by the Airbender codec.
- transport
- Word-based transports for guest communication.
- CsrTransport
- CSR-backed transport for real guest execution.
- MockTransport
- In-memory transport for unit tests and host-side checks.
- GuestError
- Errors that can occur when decoding inputs on the guest.
- Commit
- Values that can be committed to the public output registers (
x10..x17). - Transport
- Word-based transport used by the guest to communicate with the host.
- commit
- Commit values to the default output registers and exit successfully.
- cycle_marker
- Emit a cycle marker boundary recognized by the transpiler runner.
- exit_error
- Exit with an error.
- read
- Read a single value from the CSR-based transport.
- read_with
- Read a single value using an explicit transport.
- record_cycles
- Record the cumulative counters around one guest code region.