Axiom 是一个 ZK 协处理器，它允许智能合约无信任地访问和处理所有链上数据。这是一种在链下处理数据的协议，然后将这些数据传输到以太坊主网，并使用 ZK 证明对其进行验证。