Symbol: random_split_ec_verify