bytecode: add program struct

Author: tcoratger

crates/leanVm/src/bytecode/mod.rs

@@ -7,9 +7,10 @@ pub mod hint;
 pub mod instruction;
 pub mod operand;
 pub mod operation;
+pub mod program;
 
 /// Represents the compiled bytecode of a program for the zkVM.
-#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)]
+#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash, Default)]
 pub struct Bytecode {
     /// A vector of instructions that form the executable part of the program.
     ///

crates/leanVm/src/bytecode/program.rs

@@ -0,0 +1,13 @@
+use super::Bytecode;
+use crate::constant::F;
+
+/// Represents a program to be executed by the zkVM.
+#[derive(Debug, Clone, Default)]
+pub struct Program {
+    /// The compiled instructions and hints for the program.
+    pub bytecode: Bytecode,
+    /// The public inputs for this specific execution.
+    pub public_input: Vec<F>,
+    /// The private (witness) inputs for this specific execution.
+    pub private_input: Vec<F>,
+}

crates/leanVm/src/core.rs

@@ -6,6 +6,7 @@ use crate::{
         instruction::Instruction,
         operand::{MemOrConstant, MemOrFp, MemOrFpOrConstant},
         operation::Operation,
+        program::Program,
     },
     constant::{DIMENSION, EF, F},
     context::run_context::RunContext,
@@ -19,13 +20,15 @@ pub struct VirtualMachine<PERM16, PERM24> {
     pub memory_manager: MemoryManager,
     pub poseidon2_16: PERM16,
     pub poseidon2_24: PERM24,
+    pub(crate) program: Program,
 }
 
 impl<PERM16, PERM24> VirtualMachine<PERM16, PERM24> {
     pub fn new(poseidon2_16: PERM16, poseidon2_24: PERM24) -> Self {
         Self {
             run_context: RunContext::default(),
             memory_manager: MemoryManager::default(),
+            program: Program::default(),
             poseidon2_16,
             poseidon2_24,
         }