Add warning for proof size

Author: xqft

operator/mina/lib/src/lib.rs

@@ -8,8 +8,8 @@ use mina_tree::proofs::verification::verify_block;
 use mina_tree::proofs::verifier_index::{get_verifier_index, VerifierKind};
 use mina_tree::verifier::get_srs;
 
-// TODO: check these
-const MAX_PROOF_SIZE: usize = 15 * 1024;
+// TODO(xqft): check proof size
+const MAX_PROOF_SIZE: usize = 16 * 1024;
 const MAX_PUB_INPUT_SIZE: usize = 1024;
 
 #[no_mangle]

operator/mina/mina.go

@@ -11,7 +11,8 @@ import (
 	"unsafe"
 )
 
-const MAX_PROOF_SIZE = 15 * 1024
+// TODO(xqft): check proof size
+const MAX_PROOF_SIZE = 16 * 1024
 const MAX_PUB_INPUT_SIZE = 1024
 
 func VerifyProtocolStateProof(proofBuffer [MAX_PROOF_SIZE]byte, proofLen uint, pubInputBuffer [MAX_PUB_INPUT_SIZE]byte, pubInputLen uint) bool {