用于可验证链上数据的 ZK 协处理器
Brevis 是一个零知识(ZK)协处理器,使智能合约能够无需信任地访问和计算历史链上数据。通过在链下证明繁重计算并在链上以极低 Gas 验证,它解锁了强大且可验证的数据驱动型应用。