Crate zkvmc_trace 

Traits

RecordDecoder

RecordEncoder

This module defines the Record trait, which is used to encode and decode

Tracer

A trait for tracing execution of instructions.