HF RL Explorer

Reduce CRS download size by 50% using compressed BN254 G1 points

Reduce CRS download size by 50% using compressed BN254 G1 points: a task in LegoFlow-SWE (Harbor dataset). The current SRS (Structured Reference String) download retrieves uncompressed G1 points, consuming 64 bytes per point. This results in unnecessarily large data transfers, especially for large…

The task

The current SRS (Structured Reference String) download retrieves uncompressed G1 points, consuming 64 bytes per point. This results in unnecessarily large data transfers, especially for large circuits. Switching to a compressed point format (32 bytes) would halve the download size and significantly improve user…

Part of Lego-X/LegoFlow-SWE.