Due importanti progetti di azzeramento, $STRK e $ZK , sono prove di conoscenza zero.