Gevulot transitions into ZkCloud, the first credibly neutral, decentralized cloud for zero-knowledge proof generation and verification, enabling anyone to generate ZK proofs for any system at a fraction of the cost.