1/ Pełne zk-proofs dla całych modeli AI są potężne… Ale w praktyce: zbyt ciężkie, zbyt wolne, zbyt drogie. Dlatego zbudowaliśmy DSperse → weryfikacja oparta na fragmentach.