Skip to content

Commit edd7e4a

Browse files
committed
fix argument proof_type
1 parent 0726970 commit edd7e4a

File tree

1 file changed

+25
-8
lines changed

1 file changed

+25
-8
lines changed
Lines changed: 25 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,17 +1,17 @@
11
#!/bin/bash
22

3-
PROOF_TYPE="sp1" #sp1|groth16|plonk|risc0
3+
PROOF_GENERATOR_ADDR=0x66f9664f97F2b50F62D13eA064982f936dE76657
44

55
RPC_URL=${RPC_URL:-http://localhost:8545}
66
if [ -z "$NETWORK" ]; then
77
echo "NETWORK is not set. Setting it to devnet"
88
NETWORK="devnet"
99
fi
1010

11-
if [ -z $1 ]; then
11+
if [ -z $ ]; then
1212
echo "Proof type not provided, using SP1 default"
1313
else
14-
PROOF_TYPE=$1
14+
PROOF_TYPE="sp1" #sp1|groth16|plonk|risc0
1515
fi
1616

1717
echo "Sending $PROOF_TYPE proof to the batcher"
@@ -23,7 +23,7 @@ if [ $PROOF_TYPE == "sp1" ]; then
2323
--proving_system SP1 \
2424
--proof ../../scripts/test_files/sp1/sp1_fibonacci_4_1_3.proof \
2525
--vm_program ../../scripts/test_files/sp1/sp1_fibonacci_4_1_3.elf \
26-
--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 \
26+
--proof_generator_addr $PROOF_GENERATOR_ADDR \
2727
--random_address \
2828
--rpc_url $RPC_URL \
2929
--network $NETWORK
@@ -35,18 +35,35 @@ elif [ $PROOF_TYPE == "groth16" ]; then
3535
--proof ../../scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_1_groth16.proof \
3636
--public_input ../../scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_1_groth16.pub \
3737
--vk ../../scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_1_groth16.vk \
38-
--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 \
38+
--proof_generator_addr $PROOF_GENERATOR_ADD$ \
3939
--random_address \
4040
--rpc_url $RPC_URL \
4141
--network $NETWORK
4242

4343
elif [ $PROOF_TYPE == "plonk" ]; then
44-
echo "TOD plonk"
44+
cd batcher/aligned/
45+
cargo run --release -- submit \
46+
--proving_system GnarkPlonkBn254 \
47+
--proof ../../scripts/test_files/gnark_plonk_bn254_script/plonk.proof \
48+
--public_input ../../scripts/test_files/gnark_plonk_bn254_script/plonk_pub_input.pub \
49+
--vk ../../scripts/test_files/gnark_plonk_bn254_script/plonk.vk \
50+
--proof_generator_addr $PROOF_GENERATOR_ADD$ \
51+
--random_address \
52+
--rpc_url $RPC_URL \
53+
--network $NETWORK
4554

4655
elif [ $PROOF_TYPE == "risc0" ]; then
47-
echo "TODO risc0 "
56+
cd batcher/aligned/
57+
cargo run --release -- submit \
58+
--proving_system Risc0 \
59+
--proof ../../scripts/test_files/risc_zero/no_public_inputs/risc_zero_no_pub_input_2_0.proof \
60+
--vm_program ../../scripts/test_files/risc_zero/no_public_inputs/no_pub_input_id_2_0.bin \
61+
--proof_generator_addr $PROOF_GENERATOR_ADD$ \
62+
--random_address \
63+
--rpc_url $RPC_URL \
64+
--network $NETWORK
4865

4966
else
50-
echo "Incorrect proof type provided"
67+
echo "Incorrect proof type provided $1"
5168
exit 1
5269
fi

0 commit comments

Comments
 (0)