STARK (skalowalne, przejrzyste argumenty
wiedzy)
Warianty SNARKów. Motywacją dla STARK były zastosowania
wymagających wydajnych i skalowalnych dowodów zerowej wiedzy z mniejszą ilością
ograniczeń niż w przypadku SNARKów. Oto główne różnice
między STARKami a SNARKami:
STARKs nie wymagają zaufanego setupu - procesu, który musi być
proces, który musi być przeprowadzony przez zaufane strony, aby kolejne dowody były bezpieczne.
STARK może być bezpieczny dla algorytmów kwantowych, podczas gdy znane konstrukcje
Konstrukcje SNARK zwykle nie są (lub z pewnymi ograniczeniami).
STARK jest nieco szybszy w tworzeniu i nieco wolniejszy w weryfikacji.