Released mainnet alpha featuring proof aggregation via recursion to compress multiple proofs into one verifiable on Ethereum at lower cost, with prepaid subscription model, ethrex_client L2 mode integration, dedicated CLI tool, and SP1 support.