すべての言語
簡潔なネットワークは、グローバルソフトウェアの証明のための分散型プロトコルです。ネットワークは、「プルーフ競争」と呼ばれる新しいインセンティブメカニズムを通じてゼロ知識証明を生成する分散型プルーパーのグループを調整して、世界で最も効率的で強力な証明クラスターを作成します。簡潔なネットワークは、SP1と組み合わせて設計されたグローバル分散型プルーフクラスターの概念を紹介し、グローバルな証明機能を大幅に拡大するために「証明競争」と呼ばれる競争力のあるオークションメカニズムによって駆動されます。