pub fn extract_public_values<F: PrimeField32>(
memory_dimensions: &MemoryDimensions,
num_public_values: usize,
final_memory: &MemoryImage<F>,
) -> Vec<F>
pub fn extract_public_values<F: PrimeField32>(
memory_dimensions: &MemoryDimensions,
num_public_values: usize,
final_memory: &MemoryImage<F>,
) -> Vec<F>