Acurast: Decentralized Serverless Cloud. - Christian Killer; Alessandro De Carli; Pascal Brun; Amadeo Victor Charlé; Mike Godenzi; Simon Wehrli (CoRR, 2025)