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

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

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

I mean I heard they figured out how to implement mul from existing opcodes or something

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