Dva hlavní projekty nulování, $STRK a $ZK , jsou důkazy nulových znalostí.