Axiom
From a blog by Paul Veradittakit (16-2-2023):
"New progress in the programmability of encryption has enabled trustless computation, but implementing it remains a barrier for smart contract developers. Axiom addresses this issue by providing smart contracts with access to all on-chain data as well as the capacity to do complex computations on it via a three-step process: reading, computing, and verifying. This produces ZK-verified outputs that may be used by any downstream smart contract, resulting in more expressive and trustworthy decentralized applications. It has numerous potential applications, including decentralized identity, trustless accounting, and safe voting. With smart contracts having access to all on-chain data and the ability to perform arbitrary computations, Axiom is revolutionizing the way blockchain scales and paving the way for a future of robust and trustworthy decentralized applications."