Brevis 是一个旨在为区块链网络中的可验证计算问题提供解决方案的基础设施项目。该项目通过将智能合约在链上执行的昂贵且低效的复杂计算迁移到链外，旨在显著降低运营成本。这里的关键点在于确保这些链外计算的可信性。Brevis 利用零知识证明技术，能够以密码学方式证明计算的正确性，并将这些证明记录到链上。通过这种方式，网络参与者无需重新执行全部计算，即可通过验证证明的有效性来确认结果的正确性。这样既提高了效率，又保障了去中心化系统的安全性。