Today, it's open source and generates Ethereum proofs in under 12 seconds.