Lite känt faktum: 75 % av Aleo-utbudet står på spel. 1,37 miljarder tokens.