header
John Wang
chefe de @kalshi de criptografia