Lido Finance released a proposal in mid-July to sell 20 million LDOs for $1.452