Succinct publicly announced the SP1 Hypercube zero-knowledge virtual machine for Ethereum block proving