GRF: A Global Range Filter for LSM-Trees with Shape Encoding | Synapse