Lagrange Labs is building a hyper-parallel ZK coprocessor, which enables verifiable and efficient compute over large datasets that developers can easily plug in and use.