Два основні проекти обнулення, $STRK і $ZK , є доказами нульового знання.