I had read about Tauchain Agoras on the Whitebit exchange but I didn't know the token. I had never heard Proof of theorem. However, I will read the whitepaper!