diff --git a/crates/brainfuck_prover/src/components/io/table.rs b/crates/brainfuck_prover/src/components/io/table.rs index ccb151f..d066c77 100644 --- a/crates/brainfuck_prover/src/components/io/table.rs +++ b/crates/brainfuck_prover/src/components/io/table.rs @@ -92,7 +92,16 @@ impl From> for IOTable { } } +/// Input table (trace) for the Input component. +/// +/// This table is made of the memory values (`mv` register) corresponding to +/// inputs (when the current instruction `ci` equals ','). pub type InputTable = IOTable; + +/// Output table (trace) for the Output component. +/// +/// This table is made of the memory values (`mv` register) corresponding to +/// outputs (when the current instruction `ci` equals '.'). pub type OutputTable = IOTable; #[cfg(test)]