La Calculabilité Vérifiable (VC) consiste à exécuter une charge de travail spécifique de manière à générer une preuve de son fonctionnement pouvant être vérifiée publiquement sans avoir à recalculer. En plus de Solana, l'équipe de développement Anagram s'est plongée dans de nombreux projets de l'espace VC, tels que Jolt, zkllvm, spartan 2, Binius, ainsi que des entreprises travaillant dans le domaine du chiffrement entièrement homomorphe (FHE).
5/8/2024, 3:10:14 PM