Microsoft-støttet Space and Time lanserer hovednett for dataverifisering med null-kunnskap.