Vi har annonsert at vi vil gå dypt inn i testsystemene, og dette er bare det første trinnet. Å si "vi bruker ZK" betyr ingenting med mindre man uavhengig kan regenerere bekreftelsesnøkler og bekrefte hvilket program som faktisk blir bevist