Le projet de puissance de calcul doit être mis en œuvre, et la clé réside dans deux points : d'une part, comment faire collaborer des machines très diverses, et d'autre part, qui vérifie les résultats une fois le calcul terminé, et comment répartir les revenus.

L'idée de $cys est très simple. D'abord, utiliser une approche relativement centralisée pour faire fonctionner le processus, dans le but de vérifier si la preuve ZK peut être planifiée dans un système réel, et si elle peut soutenir la collaboration. Une fois la faisabilité confirmée, il s'agit d'ouvrir progressivement le réseau. Introduire des vérificateurs pour contrôler les résultats, des fournisseurs de puissance de calcul pour contribuer avec des ressources, et des stakers pour fournir des garanties économiques, afin que les trois parties jouent chacune leur rôle selon un ensemble de règles commun.

Cette approche d'évolution est très pragmatique — il ne s'agit pas de tout disperser dès le départ, mais de d'abord assurer la faisabilité technique, puis de décentraliser progressivement. Grâce à la preuve ZK, la calculabilité devient vérifiable ; grâce à la participation de plusieurs rôles, le mécanisme d'incitation devient cohérent, pour finalement former un système capable de fonctionner de manière autonome.