Axiom1 is a ZK coprocessor for Ethereum which provides smart contracts trustless access to all on-chain data and arbitrary expressive compute over it.
Axiom: The ZK Coprocessor for Ethereum ↩