Bitcoin + lógica expresiva = OmniZK.

Estamos integrando capacidades de contratos inteligentes en Bitcoin mientras mantenemos sus valores fundamentales.