Bifurcaciones suaves, CTV, BitVM, verificación ZK nativa. A la, ejecutaré Knots.