Tree Encodings I: How to Authenticate a Truth Table | AIChainDay