Skip to content

Commit

Permalink
feat: add memory to BrainfuckInteractionElements
Browse files Browse the repository at this point in the history
  • Loading branch information
zmalatrax committed Nov 27, 2024
1 parent d6f0412 commit 771938d
Showing 1 changed file with 11 additions and 4 deletions.
15 changes: 11 additions & 4 deletions crates/brainfuck_prover/src/brainfuck_air/mod.rs
Original file line number Diff line number Diff line change
@@ -1,4 +1,7 @@
use crate::components::{memory::table::MemoryTable, MemoryClaim};
use crate::components::{
memory::table::{MemoryElements, MemoryTable},
MemoryClaim,
};
use brainfuck_vm::machine::Machine;
use stwo_prover::core::{
air::{Component, ComponentProver},
Expand Down Expand Up @@ -42,11 +45,15 @@ impl BrainfuckClaim {

/// All the interaction elements (drawn from the channel)
/// required by the various components during the interaction phase.
pub struct BrainfuckInteractionElements;
pub struct BrainfuckInteractionElements {
pub memory_lookup_elements: MemoryElements,
}

impl BrainfuckInteractionElements {
pub fn draw(_channel: &mut impl Channel) -> Self {
todo!();
/// Draw all the interaction elements needed for
/// all the components of the Brainfuck ZK-VM.
pub fn draw(channel: &mut impl Channel) -> Self {
Self { memory_lookup_elements: MemoryElements::draw(channel) }
}
}

Expand Down

0 comments on commit 771938d

Please sign in to comment.