Brevis ProverNetは、zkVMプログラムからZKコプロセッサクエリ、集約証明に至るまで、多様なゼロ知識（ZK）ワークロードを異種証明者とマッチングさせる分散型マーケットプレイスです。Brevisの特徴は2つあります。1つ目は、異種証明と複合型多段証明パイプラインをサポートするように最初から設計されているため、アプリケーションは単一のスタックに押し込められることなく、証明システムとワークフローを自由に組み合わせることができます。