Space and Time Unveils Sub-Second ZK Prover, Now Open-Sourced