Aleo is a platform for building performant, secure, and private web applications with an autonomous...