Space and Time veröffentlicht Sub-Second ZK Prover als Open Source