Skip to content

Commit edf5974

Browse files
JuArceJuArce
committed
refactor: rename gnark files to avoid ambiguity with circom
1 parent 7b35184 commit edf5974

35 files changed

+135
-135
lines changed

‎Makefile‎

Lines changed: 57 additions & 57 deletions
Original file line numberDiff line numberDiff line change
@@ -578,77 +578,77 @@ batcher_send_risc0_burst: ## Send a burst of Risc0 fibonacci proofs to Batcher.
578578
--rpc_url $(RPC_URL) \
579579
--network $(NETWORK)
580580

581-
batcher_send_plonk_bn254_task: crates/target/release/aligned ## Send a Groth16Bn254 1!=0 proof to Batcher. Parameters: RPC_URL, NETWORK
582-
@echo "Sending Groth16Bn254 1!=0 proof to Batcher..."
581+
batcher_send_gnark_plonk_bn254_task: crates/target/release/aligned ## Send a Gnark Plonk Bn254 1!=0 proof to Batcher. Parameters: RPC_URL, NETWORK
582+
@echo "Sending Gnark Plonk Bn254 1!=0 proof to Batcher..."
583583
@cd crates/cli/ && cargo run --release -- submit \
584584
--proving_system GnarkPlonkBn254 \
585-
--proof ../../scripts/test_files/gnark_plonk_bn254_script/plonk_0_12_0.proof \
586-
--public_input ../../scripts/test_files/gnark_plonk_bn254_script/plonk_pub_input_0_12_0.pub \
587-
--vk ../../scripts/test_files/gnark_plonk_bn254_script/plonk_0_12_0.vk \
585+
--proof ../../scripts/test_files/gnark_plonk_bn254_script/gnark_plonk_0_12_0.proof \
586+
--public_input ../../scripts/test_files/gnark_plonk_bn254_script/gnark_plonk_pub_input_0_12_0.pub \
587+
--vk ../../scripts/test_files/gnark_plonk_bn254_script/gnark_plonk_0_12_0.vk \
588588
--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 \
589589
--rpc_url $(RPC_URL) \
590590
--network $(NETWORK)
591591

592-
batcher_send_plonk_bn254_burst: crates/target/release/aligned ## Send a burst of Groth16Bn254 1!=0 proofs to Batcher. Parameters: RPC_URL, NETWORK, BURST_SIZE
593-
@echo "Sending Groth16Bn254 1!=0 proof to Batcher..."
592+
batcher_send_gnark_plonk_bn254_burst: crates/target/release/aligned ## Send a burst of Gnark Plonk Bn254 1!=0 proofs to Batcher. Parameters: RPC_URL, NETWORK, BURST_SIZE
593+
@echo "Sending Gnark Plonk Bn254 1!=0 proof to Batcher..."
594594
@cd crates/cli/ && cargo run --release -- submit \
595595
--proving_system GnarkPlonkBn254 \
596-
--proof ../../scripts/test_files/gnark_plonk_bn254_script/plonk_0_12_0.proof \
597-
--public_input ../../scripts/test_files/gnark_plonk_bn254_script/plonk_pub_input_0_12_0.pub \
598-
--vk ../../scripts/test_files/gnark_plonk_bn254_script/plonk_0_12_0.vk \
596+
--proof ../../scripts/test_files/gnark_plonk_bn254_script/gnark_plonk_0_12_0.proof \
597+
--public_input ../../scripts/test_files/gnark_plonk_bn254_script/gnark_plonk_pub_input_0_12_0.pub \
598+
--vk ../../scripts/test_files/gnark_plonk_bn254_script/gnark_plonk_0_12_0.vk \
599599
--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 \
600600
--repetitions $(BURST_SIZE) \
601601
--rpc_url $(RPC_URL) \
602602
--network $(NETWORK)
603603

