Halo bitcoin example update to Halo2

Hello,

does anybody know whether there is an updated example of the bitcoin header proving in Halo 2 instead of Halo?