Succinct has open-sourced the SP1 Hypercube verifier and Ethereum prover code, with full deployment planned after an upcoming audit