HexTech Witness Introduction