LayerEdge Scales zk-Verification with Light Nodes via Randomized Proof Selection - Rollup News