Update logs

genlog.sh

@@ -7,5 +7,5 @@ fi
 LEN=$(echo "2 ^ $1" | bc)
 echo $LEN
 echo "Generating output logs for input length ${LEN} bytes."
-command time -v --output=./logs/time_output_${LEN}.txt ./target/release/examples/sha512 $1 > ./logs/output_${LEN}.txt
+command time -l -h -o ./logs/time_output_${LEN}.txt ./target/release/examples/sha512 $1 > ./logs/output_${LEN}.txt
 echo "See logs directory for output files"

genlog_all.sh

@@ -4,14 +4,14 @@ for i in {16..6}
 do
     LEN=$(echo "2 ^ $i" | bc)
     echo "Generating output logs for input length ${LEN} bytes."
-    command time -v --output=./logs/time_output_${LEN}.txt ./target/release/examples/sha512 $i > ./logs/output_${LEN}.txt
+    command time -l -h -o ./logs/time_output_${LEN}.txt ./target/release/examples/sha512 $i > ./logs/output_${LEN}.txt
     if [ $i -ne 6 ]; then
         if [ $i -gt 10 ]; then
             echo "Sleeping for 60 seconds to give the CPU a break"
-            sleep 60s
+            sleep 60
         else
             echo "Sleeping for 30 seconds to give the CPU a break"
-            sleep 30s
+            sleep 30
         fi
     fi
 done

logs/output_1024.txt

@@ -1,34 +1,34 @@
 Nova-based SHA512 compression function iterations
 =========================================================
 Producing public parameters...
-PublicParams::setup, took 5.631631182s 
+PublicParams::setup, took 5.320729542s 
 Number of constraints per step (primary circuit): 78415
 Number of constraints per step (secondary circuit): 10347
 Number of variables per step (primary circuit): 78331
 Number of variables per step (secondary circuit): 10329
 Generating a RecursiveSNARK...
-RecursiveSNARK::prove_step 0: true, took 81.667463ms 
-RecursiveSNARK::prove_step 1: true, took 136.165267ms 
-RecursiveSNARK::prove_step 2: true, took 158.827789ms 
-RecursiveSNARK::prove_step 3: true, took 168.778752ms 
-RecursiveSNARK::prove_step 4: true, took 169.431349ms 
-RecursiveSNARK::prove_step 5: true, took 170.595687ms 
-RecursiveSNARK::prove_step 6: true, took 175.124493ms 
-RecursiveSNARK::prove_step 7: true, took 174.987901ms 
-RecursiveSNARK::prove_step 8: true, took 183.683305ms 
-Total time taken by RecursiveSNARK::prove_steps: 1.419471539s
+RecursiveSNARK::prove_step 0: true, took 708ns 
+RecursiveSNARK::prove_step 1: true, took 128.103541ms 
+RecursiveSNARK::prove_step 2: true, took 155.023417ms 
+RecursiveSNARK::prove_step 3: true, took 159.492291ms 
+RecursiveSNARK::prove_step 4: true, took 165.25725ms 
+RecursiveSNARK::prove_step 5: true, took 170.972208ms 
+RecursiveSNARK::prove_step 6: true, took 172.62175ms 
+RecursiveSNARK::prove_step 7: true, took 174.717917ms 
+RecursiveSNARK::prove_step 8: true, took 183.324333ms 
+Total time taken by RecursiveSNARK::prove_steps: 1.310873666s
 Verifying a RecursiveSNARK...
-RecursiveSNARK::verify: true, took 184.503329ms
+RecursiveSNARK::verify: true, took 150.88125ms
 Generating a CompressedSNARK using Spartan with IPA-PC...
-CompressedSNARK::prove: true, took 6.549900276s
-Total proving time is 9.774121711s
-CompressedSNARK::len 10401 bytes
+CompressedSNARK::prove: true, took 7.895251s
+Total proving time is 9.965042583s
+CompressedSNARK::len 10300 bytes
 Verifying a CompressedSNARK...
-CompressedSNARK::verify: true, took 227.635137ms
+CompressedSNARK::verify: true, took 286.810875ms
 =========================================================
-Public parameters generation time: 5.631631182s 
-Total proving time (excl pp generation): 9.774121711s
-Total verification time: 227.635137ms
+Public parameters generation time: 5.320729542s 
+Total proving time (excl pp generation): 9.965042583s
+Total verification time: 286.810875ms
 =========================================================
 Expected value of final hash = "8efb4f73c5655351c444eb109230c556d39e2c7624e9c11abc9e3fb4b9b9254218cc5085b454a9698d085cfa92198491f07a723be4574adc70617b73eb0b6461"
 Actual value of final hash   = "8efb4f73c5655351c444eb109230c556d39e2c7624e9c11abc9e3fb4b9b9254218cc5085b454a9698d085cfa92198491f07a723be4574adc70617b73eb0b6461"

logs/output_128.txt

@@ -1,27 +1,27 @@
 Nova-based SHA512 compression function iterations
 =========================================================
 Producing public parameters...
-PublicParams::setup, took 5.632879184s 
+PublicParams::setup, took 5.33493275s 
 Number of constraints per step (primary circuit): 78415
 Number of constraints per step (secondary circuit): 10347
 Number of variables per step (primary circuit): 78331
 Number of variables per step (secondary circuit): 10329
 Generating a RecursiveSNARK...
-RecursiveSNARK::prove_step 0: true, took 81.48383ms 
-RecursiveSNARK::prove_step 1: true, took 148.272726ms 
-Total time taken by RecursiveSNARK::prove_steps: 229.803687ms
+RecursiveSNARK::prove_step 0: true, took 833ns 
+RecursiveSNARK::prove_step 1: true, took 137.129958ms 
+Total time taken by RecursiveSNARK::prove_steps: 137.2095ms
 Verifying a RecursiveSNARK...
-RecursiveSNARK::verify: true, took 110.784412ms
+RecursiveSNARK::verify: true, took 94.709958ms
 Generating a CompressedSNARK using Spartan with IPA-PC...
-CompressedSNARK::prove: true, took 6.40368091s
-Total proving time is 8.363046923s
-CompressedSNARK::len 10370 bytes
+CompressedSNARK::prove: true, took 7.839859125s
+Total proving time is 8.687329542s
+CompressedSNARK::len 10263 bytes
 Verifying a CompressedSNARK...
-CompressedSNARK::verify: true, took 212.494493ms
+CompressedSNARK::verify: true, took 249.140125ms
 =========================================================
-Public parameters generation time: 5.632879184s 
-Total proving time (excl pp generation): 8.363046923s
-Total verification time: 212.494493ms
+Public parameters generation time: 5.33493275s 
+Total proving time (excl pp generation): 8.687329542s
+Total verification time: 249.140125ms
 =========================================================
 Expected value of final hash = "ab942f526272e456ed68a979f50202905ca903a141ed98443567b11ef0bf25a552d639051a01be58558122c58e3de07d749ee59ded36acf0c55cd91924d6ba11"
 Actual value of final hash   = "ab942f526272e456ed68a979f50202905ca903a141ed98443567b11ef0bf25a552d639051a01be58558122c58e3de07d749ee59ded36acf0c55cd91924d6ba11"