In a collaboration between crypto-satellite developer Cryptosat and global hackathon organizer DoraHacks, the first successful experiment to launch a ZK (Zero-Knowledge) proof system in space recently occurred onboard the International Space Station (ISS). According to DoraHacks and Cryptosat, the experiment performed onboard the ISS showcased the capability of a satellite-based computation environment to successfully perform part of the trusted setup process required to use a ZK proof protocol. According to Cryptosat, which is attempting to launch a constellation of cubesats into orbit and build out its satellite fleet, the success of the ZK proof experiment is a crucial component in demonstrating the efficacy of space-bound computational environments. The procedure entailed sending pre-uploaded open source programs to the ISS through a secure link in order to generate a string file for the ZK proof-based voting program. Cryptosat has also already launched two mug-sized satellites, Crypto1 and Crypto2, the latter of which is currently being tested.
