Brevis ProverNet — это децентрализованная торговая площадка, которая сопоставляет разнообразные рабочие нагрузки с нулевым разглашением (ZK) — от программ zkVM до запросов к сопроцессору ZK и доказательств агрегации — с гетерогенным набором доказывающих. Brevis отличается двумя основными принципами. Во-первых, с самого начала он был разработан для поддержки гетерогенных доказательств и составных многоэтапных конвейеров доказательства, что позволяет приложениям комбинировать системы и рабочие процессы доказательства, не будучи привязанными к единому стеку.