Lagrange Labs is currently building ZK MapReduce, a novel proof system that is designed for concurrently proving large-scale batch storage inclusion and dynamic MapReduce style computations. At the core of the ZK MapReduce stack is Recproofs, a new vector commitment scheme developed by the Lagrange Labs research team.