Use known exit codes for sdk examples (nexus-xyz#571)

* Use known exit codes for sdk examples.

* Formatting.

* Add for comment.

* More formatting.

* Get rid of cmake

* Skip formatting.

* Minimal exclusion.

Author: sjudson

sdk/README.md

@@ -8,8 +8,6 @@ A simple, misuse-resistant SDK for programmatic use of the Nexus zkVM.
 
 First, install Rust: https://www.rust-lang.org/tools/install.
 
-Also, make sure you have a working version of [cmake](https://cmake.org/).
-
 Next, install the RISC-V target:
 
 ```shell

sdk/examples/stwo_build.rs

@@ -21,7 +21,10 @@ fn main() {
         ">>>>> Logging\n{}<<<<<",
         view.logs().expect("failed to retrieve debug logs").join("")
     );
-    assert_eq!(view.exit_code().expect("failed to retrieve exit code"), 0);
+    assert_eq!(
+        view.exit_code().expect("failed to retrieve exit code"),
+        nexus_sdk::KnownErrorCodes::ExitSuccess as u32
+    );
 
     // Normally the prover communicates the seralized proof to the verifier who deserializes it.
     //
@@ -39,17 +42,19 @@ fn main() {
     // print!("Verifying execution...");
     // proof.verify_expected_from_program_path::<&str, (), ()>(
     //    &(),   // no public input
-    //    0,     // exit code = 0
+    //    nexus_sdk::KnownErrorCodes::ExitSuccess as u32,
     //    &(),   // no public output
     //    &path, // path to expected program binary
     //    &[]    // no associated data,
     // ).expect("failed to verify proof");
 
     print!("Verifying execution...");
+
+    #[rustfmt::skip]
     proof
         .verify_expected::<(), ()>(
             &(),  // no public input
-            0,    // exit code = 0
+            nexus_sdk::KnownErrorCodes::ExitSuccess as u32,
             &(),  // no public output
             &elf, // expected elf (program binary)
             &[],  // no associated data,

sdk/examples/stwo_io.rs

@@ -26,7 +26,10 @@ fn main() {
         .prove_with_input::<u32, u32>(&3, &5)
         .expect("failed to prove program"); // x = 5, y = 3
 
-    assert_eq!(view.exit_code().expect("failed to retrieve exit code"), 0);
+    assert_eq!(
+        view.exit_code().expect("failed to retrieve exit code"),
+        nexus_sdk::KnownErrorCodes::ExitSuccess as u32
+    );
 
     let output: u32 = view
         .public_output::<u32>()
@@ -55,17 +58,19 @@ fn main() {
     // print!("Verifying execution...");
     // proof.verify_expected_from_program_path::<&str, u32, u32>(
     //    &5,    // x = 5
-    //    0,     // exit code = 0
+    //    nexus_sdk::KnownErrorCodes::ExitSuccess as u32,
     //    &15,   // z = 15
     //    &path, // path to expected program binary
     //    &[]    // no associated data,
     // ).expect("failed to verify proof");
 
     print!("Verifying execution...");
+
+    #[rustfmt::skip]
     proof
         .verify_expected::<u32, u32>(
             &5,   // x = 5
-            0,    // exit code = 0
+            nexus_sdk::KnownErrorCodes::ExitSuccess as u32,
             &15,  // z = 15
             &elf, // expected elf (program binary)
             &[],  // no associated data,

sdk/examples/stwo_nobuild.rs

@@ -28,7 +28,10 @@ fn main() {
         ">>>>> Logging\n{}<<<<<",
         view.logs().expect("failed to retrieve debug logs").join("")
     );
-    assert_eq!(view.exit_code().expect("failed to retrieve exit code"), 0);
+    assert_eq!(
+        view.exit_code().expect("failed to retrieve exit code"),
+        nexus_sdk::KnownErrorCodes::ExitSuccess as u32
+    );
 
     // Normally the prover communicates the seralized proof to the verifier who deserializes it.
     //
@@ -46,17 +49,19 @@ fn main() {
     // print!("Verifying execution...");
     // proof.verify_expected_from_program_path::<&str, (), ()>(
     //    &(),   // no public input
-    //    0,     // exit code = 0
+    //    nexus_sdk::KnownErrorCodes::ExitSuccess as u32,
     //    &(),   // no public output
     //    &path, // path to expected program binary
     //    &[]    // no associated data,
     // ).expect("failed to verify proof");
 
     print!("Verifying execution...");
+
+    #[rustfmt::skip]
     proof
         .verify_expected::<(), ()>(
             &(),  // no public input
-            0,    // exit code = 0
+            nexus_sdk::KnownErrorCodes::ExitSuccess as u32,
             &(),  // no public output
             &elf, // expected elf (program binary)
             &[],  // no associated data,