算力プロジェクトの実現には、二つのポイントが鍵となる：一つは多種多様なマシンをどのように協調させるか、もう一つは計算完了後に誰が結果を検証し、どのように収益を分配するか。

$cysの考え方は非常にシンプルだ。まずは比較的集中した方法でプロセスを通し、ZK証明が実際のシステム内でスケジューリング可能か、協力を支えることができるかを検証することが目的だ。実現可能性が確認できたら、次にネットワークを段階的に拡大していく。検証者を導入して結果をチェックさせ、算力提供者は計算資源を提供し、担保者は経済的保証を行う。三者は同じルールの下でそれぞれの役割を果たす。

この進化のアプローチは非常に実用的だ——最初から分散させるのではなく、まず技術的な実現性を確立し、その後段階的に中央集権化を解消していく。ZK証明を通じて計算の検証性を確保し、多役割の参加を通じてインセンティブメカニズムを自己整合させ、最終的に自己運用可能なシステムを形成する。