[wip] Darude mods

Cargo.toml

@@ -31,8 +31,6 @@ strum_macros = "0.24"
 pollster = "0.2.4"
 rayon = { version = "1.5.3", optional = true }
 
-[target.'cfg(not(target_env = "msvc"))'.dependencies]
-jemallocator = "0.5.0"
 
 # taken from https://github.com/recmo/uint
 # Compilation profile for any non-workspace member.

scripts/frombinary.py

@@ -0,0 +1,11 @@
+# read the file in array-sum.proof and write it in hex to the file array-sum.proof.hex
+# this is the file that is used by the verifier
+
+import sys
+import binascii
+
+
+data = open(sys.argv[1], 'r').read()
+# decode data from hex into binary string
+data = binascii.unhexlify(data)
+open(sys.argv[2], 'wb').write(data)

scripts/gen.sh

@@ -0,0 +1,5 @@
+set -ex
+
+python2 binary.py memory.bin memory.bin.hex
+python2 binary.py trace.bin trace.bin.hex
+

scripts/tobinary.py

@@ -0,0 +1,7 @@
+# read the file in array-sum.proof and write it in hex to the file array-sum.proof.hex
+# this is the file that is used by the verifier
+
+import sys
+
+data = open(sys.argv[1], 'rb').read()
+open(sys.argv[2], 'wb').write(data.encode('hex'))

scripts/verify.sh

@@ -0,0 +1,3 @@
+cargo +nightly run -r -F asm -- \
+    verify --program array-sum.json \
+           --proof proof.local.bin

src/binary.rs

@@ -42,7 +42,7 @@ pub struct RegisterState {
     pub pc: usize,
 }
 
-pub struct RegisterStates(Vec<RegisterState>);
+pub struct RegisterStates(pub Vec<RegisterState>);
 
 impl RegisterStates {
     /// Parses trace data in the format outputted by a `cairo-run`.
@@ -67,7 +67,7 @@ impl Deref for RegisterStates {
 }
 
 #[derive(Debug)]
-pub struct Memory(Vec<Option<Word>>);
+pub struct Memory(pub Vec<Option<Word>>);
 
 impl Memory {
     /// Parses the partial memory data outputted by a `cairo-run`.

src/main.rs

@@ -2,7 +2,6 @@ use ark_serialize::CanonicalDeserialize;
 use ark_serialize::CanonicalSerialize;
 // use more performant global allocator
 #[cfg(not(target_env = "msvc"))]
-use jemallocator::Jemalloc;
 use ministark::Proof;
 use ministark::ProofOptions;
 use ministark::Prover;
@@ -20,10 +19,6 @@ use std::path::PathBuf;
 use std::time::Instant;
 use structopt::StructOpt;
 
-#[cfg(not(target_env = "msvc"))]
-#[global_allocator]
-static GLOBAL: Jemalloc = Jemalloc;
-
 #[derive(StructOpt, Debug)]
 #[structopt(name = "sandstorm", about = "cairo prover")]
 enum SandstormOptions {