604-
batcher_send_plonk_bls12_381_task: crates/target/release/aligned ## Send a Groth16 BLS12-381 1!=0 proof to Batcher. Parameters: RPC_URL, NETWORK
605-
@echo "Sending Groth16 BLS12-381 1!=0 proof to Batcher..."
604+
batcher_send_gnark_plonk_bls12_381_task: crates/target/release/aligned ## Send a Gnark Plonk BLS12-381 1!=0 proof to Batcher. Parameters: RPC_URL, NETWORK
605+
@echo "Sending Gnark Plonk BLS12-381 1!=0 proof to Batcher..."
606606
@cd crates/cli/ && cargo run --release -- submit \
607607
--proving_system GnarkPlonkBls12_381 \
608-
--proof ../../scripts/test_files/gnark_plonk_bls12_381_script/plonk_0_12_0.proof \
609-
--public_input ../../scripts/test_files/gnark_plonk_bls12_381_script/plonk_pub_input_0_12_0.pub \
610-
--vk ../../scripts/test_files/gnark_plonk_bls12_381_script/plonk_0_12_0.vk \
608+
--proof ../../scripts/test_files/gnark_plonk_bls12_381_script/gnark_plonk_0_12_0.proof \
609+
--public_input ../../scripts/test_files/gnark_plonk_bls12_381_script/gnark_plonk_pub_input_0_12_0.pub \
610+
--vk ../../scripts/test_files/gnark_plonk_bls12_381_script/gnark_plonk_0_12_0.vk \
611611
--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 \
612612
--rpc_url $(RPC_URL) \
613613
--network $(NETWORK)
614614

615-
batcher_send_plonk_bls12_381_burst: crates/target/release/aligned ## Send a burst of Groth16 BLS12-381 1!=0 proofs to Batcher. Parameters: RPC_URL, NETWORK, BURST_SIZE
616-
@echo "Sending Groth16 BLS12-381 1!=0 proof to Batcher..."
615+
batcher_send_gnark_plonk_bls12_381_burst: crates/target/release/aligned ## Send a burst of Gnark Plonk BLS12-381 1!=0 proofs to Batcher. Parameters: RPC_URL, NETWORK, BURST_SIZE
616+
@echo "Sending Gnark Plonk BLS12-381 1!=0 proof to Batcher..."
617617
@cd crates/cli/ && cargo run --release -- submit \
618618
--proving_system GnarkPlonkBls12_381 \
619-
--proof ../../scripts/test_files/gnark_plonk_bls12_381_script/plonk_0_12_0.proof \
620-
--public_input ../../scripts/test_files/gnark_plonk_bls12_381_script/plonk_pub_input_0_12_0.pub \
621-
--vk ../../scripts/test_files/gnark_plonk_bls12_381_script/plonk_0_12_0.vk \
619+
--proof ../../scripts/test_files/gnark_plonk_bls12_381_script/gnark_plonk_0_12_0.proof \
620+
--public_input ../../scripts/test_files/gnark_plonk_bls12_381_script/gnark_plonk_pub_input_0_12_0.pub \
621+
--vk ../../scripts/test_files/gnark_plonk_bls12_381_script/gnark_plonk_0_12_0.vk \
622622
--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 \
623623
--repetitions $(BURST_SIZE) \
624624
--rpc_url $(RPC_URL) \
625625
--network $(NETWORK)
626626

627-
batcher_send_groth16_bn254_task: crates/target/release/aligned ## Send a Groth16Bn254 1!=0 proof to Batcher. Parameters: RPC_URL, NETWORK
628-
@echo "Sending Groth16Bn254 1!=0 proof to Batcher..."
627+
batcher_send_gnark_groth16_bn254_task: crates/target/release/aligned ## Send a Gnark Groth16 Bn254 1!=0 proof to Batcher. Parameters: RPC_URL, NETWORK
628+
@echo "Sending Gnark Groth 16Bn254 1!=0 proof to Batcher..."
629629
@cd crates/cli/ && cargo run --release -- submit \
630-
--proving_system Groth16Bn254 \
631-
--proof ../../scripts/test_files/gnark_groth16_bn254_script/groth16_0_12_0.proof \
632-
--public_input ../../scripts/test_files/gnark_groth16_bn254_script/groth16_0_12_0.pub \
633-
--vk ../../scripts/test_files/gnark_groth16_bn254_script/groth16_0_12_0.vk \
630+
--proving_system GnarkGroth16Bn254 \
631+
--proof ../../scripts/test_files/gnark_groth16_bn254_script/gnark_groth16_0_12_0.proof \
632+
--public_input ../../scripts/test_files/gnark_groth16_bn254_script/gnark_groth16_0_12_0.pub \
633+
--vk ../../scripts/test_files/gnark_groth16_bn254_script/gnark_groth16_0_12_0.vk \
634634
--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 \
635635
--rpc_url $(RPC_URL) \
636636
--network $(NETWORK)
637637

