Lagrange Labs, a cryptography startup building on zero-knowledge proofs (ZK), has raised a significant round