ZK startup lagrange labs raises $4m to build secure DeFi interoperability.