638-
batcher_send_groth16_bn254_burst: crates/target/release/aligned ## Send a burst of Groth16Bn254 1!=0 proofs to Batcher. Parameters: RPC_URL, NETWORK, BURST_SIZE
639-
@echo "Sending Groth16Bn254 1!=0 proof to Batcher..."
638+
batcher_send_gnark_groth16_bn254_burst: crates/target/release/aligned ## Send a burst of Gnark Groth16 Bn254 1!=0 proofs to Batcher. Parameters: RPC_URL, NETWORK, BURST_SIZE
639+
@echo "Sending Gnark Groth16 Bn254 1!=0 proof to Batcher..."
640640
@cd crates/cli/ && cargo run --release -- submit \
641-
--proving_system Groth16Bn254 \
642-
--proof ../../scripts/test_files/gnark_groth16_bn254_script/groth16_0_12_0.proof \
643-
--public_input ../../scripts/test_files/gnark_groth16_bn254_script/groth16_0_12_0.pub \
644-
--vk ../../scripts/test_files/gnark_groth16_bn254_script/groth16_0_12_0.vk \
641+
--proving_system GnarkGroth16Bn254 \
642+
--proof ../../scripts/test_files/gnark_groth16_bn254_script/gnark_groth16_0_12_0.proof \
643+
--public_input ../../scripts/test_files/gnark_groth16_bn254_script/gnark_groth16_0_12_0.pub \
644+
--vk ../../scripts/test_files/gnark_groth16_bn254_script/gnark_groth16_0_12_0.vk \
645645
--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 \
646646
--repetitions $(BURST_SIZE) \
647647
--rpc_url $(RPC_URL) \
648648
--network $(NETWORK)
649649

650650
## TODO: send_burst_tasks.sh and send_infinite_tasks.sh does a similar thing. We could delete one
651-
batcher_send_groth16_bn254_infinite: crates/target/release/aligned ## Send a different Groth16 BN254 proof using the client every 3 seconds. Parameters: BURST_SIZE, START_COUNTER
651+
batcher_send_gnark_groth16_bn254_infinite: crates/target/release/aligned ## Send a different Gnark Groth16 BN254 proof using the client every 3 seconds. Parameters: BURST_SIZE, START_COUNTER
652652
@echo "Sending a burst of proofs to Batcher..."
653653
@mkdir -p scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs
654654
@./crates/cli/send_burst_tasks.sh $(BURST_SIZE) $(START_COUNTER)
@@ -662,10 +662,10 @@ batcher_send_burst_with_random_address: ## Send a burst of proofs with random ad
662662
__TASK_SENDER__:
663663
BURST_TIME_SECS ?= 3
664664

665-
task_sender_generate_groth16_proofs:
665+
task_sender_generate_gnark_groth16_proofs:
666666
@cd crates/task-sender && \
667667
cargo run --release -- generate-proofs \
668-
--number-of-proofs $(NUMBER_OF_PROOFS) --proof-type groth16 \
668+
--number-of-proofs $(NUMBER_OF_PROOFS) --proof-type gnark_groth16 \
669669
--dir-to-save-proofs $(CURDIR)/scripts/test_files/task_sender/proofs
670670

671671
# ===== DEVNET =====
@@ -1058,40 +1058,40 @@ docker_batcher_send_risc0_burst:
10581058
--rpc_url $(DOCKER_RPC_URL) \
10591059
--max_fee 0.1ether
10601060

