Gadgets de Rituel pour l'IA Vérifiable
Rituel apporte une intégrité computationnelle à l'IA — s'assurant que les résultats sont prouvablement corrects, sans confiance aveugle dans les opérateurs centralisés.
Gadgets pris en charge :
- Apprentissage Machine ZK : Sécurité cryptographique la plus forte, mais coûteuse et lente.
- ML Optimiste : Suppose la justesse, vérifie seulement en cas de contestation, moins cher et évolutif.
- Environnements d'Exécution de Confiance : Rapides et privés, mais dépendent des fournisseurs de puces.
- ML de Preuve Probabiliste : Bon marché, vérification statistique pour des charges de travail lourdes comme les LLMs.