add required staff

Signed-off-by: noelwei <fan@scroll.io>

zkvm-prover/.work/.gitignore

@@ -0,0 +1 @@
+*.vmexe

zkvm-prover/.work/batch/openvm.toml

@@ -0,0 +1,34 @@
+[app_fri_params.fri_params]
+log_blowup = 1
+log_final_poly_len = 0
+num_queries = 100
+proof_of_work_bits = 16
+
+[app_vm_config.rv32i]
+
+[app_vm_config.rv32m]
+
+[app_vm_config.io]
+
+[app_vm_config.keccak]
+
+[app_vm_config.castf]
+
+[app_vm_config.modular]
+supported_modulus = [
+    "4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787",
+    "52435875175126190479447740508185965837690552500527637822603658699938581184513",
+]
+[app_vm_config.native]
+[app_vm_config.pairing]
+supported_curves = ["Bls12_381"]
+[app_vm_config.sha256]
+[app_vm_config.fp2]
+supported_modulus = [
+    "4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787",
+]
+[[app_vm_config.ecc.supported_curves]]
+modulus = "4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787"
+scalar = "52435875175126190479447740508185965837690552500527637822603658699938581184513"
+a = "0"
+b = "4"

zkvm-prover/.work/bundle/openvm.toml

@@ -0,0 +1,17 @@
+[app_fri_params.fri_params]
+log_blowup = 1
+log_final_poly_len = 0
+num_queries = 100
+proof_of_work_bits = 16
+
+[app_vm_config.rv32i]
+
+[app_vm_config.rv32m]
+
+[app_vm_config.io]
+
+[app_vm_config.keccak]
+
+[app_vm_config.castf]
+
+[app_vm_config.native]

zkvm-prover/.work/chunk/openvm.toml

@@ -0,0 +1,53 @@
+[app_fri_params.fri_params]
+log_blowup = 1
+log_final_poly_len = 0
+num_queries = 100
+proof_of_work_bits = 16
+
+[app_vm_config.rv32i]
+
+[app_vm_config.io]
+
+[app_vm_config.keccak]
+
+[app_vm_config.rv32m]
+range_tuple_checker_sizes = [256, 8192]
+
+[app_vm_config.bigint]
+range_tuple_checker_sizes = [256, 8192]
+
+[app_vm_config.modular]
+supported_modulus = [
+    "21888242871839275222246405745257275088696311157297823662689037894645226208583", 
+    "21888242871839275222246405745257275088548364400416034343698204186575808495617", 
+    "115792089237316195423570985008687907853269984665640564039457584007908834671663", 
+    "115792089237316195423570985008687907852837564279074904382605163141518161494337",
+    "115792089210356248762697446949407573530086143415290314195533631308867097853951",
+    "115792089210356248762697446949407573529996955224135760342422259061068512044369"
+]
+
+[app_vm_config.fp2]
+supported_modulus = ["21888242871839275222246405745257275088696311157297823662689037894645226208583"]
+
+[app_vm_config.pairing]
+supported_curves = ["Bn254"]
+
+[app_vm_config.sha256]
+
+[[app_vm_config.ecc.supported_curves]]
+modulus = "115792089237316195423570985008687907853269984665640564039457584007908834671663"
+scalar = "115792089237316195423570985008687907852837564279074904382605163141518161494337"
+a = "0"
+b = "7"
+
+[[app_vm_config.ecc.supported_curves]]
+modulus = "115792089210356248762697446949407573530086143415290314195533631308867097853951"
+scalar = "115792089210356248762697446949407573529996955224135760342422259061068512044369"
+a = "115792089210356248762697446949407573530086143415290314195533631308867097853948"
+b = "41058363725152142129326129780047268409114441015993725554835256314039467401291"
+
+[[app_vm_config.ecc.supported_curves]]
+modulus = "21888242871839275222246405745257275088696311157297823662689037894645226208583"
+scalar = "21888242871839275222246405745257275088548364400416034343698204186575808495617"
+a = "0"
+b = "3"

zkvm-prover/.work/download-release.sh

@@ -0,0 +1,20 @@
+#!/bin/bash
+
+# release version
+if [ -z "${SCROLL_ZKVM_VERSION}" ]; then
+    SCROLL_ZKVM_VERSION=$($SHELL ./print_high_zkvm_version.sh | cut -d' ' -f1|cut -c2-)
+fi
+
+echo $SCROLL_ZKVM_VERSION
+
+# chunk-circuit exe
+wget https://circuit-release.s3.us-west-2.amazonaws.com/scroll-zkvm/releases/$SCROLL_ZKVM_VERSION/chunk/app.vmexe -O chunk/app.vmexe
+
+# batch-circuit exe
+wget https://circuit-release.s3.us-west-2.amazonaws.com/scroll-zkvm/releases/$SCROLL_ZKVM_VERSION/batch/app.vmexe -O batch/app.vmexe
+
+# bundle-circuit exe
+wget https://circuit-release.s3.us-west-2.amazonaws.com/scroll-zkvm/releases/$SCROLL_ZKVM_VERSION/bundle/app.vmexe -O bundle/app.vmexe
+
+# bundle-circuit exe, legacy version, may not exist
+wget https://circuit-release.s3.us-west-2.amazonaws.com/scroll-zkvm/releases/$SCROLL_ZKVM_VERSION/bundle/app_euclidv1.vmexe -O bundle/app_euclidv1.vmexe || echo "legacy app not exist for $SCROLL_ZKVM_VERSION"

zkvm-prover/Makefile

@@ -1,5 +1,10 @@
 .PHONY: prover lint tests_binary
 
+RUST_MIN_STACK ?= 16777216
+export RUST_MIN_STACK
+
+CIRCUIT_STUFF = .work/chunk/app.vmexe .work/batch/app.vmexe .work/bundle/app.vmexe
+
 ifeq (4.3,$(firstword $(sort $(MAKE_VERSION) 4.3)))
     PLONKY3_VERSION=$(shell grep -m 1 "Plonky3.git" ./Cargo.lock | cut -d "#" -f2 | cut -c-7)
 else
@@ -46,3 +51,9 @@ lint:
 	cargo check --all-features
 	cargo clippy --all-features --all-targets -- -D warnings
 	cargo fmt --all
+
+$(CIRCUIT_STUFF):
+	bash .work/download-release.sh
+
+test_run: $(CIRCUIT_STUFF)
+	GO_TAG=${GO_TAG} GIT_REV=${GIT_REV} ZK_VERSION=${ZK_VERSION} cargo run --release -- --config ./config.json