Les deux principaux projets de réduction à zéro, $STRK et $ZK , sont des preuves de connaissance nulle.