Module risc0_zkp::layout

Utilities for accessing buffers of circuits symbolically.

Macros

• paste

Structs

• Tree
  Represents the section of a component tree that’s present in a buffer.

Traits

• Buffer
  A circuit execution trace buffer, which we can read laid out components from.