RISC Zero, a startup that builds zero-knowledge (ZK) proof software, has raised $40 million in a Series A funding round