szczególnie w kontekście weryfikowalnego obliczenia