Add test files for consensus check

Author: gabrielbosio

Makefile

@@ -339,12 +339,20 @@ batcher_send_mina_task:
 		--public_input test_files/mina/protocol_state.pub \
 		--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657
 
-batcher_send_mina_task_bad:
+batcher_send_mina_task_bad_hash:
 	@echo "Sending Mina state task to Batcher..."
 	@cd batcher/aligned/ && cargo run --release -- submit \
 		--proving_system Mina \
 		--proof test_files/mina/protocol_state.proof \
-		--public_input test_files/mina/bad_protocol_state.pub \
+		--public_input test_files/mina/protocol_state_bad_hash.pub \
+		--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657
+
+batcher_send_mina_task_bad_consensus:
+	@echo "Sending Mina state task to Batcher..."
+	@cd batcher/aligned/ && cargo run --release -- submit \
+		--proving_system Mina \
+		--proof test_files/mina/protocol_state.proof \
+		--public_input test_files/mina/protocol_state_bad_consensus.pub \
 		--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657
 
 batcher_send_mina_burst:

batcher/aligned/test_files/mina/bad_protocol_state.pub

@@ -1 +1 @@
-ǧmj�2�D����a�xIک�F��m���歶elP8CpsWXv+qz0Qmv5m0NP6QWNMhhnAUbDSpgldhTSCRqOqyFMDp7OKnewzlXL6QP2tM7zs6epXS7dkYp5MmFI2zYg2kUwK3HSGV4UUeDTYNi84AgnmBYuKAXX5+9eAMIJGG8bfckeJREvoF2MY6+tIWsk8OwnsxH3sPcQ9V6KPbIFcf2r8zB7BanZ1yPoqto3z+AwYTNnJuYibjZZO5VZJt4txV/dd8cQSSJT81Rzs8D/bpUCgmaJrvOWydYfyBXQP8z/iAFE53BVmimy9wpn3wslLsKwIMw7loZp+4zV7kOTgX81HVQUaqtklu+A8+s+buX0NGB6D6T6E0PqbkqLEMOZm8Y7Qt5PMxn8puuGJDaKq/GBGmQU2JzXCk1DR5vTM1udUeXXx0FFb4ZyBzEkGoKAJzz8bCFmj9e8bFh9DMHdqZBwJqOAV8n6GCRuxQ1VDSQs2Ui8eVBIUrtiIcDNAW2pkHAmo4BXyfoYJG7FDVUNJCzZSLx5UEhSu2IhwM0BZsxnDlJh772cxIxYjNovS7KSfQWcCv0HDJjtaULmZBBgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAAErca8iXlSGuxOi659jV969HV1O3jrl/nxSpa9Fh39VMm2M42b9/1u4UKsahcP+xrbssbXYzrjE1TVq56g+njsZegggqraWsPm9ykH52o92CnL2UFdoAPADajj8AuBAJivamQcCajgFfJ+hgkbsUNVQ0kLNlIvHlQSFK7YiHAzQFi5cWZUtnY+WIA4JzV70HZ+3I+HFQfL4+HoQvOGF8qEpbMZw5SYe+9nMSMWIzaL0uykn0FnAr9BwyY7WlC5mQQYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABAAAB56/27HrLF+CIegSifgvikeIUOhBnyJ3e0kyG3Hu/jjUrca8iXlSGuxOi659jV969HV1O3jrl/nxSpa9Fh39VMvwAoDpmwA0AAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD84CYr4ZABAAAg6aUaF8LqVv9WD4Rust9VqB6xO6JWkWq4m3SMx0PeZkr9TwoFAAcDCwQHBQEHBgQFAwYGIOLjNfw018gIll17Q8UWuCubXmeAsDeMZbpszvldEoAA/Oh7hIx1ousTAP3LxAAA/uQbAP1vkgcAEBaQlIbJ3KxJ0hESIGX1q1Ulu1ljX+AyaXXmKO1HcjT86Av6852w3hOhesEWmVIqMeARM/E/ox+nCcfq2p5hYLNPIeAD7gP3K2YdK7HRE2+RhhZiLBR5/Cyx2SjSyD5ZcyeMJvwK8i0PIy5s2O3+Ga/YxlNVg78zREpu0eUhlta7i50rj7uxoQj+qhKHKsqNLtS/COd4Gb8Ko/rYjwv9chgOMXp9rRu4yXYTBfzow6WQAPHqE3SfcX66IGFZgPRyLwJYYcgXZvcyefyYIgEdZfaDUPwvu5BZHhkH/DVZ3kTq+XtcraQFkN4XYvriUT2+eIquRy56U/wKmxZe/6rPRCa/mbQ0/pBY0yGGcBRsNKmCV2FNIP4PAQEqrWZm7gnTMCr6AGRMBkO5P7SiHYfyMsIOpsS5nh/sKQAqrWZm7gnTMCr6AGRMBkO5P7SiHYfyMsIOpsS5nh/sKQAqrWZm7gnTMCr6AGRMBkO5P7SiHYfyMsIOpsS5nh/sKQAB/iIB/uQbB/5wCAD8gBipxI4BAAA=(��B`��e����AP6-&}��u{E�
�s��OKUxjT1oWjSbeQeTebrQM9f0pL9wQtVyeMqqvi7gqjORqOqyFMDp7OKnewzlXL6QP2tM7zs6epXS7dkYp5MmFPLZsPY5gsiqqO/amyGYQFjXPO7dQb2q/ydSaxdlCc40IDj4NLCsRu0yaZ6EVZ5zdWCXggF4YXvaFJdPyPDc/op6IFfL2sMs61cDhApcSSi8zR029wdYaVHpph9XZ0ZqwG6HRUqTZYR3XLSt/MGruukMx2ddRl7pym2Md31GUlj1LBf8z/iAFE53BVmimy9wpn3wslLsKwIMw7loZp+4zV7kOULbDF8ICgwj9BXoqHRGlvNIo/Y+q2SAnFZQrTHH7s8tNUChKBuBVcon83LU2hyGdBZ5e2/9ygBdVCTLLtZgewg1udUeXXx0FFb4ZyBzEkGoKAJzz8bCFmj9e8bFh9DMHdlZ9Nwxtss+lVn0HTWkQMeyttczcCtQ5QcrfFCxPxUF2Vn03DG2yz6VWfQdNaRAx7K21zNwK1DlByt8ULE/FQVsxnDlJh772cxIxYjNovS7KSfQWcCv0HDJjtaULmZBBgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAAE4F/NR1UFGqrZJbvgPPrPm7l9DRgeg+k+hND6m5KixDDmZvGO0LeTzMZ/KbrhiQ2iqvxgRpkFNic1wpNQ0eb0zQbZwZliHPaxgSq/oTrPwRns12fFS0dTWyqEJcYXSnwfZWfTcMbbLPpVZ9B01pEDHsrbXM3ArUOUHK3xQsT8VBbL6wBqqEyPNLkdUCJZtS/dBwz/v4E0fo/nesX2SAZw1bMZw5SYe+9nMSMWIzaL0uykn0FnAr9BwyY7WlC5mQQYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABAAABG9LyuC5msUROK6RMs1TmP7TOka/c/pjZok2M6Jbe3xDnr/bsessX4Ih6BKJ+C+KR4hQ6EGfInd7STIbce7+ONfwAYIofcQwAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD8ILru4JABAAAgaMwt+SlU0E6VcNfnW5+Nw7P1wx+gYsIm4pwSt5+LfnL9PgoFAAcDCwYFBQMHBgQFAwYGIEDG15aQWWyCyW1FbHmDRFfFiQg9Rwkib178mmPWGUgA/OjbSSa1lOsTAP21xAAA/uQbAP1ZkgcAEBaQlIbJ3KxJ0hESIGX1q1Ulu1ljX+AyaXXmKO1HcjT86Av6852w3hOhesEWmVIqMeARM/E/ox+nCcfq2p5hYLNPIeAD7gP3K2YdK7HRE2+RhhZiLBR5/Cyx2SjSyD5ZcyeMJvwK8i0PIy5s2O3+Ga/YxlNVg78zREpu0eUhlta7i50rj7uxoQj+qhKHKsqNLtS/COd4Gb8Ko/rYjwv9chgOMXp9rRu4yXYTBfzow6WQAPHqE5PYn3fmy2yK/kNwGGEI5jrGZMP2PS7nhH/SD3P7R/Axu5BZHhkH/DVZ3kTq+XtcraQFkN4XYvriUT2+eIquRy44pTGNPWhaNJt5B5N5utAz1/Skv3BC1XJ4yqq+LuCqM/7+AAGa/UGOkgydokzTC5LtMEWWthlCa8JMu4zt5m7eJDTyCwCa/UGOkgydokzTC5LtMEWWthlCa8JMu4zt5m7eJDTyCwCa/UGOkgydokzTC5LtMEWWthlCa8JMu4zt5m7eJDTyCwAB/iIB/uQbB/5wCAD8gBipxI4BAAA=
+��/�a���������t%p�N0S!Lf��r7sltktTLisdGh3Y+105PqDjeSe32CM3y57UCJVe5n3SiRqOqyFMDp7OKnewzlXL6QP2tM7zs6epXS7dkYp5MmFKbwXxmiUJwYH5mrxkcQRVO+9nE0lWuCjO4KAgj8qRcpIAlJ2p0J5FrsPcU9e6dApWBzOdPI1KT9tvDJFtRTZxagIBrjVmmxnh1WlphzxzHG+Nf/47eEudwTvviaPzWlK/18A7DDc16BfCgFIdqte4IpGJTmBD+49zeNmBbJe9BYiS38z/iAFE53BVmimy9wpn3wslLsKwIMw7loZp+4zV7kOcNa6F+/JfEYp9Tk6AH5nFKzX8Vi+15dl39JjU0zsvczDwC7tTZxWSvPfGAwFVZ4N/mJqn5Xk7lvdkeCcplQPSw1udUeXXx0FFb4ZyBzEkGoKAJzz8bCFmj9e8bFh9DMHWPPi9nxuslBIpGAcHxbtN7gNBMDIGRBYAqvbASdLqI9Y8+L2fG6yUEikYBwfFu03uA0EwMgZEFgCq9sBJ0uoj1sxnDlJh772cxIxYjNovS7KSfQWcCv0HDJjtaULmZBBgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAAFdusCi0eY/Ia960uDhhbhjH28rsckGenbNrW+FfqOiG126wKLR5j8hr3rS4OGFuGMfbyuxyQZ6ds2tb4V+o6Ib9PGOzzYpmKO1RyEtzYYuRgED/F5KFVAvNGGCOv4Jwydjz4vZ8brJQSKRgHB8W7Te4DQTAyBkQWAKr2wEnS6iPVqSDH7f4f9GuLuJb69xdwd7U9/dIm5UFFHKOv7RFCgCbMZw5SYe+9nMSMWIzaL0uykn0FnAr9BwyY7WlC5mQQYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABAAABDwC7tTZxWSvPfGAwFVZ4N/mJqn5Xk7lvdkeCcplQPSxdusCi0eY/Ia960uDhhbhjH28rsckGenbNrW+FfqOiG/wANuf5eQoAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD8wESW4ZABAAAgy1Umr8ouRp6GQ5/Wwd4eHJzNxKk6ZFfu2O9syzWDhW39aAoFAAcDCwQHBQQEBAYFAwYGIGWVRlcgxtaMu+4AlL7vlJPT5obcVYr6BKGR5oDxuXgA/OgxTkkIuusTAP3yxAAA/uQbAP2WkgcAEBaQlIbJ3KxJ0hESIGX1q1Ulu1ljX+AyaXXmKO1HcjT86Av6852w3hOhesEWmVIqMeARM/E/ox+nCcfq2p5hYLNPIeAD7gP3K2YdK7HRE2+RhhZiLBR5/Cyx2SjSyD5ZcyeMJvwK8i0PIy5s2O3+Ga/YxlNVg78zREpu0eUhlta7i50rj7uxoQj+qhKHKsqNLtS/COd4Gb8Ko/rYjwv9chgOMXp9rRu4yXYTBfzow6WQAPHqE4GQJf2r4Z4DfaX8B4a3XQIWIlWyzDu+QfzQoS/Pysoqu5BZHhkH/DVZ3kTq+XtcraQFkN4XYvriUT2+eIquRy6yW2S1MuKx0aHdj7XTk+oON5J7fYIzfLntQIlV7mfdKP4oAQFAtI3jaOaQe2veLvWvX6kGjeqvfrqVQeoVM81UIL1KDAG5YjVy4OCnqtGScsSv0DQMfEsayXn32MrZOZW3ExfbPQG5YjVy4OCnqtGScsSv0DQMfEsayXn32MrZOZW3ExfbPQEB/iIB/uQbB/5wCAD8gBipxI4BAAA=(��B`��e����AP6-&}��u{E�
�s��OKUxjT1oWjSbeQeTebrQM9f0pL9wQtVyeMqqvi7gqjORqOqyFMDp7OKnewzlXL6QP2tM7zs6epXS7dkYp5MmFPLZsPY5gsiqqO/amyGYQFjXPO7dQb2q/ydSaxdlCc40IDj4NLCsRu0yaZ6EVZ5zdWCXggF4YXvaFJdPyPDc/op6IFfL2sMs61cDhApcSSi8zR029wdYaVHpph9XZ0ZqwG6HRUqTZYR3XLSt/MGruukMx2ddRl7pym2Md31GUlj1LBf8z/iAFE53BVmimy9wpn3wslLsKwIMw7loZp+4zV7kOULbDF8ICgwj9BXoqHRGlvNIo/Y+q2SAnFZQrTHH7s8tNUChKBuBVcon83LU2hyGdBZ5e2/9ygBdVCTLLtZgewg1udUeXXx0FFb4ZyBzEkGoKAJzz8bCFmj9e8bFh9DMHdlZ9Nwxtss+lVn0HTWkQMeyttczcCtQ5QcrfFCxPxUF2Vn03DG2yz6VWfQdNaRAx7K21zNwK1DlByt8ULE/FQVsxnDlJh772cxIxYjNovS7KSfQWcCv0HDJjtaULmZBBgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAAE4F/NR1UFGqrZJbvgPPrPm7l9DRgeg+k+hND6m5KixDDmZvGO0LeTzMZ/KbrhiQ2iqvxgRpkFNic1wpNQ0eb0zQbZwZliHPaxgSq/oTrPwRns12fFS0dTWyqEJcYXSnwfZWfTcMbbLPpVZ9B01pEDHsrbXM3ArUOUHK3xQsT8VBbL6wBqqEyPNLkdUCJZtS/dBwz/v4E0fo/nesX2SAZw1bMZw5SYe+9nMSMWIzaL0uykn0FnAr9BwyY7WlC5mQQYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABAAABG9LyuC5msUROK6RMs1TmP7TOka/c/pjZok2M6Jbe3xDnr/bsessX4Ih6BKJ+C+KR4hQ6EGfInd7STIbce7+ONfwAYIofcQwAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD8ILru4JABAAAgaMwt+SlU0E6VcNfnW5+Nw7P1wx+gYsIm4pwSt5+LfnL9PgoFAAcDCwYFBQMHBgQFAwYGIEDG15aQWWyCyW1FbHmDRFfFiQg9Rwkib178mmPWGUgA/OjbSSa1lOsTAP21xAAA/uQbAP1ZkgcAEBaQlIbJ3KxJ0hESIGX1q1Ulu1ljX+AyaXXmKO1HcjT86Av6852w3hOhesEWmVIqMeARM/E/ox+nCcfq2p5hYLNPIeAD7gP3K2YdK7HRE2+RhhZiLBR5/Cyx2SjSyD5ZcyeMJvwK8i0PIy5s2O3+Ga/YxlNVg78zREpu0eUhlta7i50rj7uxoQj+qhKHKsqNLtS/COd4Gb8Ko/rYjwv9chgOMXp9rRu4yXYTBfzow6WQAPHqE5PYn3fmy2yK/kNwGGEI5jrGZMP2PS7nhH/SD3P7R/Axu5BZHhkH/DVZ3kTq+XtcraQFkN4XYvriUT2+eIquRy44pTGNPWhaNJt5B5N5utAz1/Skv3BC1XJ4yqq+LuCqM/7+AAGa/UGOkgydokzTC5LtMEWWthlCa8JMu4zt5m7eJDTyCwCa/UGOkgydokzTC5LtMEWWthlCa8JMu4zt5m7eJDTyCwCa/UGOkgydokzTC5LtMEWWthlCa8JMu4zt5m7eJDTyCwAB/iIB/uQbB/5wCAD8gBipxI4BAAA=

batcher/aligned/test_files/mina/protocol_state.proof

@@ -0,0 +1 @@
+�M8�f��+ÞP��02uimy$H����X�#sltktTLisdGh3Y+105PqDjeSe32CM3y57UCJVe5n3SiRqOqyFMDp7OKnewzlXL6QP2tM7zs6epXS7dkYp5MmFKbwXxmiUJwYH5mrxkcQRVO+9nE0lWuCjO4KAgj8qRcpIAlJ2p0J5FrsPcU9e6dApWBzOdPI1KT9tvDJFtRTZxagIBrjVmmxnh1WlphzxzHG+Nf/47eEudwTvviaPzWlK/18A7DDc16BfCgFIdqte4IpGJTmBD+49zeNmBbJe9BYiS38z/iAFE53BVmimy9wpn3wslLsKwIMw7loZp+4zV7kOcNa6F+/JfEYp9Tk6AH5nFKzX8Vi+15dl39JjU0zsvczDwC7tTZxWSvPfGAwFVZ4N/mJqn5Xk7lvdkeCcplQPSw1udUeXXx0FFb4ZyBzEkGoKAJzz8bCFmj9e8bFh9DMHWPPi9nxuslBIpGAcHxbtN7gNBMDIGRBYAqvbASdLqI9Y8+L2fG6yUEikYBwfFu03uA0EwMgZEFgCq9sBJ0uoj1sxnDlJh772cxIxYjNovS7KSfQWcCv0HDJjtaULmZBBgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAAFdusCi0eY/Ia960uDhhbhjH28rsckGenbNrW+FfqOiG126wKLR5j8hr3rS4OGFuGMfbyuxyQZ6ds2tb4V+o6Ib9PGOzzYpmKO1RyEtzYYuRgED/F5KFVAvNGGCOv4Jwydjz4vZ8brJQSKRgHB8W7Te4DQTAyBkQWAKr2wEnS6iPVqSDH7f4f9GuLuJb69xdwd7U9/dIm5UFFHKOv7RFCgCbMZw5SYe+9nMSMWIzaL0uykn0FnAr9BwyY7WlC5mQQYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABAAABDwC7tTZxWSvPfGAwFVZ4N/mJqn5Xk7lvdkeCcplQPSxdusCi0eY/Ia960uDhhbhjH28rsckGenbNrW+FfqOiG/wANuf5eQoAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD8wESW4ZABAAAgy1Umr8ouRp6GQ5/Wwd4eHJzNxKk6ZFfu2O9syzWDhW39oIYBAAcDCwQHBQQEBAYFAwYGIGWVRlcgxtaMu+4AlL7vlJPT5obcVYr6BKGR5oDxuXgA/OgxTkkIuusTAP3yxAAA/uQbAP2WkgcAEBaQlIbJ3KxJ0hESIGX1q1Ulu1ljX+AyaXXmKO1HcjT86Av6852w3hOhesEWmVIqMeARM/E/ox+nCcfq2p5hYLNPIeAD7gP3K2YdK7HRE2+RhhZiLBR5/Cyx2SjSyD5ZcyeMJvwK8i0PIy5s2O3+Ga/YxlNVg78zREpu0eUhlta7i50rj7uxoQj+qhKHKsqNLtS/COd4Gb8Ko/rYjwv9chgOMXp9rRu4yXYTBfzow6WQAPHqE4GQJf2r4Z4DfaX8B4a3XQIWIlWyzDu+QfzQoS/Pysoqu5BZHhkH/DVZ3kTq+XtcraQFkN4XYvriUT2+eIquRy6yW2S1MuKx0aHdj7XTk+oON5J7fYIzfLntQIlV7mfdKP4oAQFAtI3jaOaQe2veLvWvX6kGjeqvfrqVQeoVM81UIL1KDAG5YjVy4OCnqtGScsSv0DQMfEsayXn32MrZOZW3ExfbPQG5YjVy4OCnqtGScsSv0DQMfEsayXn32MrZOZW3ExfbPQEB/iIB/uQbB/5wCAD8gBipxI4BAAA=(��B`��e����AP6-&}��u{E�
�s��OKUxjT1oWjSbeQeTebrQM9f0pL9wQtVyeMqqvi7gqjORqOqyFMDp7OKnewzlXL6QP2tM7zs6epXS7dkYp5MmFPLZsPY5gsiqqO/amyGYQFjXPO7dQb2q/ydSaxdlCc40IDj4NLCsRu0yaZ6EVZ5zdWCXggF4YXvaFJdPyPDc/op6IFfL2sMs61cDhApcSSi8zR029wdYaVHpph9XZ0ZqwG6HRUqTZYR3XLSt/MGruukMx2ddRl7pym2Md31GUlj1LBf8z/iAFE53BVmimy9wpn3wslLsKwIMw7loZp+4zV7kOULbDF8ICgwj9BXoqHRGlvNIo/Y+q2SAnFZQrTHH7s8tNUChKBuBVcon83LU2hyGdBZ5e2/9ygBdVCTLLtZgewg1udUeXXx0FFb4ZyBzEkGoKAJzz8bCFmj9e8bFh9DMHdlZ9Nwxtss+lVn0HTWkQMeyttczcCtQ5QcrfFCxPxUF2Vn03DG2yz6VWfQdNaRAx7K21zNwK1DlByt8ULE/FQVsxnDlJh772cxIxYjNovS7KSfQWcCv0HDJjtaULmZBBgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAAE4F/NR1UFGqrZJbvgPPrPm7l9DRgeg+k+hND6m5KixDDmZvGO0LeTzMZ/KbrhiQ2iqvxgRpkFNic1wpNQ0eb0zQbZwZliHPaxgSq/oTrPwRns12fFS0dTWyqEJcYXSnwfZWfTcMbbLPpVZ9B01pEDHsrbXM3ArUOUHK3xQsT8VBbL6wBqqEyPNLkdUCJZtS/dBwz/v4E0fo/nesX2SAZw1bMZw5SYe+9nMSMWIzaL0uykn0FnAr9BwyY7WlC5mQQYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABAAABG9LyuC5msUROK6RMs1TmP7TOka/c/pjZok2M6Jbe3xDnr/bsessX4Ih6BKJ+C+KR4hQ6EGfInd7STIbce7+ONfwAYIofcQwAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD8ILru4JABAAAgaMwt+SlU0E6VcNfnW5+Nw7P1wx+gYsIm4pwSt5+LfnL9PgoFAAcDCwYFBQMHBgQFAwYGIEDG15aQWWyCyW1FbHmDRFfFiQg9Rwkib178mmPWGUgA/OjbSSa1lOsTAP21xAAA/uQbAP1ZkgcAEBaQlIbJ3KxJ0hESIGX1q1Ulu1ljX+AyaXXmKO1HcjT86Av6852w3hOhesEWmVIqMeARM/E/ox+nCcfq2p5hYLNPIeAD7gP3K2YdK7HRE2+RhhZiLBR5/Cyx2SjSyD5ZcyeMJvwK8i0PIy5s2O3+Ga/YxlNVg78zREpu0eUhlta7i50rj7uxoQj+qhKHKsqNLtS/COd4Gb8Ko/rYjwv9chgOMXp9rRu4yXYTBfzow6WQAPHqE5PYn3fmy2yK/kNwGGEI5jrGZMP2PS7nhH/SD3P7R/Axu5BZHhkH/DVZ3kTq+XtcraQFkN4XYvriUT2+eIquRy44pTGNPWhaNJt5B5N5utAz1/Skv3BC1XJ4yqq+LuCqM/7+AAGa/UGOkgydokzTC5LtMEWWthlCa8JMu4zt5m7eJDTyCwCa/UGOkgydokzTC5LtMEWWthlCa8JMu4zt5m7eJDTyCwCa/UGOkgydokzTC5LtMEWWthlCa8JMu4zt5m7eJDTyCwAB/iIB/uQbB/5wCAD8gBipxI4BAAA=

batcher/aligned/test_files/mina/protocol_state.pub

@@ -0,0 +1 @@
+��/�a���������t%p�N0S!Lf��r7sltktTLisdGh3Y+105PqDjeSe32CM3y57UCJVe5n3SiRqOqyFMDp7OKnewzlXL6QP2tM7zs6epXS7dkYp5MmFKbwXxmiUJwYH5mrxkcQRVO+9nE0lWuCjO4KAgj8qRcpIAlJ2p0J5FrsPcU9e6dApWBzOdPI1KT9tvDJFtRTZxagIBrjVmmxnh1WlphzxzHG+Nf/47eEudwTvviaPzWlK/18A7DDc16BfCgFIdqte4IpGJTmBD+49zeNmBbJe9BYiS38z/iAFE53BVmimy9wpn3wslLsKwIMw7loZp+4zV7kOcNa6F+/JfEYp9Tk6AH5nFKzX8Vi+15dl39JjU0zsvczDwC7tTZxWSvPfGAwFVZ4N/mJqn5Xk7lvdkeCcplQPSw1udUeXXx0FFb4ZyBzEkGoKAJzz8bCFmj9e8bFh9DMHWPPi9nxuslBIpGAcHxbtN7gNBMDIGRBYAqvbASdLqI9Y8+L2fG6yUEikYBwfFu03uA0EwMgZEFgCq9sBJ0uoj1sxnDlJh772cxIxYjNovS7KSfQWcCv0HDJjtaULmZBBgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAAFdusCi0eY/Ia960uDhhbhjH28rsckGenbNrW+FfqOiG126wKLR5j8hr3rS4OGFuGMfbyuxyQZ6ds2tb4V+o6Ib9PGOzzYpmKO1RyEtzYYuRgED/F5KFVAvNGGCOv4Jwydjz4vZ8brJQSKRgHB8W7Te4DQTAyBkQWAKr2wEnS6iPVqSDH7f4f9GuLuJb69xdwd7U9/dIm5UFFHKOv7RFCgCbMZw5SYe+9nMSMWIzaL0uykn0FnAr9BwyY7WlC5mQQYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABAAABDwC7tTZxWSvPfGAwFVZ4N/mJqn5Xk7lvdkeCcplQPSxdusCi0eY/Ia960uDhhbhjH28rsckGenbNrW+FfqOiG/wANuf5eQoAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD8wESW4ZABAAAgy1Umr8ouRp6GQ5/Wwd4eHJzNxKk6ZFfu2O9syzWDhW39aAoFAAcDCwQHBQQEBAYFAwYGIGWVRlcgxtaMu+4AlL7vlJPT5obcVYr6BKGR5oDxuXgA/OgxTkkIuusTAP3yxAAA/uQbAP2WkgcAEBaQlIbJ3KxJ0hESIGX1q1Ulu1ljX+AyaXXmKO1HcjT86Av6852w3hOhesEWmVIqMeARM/E/ox+nCcfq2p5hYLNPIeAD7gP3K2YdK7HRE2+RhhZiLBR5/Cyx2SjSyD5ZcyeMJvwK8i0PIy5s2O3+Ga/YxlNVg78zREpu0eUhlta7i50rj7uxoQj+qhKHKsqNLtS/COd4Gb8Ko/rYjwv9chgOMXp9rRu4yXYTBfzow6WQAPHqE4GQJf2r4Z4DfaX8B4a3XQIWIlWyzDu+QfzQoS/Pysoqu5BZHhkH/DVZ3kTq+XtcraQFkN4XYvriUT2+eIquRy6yW2S1MuKx0aHdj7XTk+oON5J7fYIzfLntQIlV7mfdKP4oAQFAtI3jaOaQe2veLvWvX6kGjeqvfrqVQeoVM81UIL1KDAG5YjVy4OCnqtGScsSv0DQMfEsayXn32MrZOZW3ExfbPQG5YjVy4OCnqtGScsSv0DQMfEsayXn32MrZOZW3ExfbPQEB/iIB/uQbB/5wCAD8gBipxI4BAAA=(��B`��e����AP6-&}��u{E�
�s��OKUxjT1oWjSbeQeTebrQM9f0pL9wQtVyeMqqvi7gqjORqOqyFMDp7OKnewzlXL6QP2tM7zs6epXS7dkYp5MmFPLZsPY5gsiqqO/amyGYQFjXPO7dQb2q/ydSaxdlCc40IDj4NLCsRu0yaZ6EVZ5zdWCXggF4YXvaFJdPyPDc/op6IFfL2sMs61cDhApcSSi8zR029wdYaVHpph9XZ0ZqwG6HRUqTZYR3XLSt/MGruukMx2ddRl7pym2Md31GUlj1LBf8z/iAFE53BVmimy9wpn3wslLsKwIMw7loZp+4zV7kOULbDF8ICgwj9BXoqHRGlvNIo/Y+q2SAnFZQrTHH7s8tNUChKBuBVcon83LU2hyGdBZ5e2/9ygBdVCTLLtZgewg1udUeXXx0FFb4ZyBzEkGoKAJzz8bCFmj9e8bFh9DMHdlZ9Nwxtss+lVn0HTWkQMeyttczcCtQ5QcrfFCxPxUF2Vn03DG2yz6VWfQdNaRAx7K21zNwK1DlByt8ULE/FQVsxnDlJh772cxIxYjNovS7KSfQWcCv0HDJjtaULmZBBgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAAE4F/NR1UFGqrZJbvgPPrPm7l9DRgeg+k+hND6m5KixDDmZvGO0LeTzMZ/KbrhiQ2iqvxgRpkFNic1wpNQ0eb0zQbZwZliHPaxgSq/oTrPwRns12fFS0dTWyqEJcYXSnwfZWfTcMbbLPpVZ9B01pEDHsrbXM3ArUOUHK3xQsT8VBbL6wBqqEyPNLkdUCJZtS/dBwz/v4E0fo/nesX2SAZw1bMZw5SYe+9nMSMWIzaL0uykn0FnAr9BwyY7WlC5mQQYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABAAABG9LyuC5msUROK6RMs1TmP7TOka/c/pjZok2M6Jbe3xDnr/bsessX4Ih6BKJ+C+KR4hQ6EGfInd7STIbce7+ONfwAYIofcQwAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD8ILru4JABAAAgaMwt+SlU0E6VcNfnW5+Nw7P1wx+gYsIm4pwSt5+LfnL9PgoFAAcDCwYFBQMHBgQFAwYGIEDG15aQWWyCyW1FbHmDRFfFiQg9Rwkib178mmPWGUgA/OjbSSa1lOsTAP21xAAA/uQbAP1ZkgcAEBaQlIbJ3KxJ0hESIGX1q1Ulu1ljX+AyaXXmKO1HcjT86Av6852w3hOhesEWmVIqMeARM/E/ox+nCcfq2p5hYLNPIeAD7gP3K2YdK7HRE2+RhhZiLBR5/Cyx2SjSyD5ZcyeMJvwK8i0PIy5s2O3+Ga/YxlNVg78zREpu0eUhlta7i50rj7uxoQj+qhKHKsqNLtS/COd4Gb8Ko/rYjwv9chgOMXp9rRu4yXYTBfzow6WQAPHqE5PYn3fmy2yK/kNwGGEI5jrGZMP2PS7nhH/SD3P7R/Axu5BZHhkH/DVZ3kTq+XtcraQFkN4XYvriUT2+eIquRy44pTGNPWhaNJt5B5N5utAz1/Skv3BC1XJ4yqq+LuCqM/7+AAGa/UGOkgydokzTC5LtMEWWthlCa8JMu4zt5m7eJDTyCwCa/UGOkgydokzTC5LtMEWWthlCa8JMu4zt5m7eJDTyCwCa/UGOkgydokzTC5LtMEWWthlCa8JMu4zt5m7eJDTyCwAB/iIB/uQbB/5wCAD8gBipxI4BAAA=