Brevis Network, a startup that uses zero-knowledge (ZK) technology to do off-chain computations, has raised $7.5 million.