Use Mainnet and adapt to new state size

Author: gabrielbosio

batcher/aligned-batcher/src/mina/mod.rs

@@ -3,7 +3,7 @@ use log::{debug, warn};
 
 const STATE_HASH_SIZE: usize = 32;
 // TODO(gabrielbosio): check that this length is always the same for every block
-const PROTOCOL_STATE_SIZE: usize = 2060;
+const PROTOCOL_STATE_SIZE: usize = 2056;
 
 pub fn verify_protocol_state_proof_integrity(proof: &[u8], public_input: &[u8]) -> bool {
     debug!("Checking Mina protocol state proof");

operator/mina/lib/src/consensus_state.rs

@@ -39,7 +39,7 @@ fn hash_last_vrf(chain: &MinaStateProtocolStateValueStableV2) -> String {
     hasher.update(chain.body.consensus_state.last_vrf_output.as_slice());
     let digest = hasher.finalize().to_vec();
 
-    String::from_utf8(digest).unwrap()
+    hex::encode(&digest)
 }
 
 fn hash_state(chain: &MinaStateProtocolStateValueStableV2) -> String {

operator/mina/lib/src/lib.rs

@@ -26,7 +26,7 @@ const MAX_PROOF_SIZE: usize = 16 * 1024;
 const MAX_PUB_INPUT_SIZE: usize = 6 * 1024;
 const PROTOCOL_STATE_HASH_SIZE: usize = 32;
 // TODO(gabrielbosio): check that this length is always the same for every block
-const PROTOCOL_STATE_SIZE: usize = 2060;
+const PROTOCOL_STATE_SIZE: usize = 2056;
 
 #[no_mangle]
 pub extern "C" fn verify_protocol_state_proof_ffi(

operator/mina/lib/src/verifier_index.rs

@@ -17,7 +17,7 @@ use kimchi::{
 };
 use serde::Deserialize;
 
-const BLOCKCHAIN_VK_JSON: &str = include_str!("devnet_vk.json");
+const BLOCKCHAIN_VK_JSON: &str = include_str!("mainnet_vk.json");
 
 #[derive(Deserialize)]
 struct BlockchainVerificationKey {