Building Toward a More Verifiable Rollup