Fiamma Chain announced their BitVM2 implementation to enable ZKP verification on Bitcoin.