Struct Program

pub struct Program {
    pub code: Vec<BabyBearElem>,
    pub code_size: usize,
    pub po2: usize,
}

A Program for the recursion circuit (e.g. lift_20 or join).

The recursion circuit is an application specific virtual machine with a limited instruction set, no control flow operations, and a write-once memory tape. Although it is not general purpose, it can load and execute a program, similar to the rv32im zkVM.

Programs for the recursion circuit are loaded into the control columns, which is a set of public columns in the witness. Programs are therefore identified by their control ID, which is similar but not the same as the image ID used to identify rv32im programs.

Fields

code: Vec<BabyBearElem>

The code of the program, encoded as Baby Bear field elements.

code_size: usize

The number of code columns.

po2: usize

1 << po2 is the number of cycles executed.

Implementations

impl Program

pub fn from_encoded(encoded: &[u32], po2: usize) -> Self

Create a Program from a stream of data encoded by Zirgen.

pub fn code_rows(&self) -> usize

Total number of rows in the code group for this program.

pub fn code_by_row(&self) -> impl Iterator<Item = &[BabyBearElem]>

An iterator over the rows of the code group.

pub fn compute_control_id(&self, hash_suite: HashSuite<BabyBear>) -> Digest

Given a Program for the recursion circuit, compute the control ID as the FRI Merkle root of the code group. This uniquely identifies the program running on the recursion circuit (e.g. lift_20 or join)

Trait Implementations

impl Clone for Program

fn clone(&self) -> Program

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.