1061-
docker_batcher_send_plonk_bn254_burst:
1062-
@echo "Sending Groth16Bn254 1!=0 task to Batcher..."
1061+
docker_batcher_send_gnark_plonk_bn254_burst:
1062+
@echo "Sending Gnark Plonk Bn254 1!=0 task to Batcher..."
10631063
docker exec $(shell docker ps | grep batcher | awk '{print $$1}') aligned submit \
10641064
--private_key $(DOCKER_PROOFS_PRIVATE_KEY) \
10651065
--proving_system GnarkPlonkBn254 \
1066-
--proof ./scripts/test_files/gnark_plonk_bn254_script/plonk_0_12_0.proof \
1067-
--public_input ./scripts/test_files/gnark_plonk_bn254_script/plonk_pub_input_0_12_0.pub \
1068-
--vk ./scripts/test_files/gnark_plonk_bn254_script/plonk_0_12_0.vk \
1066+
--proof ./scripts/test_files/gnark_plonk_bn254_script/gnark_plonk_0_12_0.proof \
1067+
--public_input ./scripts/test_files/gnark_plonk_bn254_script/gnark_plonk_pub_input_0_12_0.pub \
1068+
--vk ./scripts/test_files/gnark_plonk_bn254_script/gnark_plonk_0_12_0.vk \
10691069
--proof_generator_addr $(PROOF_GENERATOR_ADDRESS) \
10701070
--rpc_url $(DOCKER_RPC_URL) \
10711071
--repetitions $(DOCKER_BURST_SIZE) \
10721072
--max_fee 0.1ether
10731073

1074-
docker_batcher_send_plonk_bls12_381_burst:
1075-
@echo "Sending Groth16 BLS12-381 1!=0 task to Batcher..."
1074+
docker_batcher_send_gnark_plonk_bls12_381_burst:
1075+
@echo "Sending Gnark Plonk BLS12-381 1!=0 task to Batcher..."
10761076
docker exec $(shell docker ps | grep batcher | awk '{print $$1}') aligned submit \
10771077
--private_key $(DOCKER_PROOFS_PRIVATE_KEY) \
10781078
--proving_system GnarkPlonkBls12_381 \
1079-
--proof ./scripts/test_files/gnark_plonk_bls12_381_script/plonk_0_12_0.proof \
1080-
--public_input ./scripts/test_files/gnark_plonk_bls12_381_script/plonk_pub_input_0_12_0.pub \
1081-
--vk ./scripts/test_files/gnark_plonk_bls12_381_script/plonk_0_12_0.vk \
1079+
--proof ./scripts/test_files/gnark_plonk_bls12_381_script/gnark_plonk_0_12_0.proof \
1080+
--public_input ./scripts/test_files/gnark_plonk_bls12_381_script/gnark_plonk_pub_input_0_12_0.pub \
1081+
--vk ./scripts/test_files/gnark_plonk_bls12_381_script/gnark_plonk_0_12_0.vk \
10821082
--proof_generator_addr $(PROOF_GENERATOR_ADDRESS) \
10831083
--repetitions $(DOCKER_BURST_SIZE) \
10841084
--rpc_url $(DOCKER_RPC_URL) \
10851085
--max_fee 0.1ether
10861086

1087-
docker_batcher_send_groth16_burst:
1087+
docker_batcher_send_gnark_groth16_burst:
10881088
@echo "Sending Groth16 BLS12-381 1!=0 task to Batcher..."
10891089
docker exec $(shell docker ps | grep batcher | awk '{print $$1}') aligned submit \
10901090
--private_key $(DOCKER_PROOFS_PRIVATE_KEY) \
1091-
--proving_system Groth16Bn254 \
1092-
--proof ./scripts/test_files/gnark_groth16_bn254_script/groth16_0_12_0.proof \
1093-
--public_input ./scripts/test_files/gnark_groth16_bn254_script/groth16_0_12_0.pub \
1094-
--vk ./scripts/test_files/gnark_groth16_bn254_script/groth16_0_12_0.vk \
1091+
--proving_system GnarkGroth16Bn254 \
1092+
--proof ./scripts/test_files/gnark_groth16_bn254_script/gnark_groth16_0_12_0.proof \
1093+
--public_input ./scripts/test_files/gnark_groth16_bn254_script/gnark_groth16_0_12_0.pub \
1094+
--vk ./scripts/test_files/gnark_groth16_bn254_script/gnark_groth16_0_12_0.vk \
10951095
--proof_generator_addr $(PROOF_GENERATOR_ADDRESS) \
10961096
--repetitions $(DOCKER_BURST_SIZE) \
10971097
--rpc_url $(DOCKER_RPC_URL) \
@@ -1101,9 +1101,9 @@ docker_batcher_send_groth16_burst:
11011101
docker_batcher_send_all_proofs_burst:
11021102
@$(MAKE) docker_batcher_send_sp1_burst
11031103
@$(MAKE) docker_batcher_send_risc0_burst
1104-
@$(MAKE) docker_batcher_send_plonk_bn254_burst
1105-
@$(MAKE) docker_batcher_send_plonk_bls12_381_burst
1106-
@$(MAKE) docker_batcher_send_groth16_burst
1104+
@$(MAKE) docker_batcher_send_gnark_plonk_bn254_burst
1105+
@$(MAKE) docker_batcher_send_gnark_plonk_bls12_381_burst
1106+
@$(MAKE) docker_batcher_send_gnark_groth16_burst
11071107

