more programs

.github/workflows/suite.yml

@@ -31,7 +31,10 @@ jobs:
     strategy:
       matrix:
         s3_folder: 
-          - s3://sp1-testing-suite/fibonacci-17k
+          - fibonacci-17k
+          - ssz-withdrawals
+          - tendermint
+          - rsp-20526624
     steps:
       - name: Checkout sources
         uses: actions/checkout@v4
@@ -46,8 +49,8 @@ jobs:
       - name: Copy files from S3
         run: |
           mkdir -p workdir
-          aws s3 cp ${{ matrix.s3_folder }}/program.bin workdir/program.bin
-          aws s3 cp ${{ matrix.s3_folder }}/stdin.bin workdir/stdin.bin
+          aws s3 cp s3://sp1-testing-suite/${{ matrix.s3_folder }}/program.bin workdir/program.bin
+          aws s3 cp s3://sp1-testing-suite/${{ matrix.s3_folder }}/stdin.bin workdir/stdin.bin
       - name: Run sp1-perf
         uses: actions-rs/cargo@v1
         with:

.gitignore

@@ -14,6 +14,8 @@ pgo-data.profdata
 # Proofs
 **/proof-with-pis.bin
 **/proof-with-io.bin
+**/program.bin
+**/stdin.bin
 
 # Benchmark
 benchmark.csv

crates/sdk/src/action.rs

@@ -122,6 +122,17 @@ impl<'a> Prove<'a> {
         let proof_opts = ProofOpts { sp1_prover_opts: opts, timeout };
         let context = context_builder.build();
 
+        // Dump the program and stdin to files for debugging if `SP1_DUMP` is set.
+        if std::env::var("SP1_DUMP")
+            .map(|v| v == "1" || v.to_lowercase() == "true")
+            .unwrap_or(false)
+        {
+            let program = pk.elf.clone();
+            std::fs::write("program.bin", program).unwrap();
+            let stdin = bincode::serialize(&stdin).unwrap();
+            std::fs::write("stdin.bin", stdin.clone()).unwrap();
+        }
+
         prover.prove(pk, stdin, proof_opts, context, kind)
     }