Merge branch 'mina' into update_to_0_7_2

lambdaclass · Oct 7, 2024 · 916a171 · 916a171
2 parents bfe122c + 3a4ed6e
commit 916a171
Show file tree

Hide file tree

Showing 11 changed files with 682 additions and 595 deletions.
diff --git a/Makefile b/Makefile
@@ -416,15 +416,15 @@ batcher_send_mina_burst:
 batcher_send_mina_account_task:
 	@echo "Sending Mina account task to Batcher..."
 	@cd batcher/aligned/ && cargo run --release -- submit \
-		--proving_system Mina \
+		--proving_system MinaAccount \
 		--proof ../../scripts/test_files/mina_account/mina_account.proof \
 		--public_input ../../scripts/test_files/mina_account/mina_account.pub \
 		--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657
 
 batcher_send_mina_account_burst:
 	@echo "Sending Mina account task to Batcher..."
 	@cd batcher/aligned/ && cargo run --release -- submit \
-		--proving_system Mina \
+		--proving_system MinaAccount \
 		--proof ../../scripts/test_files/mina_account/mina_account.proof \
 		--public_input ../../scripts/test_files/mina_account/mina_account.pub \
 		--repetitions 15 \