11081108
docker_batcher_send_infinite_groth16:
11091109
docker exec $(shell docker ps | grep batcher | awk '{print $$1}') \
@@ -1117,10 +1117,10 @@ docker_batcher_send_infinite_groth16:
11171117
aligned submit \
11181118
--rpc_url $(DOCKER_RPC_URL) \
11191119
--repetitions $(DOCKER_BURST_SIZE) \
1120-
--proving_system Groth16Bn254 \
1121-
--proof scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_$${counter}_groth16_0_12_0.proof \
1122-
--public_input scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_$${counter}_groth16_0_12_0.pub \
1123-
--vk scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_$${counter}_groth16_0_12_0.vk \
1120+
--proving_system GnarkGroth16Bn254 \
1121+
--proof scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_$${counter}_gnark_groth16_0_12_0.proof \
1122+
--public_input scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_$${counter}_gnark_groth16_0_12_0.pub \
1123+
--vk scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_$${counter}_gnark_groth16_0_12_0.vk \
11241124
--proof_generator_addr $(PROOF_GENERATOR_ADDRESS); \
11251125
--max_fee 0.1ether
11261126
sleep $${timer}; \

‎alerts/sender_with_alert.sh‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -106,11 +106,11 @@ do
106106
## Send Proof
107107
echo "Submitting $REPETITIONS proofs $x != 0"
108108
submit=$(aligned submit \
109-
--proving_system Groth16Bn254 \
109+
--proving_system GnarkGroth16Bn254 \
110110
--repetitions $REPETITIONS \
111-
--proof "./scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_groth16_0_12_0.proof" \
112-
--public_input "./scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_groth16_0_12_0.pub" \
113-
--vk "./scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_groth16_0_12_0.vk" \
111+
--proof "./scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_gnark_groth16_0_12_0.proof" \
112+
--public_input "./scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_gnark_groth16_0_12_0.pub" \
113+
--vk "./scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_gnark_groth16_0_12_0.vk" \
114114
--private_key $PRIVATE_KEY \
115115
--rpc_url $RPC_URL \
116116
--network $NETWORK \

‎common/proving_systems.go‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -13,13 +13,13 @@ type ProvingSystemId uint16
1313
const (
1414
GnarkPlonkBls12_381 ProvingSystemId = iota
1515
GnarkPlonkBn254
16-
Groth16Bn254
16+
GnarkGroth16Bn254
1717
SP1
1818
Risc0
1919
)
2020

2121
func (t *ProvingSystemId) String() string {
22-
return [...]string{"GnarkPlonkBls12_381", "GnarkPlonkBn254", "Groth16Bn254", "SP1"}[*t]
22+
return [...]string{"GnarkPlonkBls12_381", "GnarkPlonkBn254", "GnarkGroth16Bn254", "SP1"}[*t]
2323
}
2424

2525
func ProvingSystemIdFromString(provingSystem string) (ProvingSystemId, error) {
@@ -28,8 +28,8 @@ func ProvingSystemIdFromString(provingSystem string) (ProvingSystemId, error) {
2828
return GnarkPlonkBls12_381, nil
2929
case "GnarkPlonkBn254":
3030
return GnarkPlonkBn254, nil
31-
case "Groth16Bn254":
32-
return Groth16Bn254, nil
31+
case "GnarkGroth16Bn254":
32+
return GnarkGroth16Bn254, nil
3333
case "SP1":
3434
return SP1, nil
3535
case "Risc0":
@@ -45,8 +45,8 @@ func ProvingSystemIdToString(provingSystem ProvingSystemId) (string, error) {
4545
return "GnarkPlonkBls12_381", nil
4646
case GnarkPlonkBn254:
4747
return "GnarkPlonkBn254", nil
48-
case Groth16Bn254:
49-
return "Groth16Bn254", nil
48+
case GnarkGroth16Bn254:
49+
return "GnarkGroth16Bn254", nil
5050
case SP1:
5151
return "SP1", nil
5252
case Risc0:
@@ -99,8 +99,8 @@ func (s *ProvingSystemId) UnmarshalCBOR(data []byte) error {
9999
*s = GnarkPlonkBls12_381
100100
case "GnarkPlonkBn254":
101101
*s = GnarkPlonkBn254
102-
case "Groth16Bn254":
103-
*s = Groth16Bn254
102+
case "GnarkGroth16Bn254":
103+
*s = GnarkGroth16Bn254
104104
case "SP1":
105105
*s = SP1
106106
case "Risc0":

‎crates/batcher/src/gnark/mod.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -44,7 +44,7 @@ pub fn verify_gnark(
4444
ProvingSystemId::GnarkPlonkBls12_381 => unsafe {
4545
VerifyPlonkProofBLS12_381(proof, public_input, verification_key)
4646
},
47-
ProvingSystemId::Groth16Bn254 => unsafe {
47+
ProvingSystemId::GnarkGroth16Bn254 => unsafe {
4848
VerifyGroth16ProofBN254(proof, public_input, verification_key)
4949
},
5050
_ => false,

‎crates/batcher/src/zk_utils/mod.rs‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -38,7 +38,7 @@ fn verify_internal(verification_data: &VerificationData) -> bool {
3838
}
3939
ProvingSystemId::GnarkPlonkBls12_381
4040
| ProvingSystemId::GnarkPlonkBn254
41-
| ProvingSystemId::Groth16Bn254 => {
41+
| ProvingSystemId::GnarkGroth16Bn254 => {
4242
let Some(vk) = verification_data.verification_key.as_ref() else {
4343
warn!("Gnark verification key missing");
4444
return false;
@@ -79,7 +79,7 @@ mod test {
7979
let verifiers = vec![
8080
ProvingSystemId::GnarkPlonkBls12_381,
8181
ProvingSystemId::GnarkPlonkBn254,
82-
ProvingSystemId::Groth16Bn254,
82+
ProvingSystemId::GnarkGroth16Bn254,
8383
ProvingSystemId::SP1,
8484
ProvingSystemId::Risc0,
8585
];
@@ -90,7 +90,7 @@ mod test {
9090
ProvingSystemId::Risc0 => (),
9191
ProvingSystemId::GnarkPlonkBls12_381 => (),
9292
ProvingSystemId::GnarkPlonkBn254 => (),
93-
ProvingSystemId::Groth16Bn254 => (),
93+
ProvingSystemId::GnarkGroth16Bn254 => (),
9494
}
9595
}
9696
verifiers

‎crates/cli/generate_proof_and_send.sh‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -36,9 +36,9 @@ cmd=(
3636
submit
3737
--proving_system Groth16Bn254
3838
--repetitions "$repetitions"
39-
--proof "scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_groth16_0_12_0.proof"
40-
--public_input "scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_groth16_0_12_0.pub"
41-
--vk "scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_groth16_0_12_0.vk"
39+
--proof "scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_gnark_groth16_0_12_0.proof"
40+
--public_input "scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_gnark_groth16_0_12_0.pub"
41+
--vk "scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_gnark_groth16_0_12_0.vk"
4242
--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657
4343
--rpc_url "$RPC"
4444
--network "$NETWORK"

‎crates/cli/send_infinite_tasks.sh‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -28,9 +28,9 @@ do
2828

2929
cd ./crates/cli && cargo run --release -- submit \
3030
--proving_system Groth16Bn254 \
31-
--proof ../../scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${counter}_groth16_0_12_0.proof \
32-
--public_input ../../scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${counter}_groth16_0_12_0.pub \
33-
--vk ../../scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${counter}_groth16_0_12_0.vk \
31+
--proof ../../scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${counter}_gnark_groth16_0_12_0.proof \
32+
--public_input ../../scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${counter}_gnark_groth16_0_12_0.pub \
33+
--vk ../../scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${counter}_gnark_groth16_0_12_0.vk \
3434
--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 \
3535
--repetitions "2" \
3636
--rpc_url "$RPC" \

0 commit comments

Comments
 (0)