very very nice read and non-ironically a wonderful intro to TT hardware + overview of Boltz-2’s architecture, its port on TT hardware, etc