Tezos ICO new record of $232 million !