TLDR: Brevis ProverNet 是一个去中心化的市场，应用程序请求零知识证明，专业的证明者根据他们的硬件和技能竞争以满足这些请求。 应用程序指定速度、成本和证明类型等要求，证明者竞标完成工作，确保公平定价和质量，无需信任。 该系统使用 TODA，一种拍卖机制，能够高效且诚实地将工作匹配给证明者，同时满足实时需求。 这种设计使开发者能够快速且经济地访问去中心化的高级密码学证明服务，同时使证明者能够专注于他们的优势，使可验证计算在区块链生态系统中变得更加开放和高效。我是 @brevis_zk 的投资者。