The company estimates a real-time prover cluster could eventually be built for as little as $100,000 using optimized hardware