chore: preparing for WASM JS verifier (#43)

## What ❔

* changes to make verifier work with wasm (fixed missing function and
u32)
* updated zksyncos app.bin
* cli tool to return a program_proof file when running in recursion mode
(which can later be sent to the browser)

## Why ❔

* preparing for verifier to run in WASM.

Author: mm-zk

examples/zksync_os/README.md

@@ -5,9 +5,28 @@ This directory contains a binary built from ZKsyncOS repo.
 In the future, we should have a proper release pipeline there, so this will no longer be needed.
 
 
-Binary built from a80140023d856c4fbe400c810291be474ad72cfe (May 16).
+Binary built from 607e52db0e10b4bbce9cd163169c15f59a075a5a (tag: 0.0.1 + fix from PR-40) (June 6).
 
 
 To rebuild:
 * checkout zksync-os repo
-* cd zksync_os && ./dump_bin.sh
+* cd zksync_os && ./dump_bin.sh
+* cp app.bin zksync-airbender/examples/zksync_os/app.bin
+
+And in this repo:
+
+```
+cargo run --release -p cli generate-vk --bin app.bin --machine standard --output app.vk.json
+```
+
+You can also run:
+```
+cargo run --release -p cli generate-constants app.bin --universal-verifier
+```
+
+to see the final verification keys:
+
+```
+End params: [450952736, 266097338, 57980520, 3983253845, 3619491068, 640210741, 3659638418, 635428486]
+Aux values: [1395365915, 2489455614, 2042893390, 2587610735, 4249872676, 4254236201, 368137084, 3216712393]
+```

examples/zksync_os/app.bin

@@ -0,0 +1,15 @@
+{
+  "machine_type": "Standard",
+  "bytecode_hash_hex": "abf94b03527ec9f5d7b81cccd79f48948316328f935cda9ed1c1911c97c53074",
+  "params": [
+    1018317561,
+    3153643269,
+    3950945865,
+    594785374,
+    205095070,
+    139114645,
+    1195938554,
+    71465671
+  ],
+  "params_hex": "3cb24af9bbf8c705eb7ea6492373b45e0c39809e084ab895474892fa04427ac7"
+}

examples/zksync_os/app.vk.json

@@ -58,6 +58,10 @@ unsafe fn prefetch_next_line(ptr: *const Mersenne31Field) {
     _mm_prefetch(ptr as *const i8, _MM_HINT_ET0);
 }
 
+#[cfg(not(any(target_arch = "x86_64", target_arch = "aarch64")))]
+#[inline(always)]
+unsafe fn prefetch_next_line(ptr: *const Mersenne31Field) {}
+
 use std::time::Instant;
 pub struct Timer {
     starting_time: Instant,

fft/src/lib.rs

@@ -31,7 +31,7 @@ pub fn adjust_to_zero_c0_var_length<const N: usize, A: Allocator + Clone>(
     assert!(columns_range.end <= trace_columns.width());
     let trace_len = trace_columns.len();
     // assert no u64 overflow
-    assert!(worker.num_cores * trace_len < (1 << 32));
+    assert!((worker.num_cores as u64) * (trace_len as u64) < (1u64 << 32));
     let num_chunks = worker.get_geometry(trace_len - 1).len();
     let mut per_thread_accumulators = vec![vec![0u64; columns_range.len()]; num_chunks];
 

fft/src/row_major/mod.rs

@@ -310,7 +310,15 @@ pub fn create_proofs(
                 serialize_to_file(
                     &recursion_proof_metadata,
                     &Path::new(output_dir).join("metadata.json"),
-                )
+                );
+                let program_proof = program_proof_from_proof_list_and_metadata(
+                    &recursion_proof_list,
+                    &recursion_proof_metadata,
+                );
+                serialize_to_file(
+                    &program_proof,
+                    &Path::new(output_dir).join("recursion_program_proof.json"),
+                );
             }
             ProvingLimit::FinalProof => {
                 let program_proof =