Microsoft-støttet Space and Time lancerer Mainnet for Nul-viden-bevist Data