From https://spaceandtime.io Using Space and Time's ZK coprocessor security