restore no_std

basic/src/bin/valida.rs

@@ -435,9 +435,9 @@ fn main() {
             Ok(_) => {
                 stdout().write("Proof verified\n".as_bytes()).unwrap();
             }
-            Err(e) => {
+            Err(_) => {
                 stdout()
-                    .write("Proof verification failed: \n".as_bytes())
+                    .write("Proof verification failed\n".as_bytes())
                     .unwrap();
             }
         }

cpu/src/lib.rs

@@ -1,3 +1,5 @@
+#![no_std]
+
 extern crate alloc;
 
 use crate::columns::{CpuCols, CPU_COL_MAP, NUM_CPU_COLS};

cpu/src/stark.rs

@@ -1,7 +1,6 @@
 use crate::columns::{CpuCols, NUM_CPU_COLS};
 use crate::CpuChip;
 use core::borrow::Borrow;
-
 use valida_machine::Word;
 
 use p3_air::{Air, AirBuilder, BaseAir};