The staking white paper isn't released yet. Do you know or have a educated guess on the amount of tokens required to stake AION?