zkML jest potężny — ale udowadnianie całych modeli jest wolne, wymaga dużo pamięci i rzadko jest praktyczne poza demonstracjami. Świat rzeczywisty potrzebuje mądrzejszego rozwiązania: dowodów tam, gdzie mają największe znaczenie, szybkości wszędzie indziej. Pracowaliśmy nad czymś, co dokładnie to rozwiązuje. Więcej wkrótce.