Rollups on Bitcoin seems to finnaly come. There is a lot tricks to make this work, but the fact that it seems to finnaly be possible is very cool.
They use a new innovation called "BitVM" that works decently similar to fraud proofs

By using this VM to verify a ZK proof you get a "Optimistic zkRollup" that remains secure as long as 1/N parties is honest

By using this VM to verify a ZK proof you get a "Optimistic zkRollup" that remains secure as long as 1/N parties is honest
https://www.blog.citrea.xyz/introducing-citrea/

Enabling TypeScript, JavaScript, Python and more for the Internet Computer (ICP) (built originally by DFINITY).

Needs a hardfork i suppose?
A 1/N trust assumption is fine if N is large enough. And would be trivial to verify it yourself for a trustless verification

There's also talk of someone implementing the mul opcode that could allow for verifying ZK proofs as well, at least that's what I have heard