Zk Mining Optimization with Boundless Prover - Rollup News