Ritual’s rīki pārbaudāmai AI
Ritual nodrošina aprēķinu integritāti AI — pārliecinoties, ka rezultāti ir pierādāmi pareizi, nepaļaujoties uz centralizētiem operatoriem.
Atbalstītie rīki:
- ZK Mašīnmācība: Spēcīgākā kriptogrāfiskā drošība, bet dārga un lēna.
- Optimistiskā ML: Pieņem pareizību, pārbauda tikai, ja ir strīds, lētāka un mērogojama.
- Uzticamas izpildes vides: Ātra un privāta, bet paļaujas uz mikroshēmu ražotājiem.
- Probabilistiskā pierādījumu ML: Lēta, statistiska verifikācija smagiem darba slodzēm, piemēram, LLM.