fix: tighter checks for serialization

Author: ludamad

include/msgpack/v1/adaptor/cpp11/tuple.hpp

@@ -10,6 +10,7 @@
 #ifndef MSGPACK_V1_TYPE_CPP11_TUPLE_HPP
 #define MSGPACK_V1_TYPE_CPP11_TUPLE_HPP
 
+#include "msgpack/v3/unpack_decl.hpp"
 #include "msgpack/versioning.hpp"
 #include "msgpack/adaptor/adaptor_base.hpp"
 #include "msgpack/object.hpp"
@@ -114,6 +115,11 @@ struct as<std::tuple<Args...>, typename std::enable_if<msgpack::any_of<msgpack::
     std::tuple<Args...> operator()(
         msgpack::object const& o) const {
         if (o.type != msgpack::type::ARRAY) { throw msgpack::type_error(); }
+        // <barretenberg>
+        if ((o.via.array.size != sizeof...(Args)) {
+            throw msgpack::unpack_error(std::string("tuple array not right size, got ") + std::to_string(o.via.array.size) + " but expected " + std::to_string(sizeof...(Args)));
+        }
+        // </barretenberg>
         return StdTupleAs<Args...>::as(o);
     }
 };

include/msgpack/v1/adaptor/detail/cpp11_define_map.hpp

@@ -12,6 +12,7 @@
 
 #include "msgpack/v1/adaptor/detail/cpp11_define_map_decl.hpp"
 #include "msgpack/v1/adaptor/detail/cpp11_convert_helper.hpp"
+#include "msgpack/v3/object_fwd_decl.hpp"
 
 #include <tuple>
 #include <map>
@@ -36,6 +37,10 @@ struct define_map_imp {
         auto it = kvmap.find(std::get<N-2>(t));
         if (it != kvmap.end()) {
             convert_helper(*it->second, std::get<N-1>(t));
+        } else {
+            // <barretenberg>
+            throw msgpack::unpack_error(std::string("Missing field " + std::get<N-2>(t)));
+            // </barretenberg>
         }
     }
     static void object(msgpack::object* o, msgpack::zone& z, Tuple const& t) {