Сеть Prover, известная своей лаконичностью, уже запущена в основной сети. Как просто понять сеть Prover? Это децентрализованная сеть доказателей, которая поддерживает генерацию нулевых знаний (zk proofs) для любого программного обеспечения, позволяя разработчикам запрашивать и проверять ZK-доказательства так же, как они вызывают API, и поддерживает прямую генерацию ZK-доказательств из кода, написанного на стандартных языках программирования, таких как Rust, без необходимости в сложном проектировании схем или специальных знаниях в области криптографии. В конечном итоге ее цель — стать инфраструктурой для верифицируемых вычислений. Ключевая часть сети Prover — это ее децентрализованный рынок доказательств, где одна сторона — это потребители доказательств (блокчейн-протоколы, оракулы, AI-агенты, мосты и т. д.) — подают запросы на доказательства; другая сторона — независимые поставщики доказательств, которые участвуют в «соревнованиях по доказательствам (Proof Contests)», чтобы конкурировать за генерацию доказательств. «Соревнования по доказательствам» — это механизм аукциона с полной оплатой, где доказатели используют высокопроизводительное оборудование (например, кластеры GPU) для участия в конкуренции. В настоящее время в кластер доказателей вошли несколько поставщиков оборудования, таких как ZAN, Cysic, A41, предлагая ускорение FPGA/GPU. Через этот двусторонний рынок доказательств достигается низкая стоимость и высокая эффективность, а также децентрализация. В этом двустороннем рынке его родной токен PROVE используется для оплаты сборов за доказательства, обеспечения безопасности сети через стейкинг и управления для держателей.