witness: add documentation for WitnessMultilinearEval

Author: tcoratger

crates/leanVm/src/witness/multilinear_eval.rs

@@ -1,12 +1,20 @@
 use crate::{constant::EF, memory::address::MemoryAddress};
 
+/// Holds the high-level witness data for a single multilinear evaluation precompile.
 #[derive(Debug)]
 pub struct WitnessMultilinearEval {
+    /// The CPU cycle at which this operation is initiated.
     pub cycle: usize,
-    pub addr_coeffs: MemoryAddress, // vectorized pointer, of size 8.2^size
-    pub addr_point: MemoryAddress,  // vectorized pointer, of size `size`
-    pub addr_res: MemoryAddress,    // vectorized pointer
+    /// The memory address of the polynomial's coefficients.
+    pub addr_coeffs: MemoryAddress,
+    /// The memory address of the evaluation point's coordinates.
+    pub addr_point: MemoryAddress,
+    /// The memory address where the final result is stored.
+    pub addr_res: MemoryAddress,
+    /// The number of variables in the multilinear polynomial.
     pub n_vars: usize,
+    /// The coordinates of the evaluation point.
     pub point: Vec<EF>,
+    /// The final computed result of the evaluation.
     pub res: EF,
 }