A medida que las aplicaciones de Web3<\/strong> contin\u00faan aceler\u00e1ndose, cada vez m\u00e1s bancos centrales e instituciones est\u00e1n desarrollando productos de activos digitales, siendo las stablecoins<\/strong> una de las direcciones clave. Estas combinan la eficiencia y transparencia de la blockchain con la estabilidad de las finanzas tradicionales, convirti\u00e9ndose en un factor crucial para remodelar el sistema de pagos global y la infraestructura financiera. Sin embargo, para promover la adopci\u00f3n generalizada de las stablecoins, es necesario establecer una base s\u00f3lida en t\u00e9rminos de confianza del usuario<\/strong>, cumplimiento regulatorio<\/strong> y compatibilidad<\/strong> con los sistemas Web3 existentes.<\/p>\n Bajo un marco de cumplimiento estricto, la verificaci\u00f3n formal<\/strong> se considera una metodolog\u00eda prometedora que puede ayudar a construir contratos de stablecoins confiables mientras se verifican los requisitos clave de cumplimiento. Este art\u00edculo se centrar\u00e1 en las siguientes direcciones: Desde el lanzamiento de los primeros proyectos de stablecoins en 2014, estas han sido vistas como un puente entre el sistema financiero tradicional y el mundo de Web3. El sistema financiero tradicional generalmente presenta problemas como alta latencia, falta de transparencia y altos costos. Para mejorar estas deficiencias, las stablecoins han introducido soluciones innovadoras.<\/p>\n El marco regulatorio de E-Money<\/strong>, introducido en 2009, no fue dise\u00f1ado inicialmente para escenarios de Web3, pero ahora se ha ampliado gradualmente para cubrir soluciones compatibles con Web3, incluidas las stablecoins. Actualmente, los bancos centrales de muchas agencias regulatorias, incluidos el Abu Dhabi Global Market (ADGM)<\/strong> y la Autoridad Monetaria de Hong Kong (HKMA)<\/strong>, han estado probando planes relevantes.<\/p>\n El Congreso de EE. UU. aprob\u00f3 la Ley GENIUS<\/strong>, que esboza una hoja de ruta regulatoria para el desarrollo conforme de las stablecoins. La Ley GENIUS (Guiding and Establishing National Innovation for US Stablecoins Act<\/em>), introducida en junio de 2025, establece un marco de cumplimiento obligatorio para los pagos de stablecoins en los Estados Unidos.<\/p>\n \u00bfPor qu\u00e9 es importante la Ley GENIUS?<\/strong><\/p>\n<\/blockquote>\n El proyecto de ley establece una certificaci\u00f3n unificada a nivel federal para las stablecoins, lo que ayuda a reducir la fragmentaci\u00f3n regulatoria y proporciona una gu\u00eda institucional clara para el dise\u00f1o de productos, la gesti\u00f3n de riesgos y la preparaci\u00f3n de auditor\u00edas. Cumplir con las regulaciones de la Ley GENIUS no solo es un requisito b\u00e1sico de cumplimiento, sino tambi\u00e9n una garant\u00eda clave para mejorar la seguridad de las transacciones de activos de los usuarios.<\/p>\n Como equipo de investigaci\u00f3n de verificaci\u00f3n formal en CertiK<\/strong>, esperamos introducir esta metodolog\u00eda para ayudar a demostrar las propiedades clave de los contratos inteligentes de stablecoins. Utilizamos derivaciones matem\u00e1ticas rigurosas y argumentos l\u00f3gicos verificables por m\u00e1quina para garantizar que el c\u00f3digo cumpla con los requisitos de cumplimiento y seguridad bajo condiciones l\u00edmite arbitrarias. La verificaci\u00f3n formal expresa cada requisito de cumplimiento como un invariante o vivacidad en la cadena.<\/p>\n Tomando la Ley GENIUS como ejemplo, las disposiciones legales pueden expresarse formalmente como el siguiente lema:<\/p>\n Adem\u00e1s, los invariantes t\u00e9cnicos de ciertas stablecoins deben ser rigurosamente probados para garantizar que se cumplan requisitos legales espec\u00edficos. Estos lemas formalizados se convertir\u00e1n en Obligaciones de Prueba<\/strong> en su marco de verificaci\u00f3n elegido (TLA\u207a<\/strong>, Coq<\/strong>, K<\/strong>, Isabelle<\/strong> o Why 3<\/strong>). Sin embargo, solo algunas de estas especificaciones son relevantes para el proceso de verificaci\u00f3n formal en la etapa del contrato inteligente.<\/p>\n En el siguiente ejemplo, construimos un caso basado en el sistema de stablecoins de Solana<\/strong> y verificamos formalmente sus especificaciones. Aqu\u00ed hay una versi\u00f3n simplificada del programa de stablecoins de Solana que construimos, mostrando c\u00f3mo todas las operaciones en la cadena satisfacen sus invariantes centrales:<\/p>\n En el resultado completo, podemos formalizar con \u00e9xito el invariante: Suministro Total \u2264 Reserva Total<\/strong>, donde, una vez que se hayan cumplido todas las obligaciones de prueba, el ejemplo del programa de stablecoins de Solana anterior puede ser probado matem\u00e1ticamente para cumplir estrictamente con los requisitos de cumplimiento de respaldo de reserva uno a uno de la Secci\u00f3n 4(a)(1)(A) de la Ley GENIUS.<\/p>\n La verificaci\u00f3n formal no es una caracter\u00edstica opcional. Para el cumplimiento de las stablecoins, es esencial proteger los fondos y la confianza de cada participante. Una vez que haya vulnerabilidades en la implementaci\u00f3n real del c\u00f3digo, esto puede llevar a p\u00e9rdidas de activos graves, sanciones regulatorias e incluso un impacto negativo a largo plazo en la marca.<\/p>\n Seguir las mejores pr\u00e1cticas de verificaci\u00f3n formal traer\u00e1 ventajas adicionales a los protocolos de stablecoins:<\/p>\n Adem\u00e1s, al presentar su stablecoin a una junta, comunidad o regulador, poder decir: \u00abNuestro protocolo ha sido verificado formalmente de acuerdo con los requisitos de la Ley GENIUS sin obligaciones de prueba pendientes\u00bb convierte el riesgo de cumplimiento en una ventaja competitiva. Esto no solo aumenta la confianza en el proyecto, sino que tambi\u00e9n acelera significativamente varios procesos clave.<\/p>\n A medida que los reguladores globales contin\u00faan prestando m\u00e1s atenci\u00f3n a las stablecoins, el cumplimiento y la seguridad se han convertido en desaf\u00edos centrales que enfrentan los emisores. Ya sea para cumplir con los requisitos de la Ley GENIUS o planear una expansi\u00f3n global, los proyectos de stablecoins necesitan construir una base de seguridad confiable desde abajo hacia arriba.<\/p>\n El marco de verificaci\u00f3n formal desarrollado por CertiK est\u00e1 dise\u00f1ado para escenarios de aplicaci\u00f3n de blockchain reales. Nuestro enfoque rompe con el modelo abstracto a nivel acad\u00e9mico y puede generar pruebas de seguridad verificables por m\u00e1quina en la cadena, correspondiendo directamente a los requisitos de cumplimiento. Esto no es una exploraci\u00f3n te\u00f3rica, sino una garant\u00eda confiable para entornos de producci\u00f3n reales.<\/p>\n Como la empresa de seguridad m\u00e1s grande en Web3, CertiK siempre se ha comprometido a la misi\u00f3n de protecci\u00f3n integral y logros extraordinarios. Ya sea que est\u00e9 tratando de cumplir con los requisitos de la Ley GENIUS o tenga como objetivo construir una stablecoin confiable para el mundo, CertiK puede escoltar su proyecto y ayudarlo a salir en l\u00ednea de manera segura y eficiente.<\/p>\n \u00bfC\u00f3mo se diferencia CertiK de los productos tradicionales de verificaci\u00f3n formal?<\/strong><\/p>\n<\/blockquote>\n Como l\u00edder en verificaci\u00f3n formal y seguridad en blockchain, CertiK ha protegido m\u00e1s de 5,000 proyectos de blockchain, asegurando m\u00e1s de $530 mil millones<\/strong> en activos digitales, sentando una base s\u00f3lida para el cumplimiento y la seguridad de los proyectos de stablecoins. Damos la bienvenida a una comunicaci\u00f3n m\u00e1s profunda y podemos organizar un seminario t\u00e9cnico sobre auditor\u00eda de prueba de concepto para explorar c\u00f3mo ayudar a su proyecto de stablecoin a lograr cumplimiento y operaci\u00f3n en l\u00ednea de alta confiabilidad a trav\u00e9s de un enfoque sistem\u00e1tico y demostrablemente seguro.<\/p>\n","protected":false},"excerpt":{"rendered":" Introducci\u00f3n a las Stablecoins A medida que las aplicaciones de Web3 contin\u00faan aceler\u00e1ndose, cada vez m\u00e1s bancos centrales e instituciones est\u00e1n desarrollando productos de activos digitales, siendo las stablecoins una de las direcciones clave. Estas combinan la eficiencia y transparencia de la blockchain con la estabilidad de las finanzas tradicionales, convirti\u00e9ndose en un factor crucial para remodelar el sistema de pagos global y la infraestructura financiera. Sin embargo, para promover la adopci\u00f3n generalizada de las stablecoins, es necesario establecer una base s\u00f3lida en t\u00e9rminos de confianza del usuario, cumplimiento regulatorio y compatibilidad con los sistemas Web3 existentes. Marco de Cumplimiento<\/p>\n","protected":false},"author":3,"featured_media":7110,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[23],"tags":[1022,2886,859,2128,25,115,46,221],"class_list":["post-7111","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-legal","tag-abu-dhabi-global-market","tag-certik","tag-genius-act","tag-hong-kong-monetary-authority","tag-legal","tag-solana","tag-usa","tag-web3"],"yoast_description":"Explora la importancia de la regulaci\u00f3n de stablecoins bajo la Ley GENIUS y el papel de la verificaci\u00f3n formal en la garant\u00eda de cumplimiento y confianza del usuario.","_links":{"self":[{"href":"https:\/\/satoshibrother.com\/es\/wp-json\/wp\/v2\/posts\/7111","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/satoshibrother.com\/es\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/satoshibrother.com\/es\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/satoshibrother.com\/es\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/satoshibrother.com\/es\/wp-json\/wp\/v2\/comments?post=7111"}],"version-history":[{"count":0,"href":"https:\/\/satoshibrother.com\/es\/wp-json\/wp\/v2\/posts\/7111\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/satoshibrother.com\/es\/wp-json\/wp\/v2\/media\/7110"}],"wp:attachment":[{"href":"https:\/\/satoshibrother.com\/es\/wp-json\/wp\/v2\/media?parent=7111"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/satoshibrother.com\/es\/wp-json\/wp\/v2\/categories?post=7111"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/satoshibrother.com\/es\/wp-json\/wp\/v2\/tags?post=7111"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}Marco de Cumplimiento y Verificaci\u00f3n Formal<\/h2>\n
La Ley GENIUS<\/h2>\n
\n
Verificaci\u00f3n Formal en CertiK<\/h2>\n
Ejemplo de Verificaci\u00f3n Formal<\/h2>\n
Importancia de la Verificaci\u00f3n Formal<\/h2>\n
\n
Conclusi\u00f3n<\/h2>\n
\n