Aleo is a platform for building scalable, verifiable, and privacy-preserving decentralized...