Welcome to the first annual report of the UKRI Trustworthy Autonomous Systems Node on Verifiability! The Verifiability Node started off in November 2020 and in this report we cover the Node activities till the end of November 2021.