Brevis 是一个智能可验证计算平台，为跨区块链、数据和人工智能系统的可扩展、无需信任的计算提供基础架构。