Artículos Relacionados con Contratos Inteligentes

El Centro de Noticias de HTX ofrece los artículos más recientes y un análisis profundo sobre "Contratos Inteligentes", cubriendo tendencias del mercado, actualizaciones de proyectos, desarrollos tecnológicos y políticas regulatorias en la industria de cripto.

Comprender el ensayo de «Economía de Agentes» del fundador de Circle para ver cómo se reconfigurarán las formas económicas en la próxima década

El documento "La Economía de los Agentes" de Jeremy Allaire, fundador de Circle, explora la convergencia entre la IA y las cadenas de bloques como la base para una reestructuración económica futura. Argumenta que la economía de agentes (IA que realiza trabajo) y la economía onchain (valor programable en blockchain) son dos caras de un mismo sistema. La tesis principal es que el coste marginal del pensamiento y las transacciones tiende a cero gracias a los agentes de IA y al dinero digital en blockchain. Esto desagrega las empresas en habilidades que los agentes pueden realizar y ensamblar dinámicamente, cambiando el rol humano de la ejecución a la supervisión y el juicio. Un mercado abierto de agentes especializados requerirá una capa de identidad y rendición de cuentas basada en blockchain para generar confianza. El dinero para esta economía debe ser totalmente respaldado, de liquidación instantánea y final (como las stablecoins), permitiendo micropagos y velocidad, no apalancamiento, como nuevo motor. El crédito se reinventa mediante suscripción automatizada basada en datos onchain verificables y privados, comenzando por el capital de trabajo para agentes. Este sistema es "global por defecto", operando en capas de software (moneda, contratos, ejecución) que trascienden las jurisdicciones nacionales. La oferta pasa de suscripciones a pagos por consumo/trabajo, y emergen las "empresas onchain", donde la actividad corporativa se programa y ejecuta en la cadena. El impacto principal es el posible descenso de la participación del trabajo humano en la renta nacional, haciendo que la distribución de la propiedad del capital (agentes, infraestructura) sea la cuestión clave para evitar una concentración extrema de poder y riqueza. La visión final aboga por diseñar mecanismos para ampliar la propiedad y la gobernanza de manera justa, utilizando las mismas herramientas onchain, como el camino hacia una prosperidad compartida en lugar de defender puestos de trabajo obsoletos.

marsbit07/15 02:23

Comprender el ensayo de «Economía de Agentes» del fundador de Circle para ver cómo se reconfigurarán las formas económicas en la próxima década

marsbit07/15 02:23

Mythos de Versión Pública Oficialmente Lanzado: Analizando las Ventajas y Limitaciones de la Auditoría de Contratos Inteligentes con IA

El 9 de junio, Anthropic lanzó la versión pública de Mythos, Claude Fable 5, que destaca por su capacidad para detectar vulnerabilidades de seguridad. Un ejemplo reciente es el caso de Zcash, donde un investigador utilizó el modelo Claude Opus 4.8 para descubrir una vulnerabilidad crítica no detectada en cuatro años de auditorías manuales, lo que provocó una caída del 40% en el precio de ZEC. La IA es cada vez más común en la auditoría de contratos inteligentes por su eficiencia en el emparejamiento de patrones de código y el cribado inicial masivo. Analizamos sus fortalezas y debilidades con casos reales y pruebas con Fable 5. **Fortalezas de la Auditoría con IA:** En un caso, se detectó una colisión de ranuras de almacenaje (*storage slot collision*) entre un *mapping* de recompensas personalizado y la librería Solady ReentrancyGuard. El guardia utilizaba una ranura fija para optimizar gas, que coincidía con la primera ranura del *mapping*. Esto permitía a un atacante reclamar recompensas repetidamente, drenando los fondos del contrato. La IA puede identificar instantáneamente estos conflictos de diseño que suelen pasar inadvertidos en auditorías manuales. **Limitaciones de la Auditoría con IA:** Al probar Fable 5 con los contratos del ataque a Curve LlamaLend sDOLA, no logró identificar el riesgo central. Este ataque explotó una vulnerabilidad de combinación entre protocolos: manipular el precio de un activo en un *pool* de liquidez para desencadenar liquidaciones en masa en otro protocolo y obtener ganancias. Este tipo de vulnerabilidades complejas, que dependen de la interacción semántica y económica entre múltiples contratos y protocolos DeFi, aún superan la capacidad de análisis de la IA. **Conclusión:** Fable 5 es eficaz para encontrar vulnerabilidades estandarizadas, detalladas y de lógica simple en contratos individuales. Sin embargo, su comprensión de la lógica de negocio compleja, los modelos económicos DeFi y los vectores de ataque combinados entre protocolos es limitada. En la auditoría de seguridad es crucial combinar la eficiencia de la IA con el análisis experto para lograr una cobertura integral.

marsbit06/11 08:08

Mythos de Versión Pública Oficialmente Lanzado: Analizando las Ventajas y Limitaciones de la Auditoría de Contratos Inteligentes con IA

marsbit06/11 08:08

Hoskinson afirma que Cardano podría superar a Bitcoin resolviendo el problema de confianza en las criptomonedas

Charles Hoskinson afirma que Cardano no solo compite por participación en el mercado cripto, sino que aspira a ser la capa de infraestructura para la confianza global. En una transmisión en vivo del 8 de junio, el fundador argumentó que el valor a largo plazo de ADA depende de si la red puede reducir la dependencia mundial de terceros confiables y eventualmente superar a Bitcoin. Hoskinson describió la función central de las criptomonedas como la reducción del costo de la confianza en el comercio global, un mercado que estima en cientos de miles de millones anuales. La solución propuesta es la "reflexividad verificable", donde algo lleva su propia prueba de ser correcto, aplicable a votación, finanzas e identidad. Destacó cuatro pilares de Cardano para lograr esto: 1) el protocolo Ouroboros para la descentralización, 2) el modelo UTXO extendido para determinismo local, 3) Hydra para escalabilidad mediante dominios especializados, y 4) la modularidad a través de cadenas asociadas como Midnight. Admitió que la gobernanza descentralizada, con funciones ejecutivas y de especialización, es el área por desarrollar. Concluyó que si Cardano logra construir este sistema de confianza verificable, la criptomoneda que lo alimente podría convertirse en "la moneda de la confianza global" y superar a Bitcoin. Al momento de la publicación, ADA cotizaba a $0.16.

bitcoinist06/09 12:05

Hoskinson afirma que Cardano podría superar a Bitcoin resolviendo el problema de confianza en las criptomonedas

bitcoinist06/09 12:05

¿Cómo logra ERC-8257 que los AI Agent llamen a la API, compren permisos y completen pagos por sí mismos?

Autor: ShirleyLi, investigadora de Web3Caff Research. El estándar ERC-8257, propuesto por OpenSea, busca crear un directorio descentralizado y sin permisos para que los agentes de IA descubran y utilicen herramientas (como APIs) de forma autónoma. Actualmente, los agentes enfrentan dificultades para localizar, acceder y pagar por servicios dispersos en diferentes plataformas. ERC-8257 propone un registro en cadena (blockchain) donde los desarrolladores publican información básica de sus herramientas, mientras que los detalles (descripción, API, precios, reglas de acceso) se almacenan fuera de la cadena en un archivo JSON. Un hash en la cadena garantiza la integridad de esos datos. Un aspecto clave es que los permisos de acceso se definen mediante contratos inteligentes personalizables, que pueden requerir, por ejemplo, la posesión de un NFT, una suscripción activa o tokens específicos. Si un agente no cumple los requisitos, puede intentar adquirirlos (comprando un NFT, suscribiéndose) antes de intentar nuevamente. Para el pago, ERC-8257 no define su propio sistema, sino que permite integrar protocolos existentes como x402 o pagos con ERC-20. El flujo general implica: registro de la herramienta por el desarrollador, descubrimiento por el agente, verificación de permisos, posible adquisición de credenciales, pago y ejecución, todo sin intervención humana. ERC-8257 complementa a x402 (enfocado en pagos) al abordar el descubrimiento y la gestión de permisos. Sin embargo, persisten desafíos como la complejidad de integrar reglas de acceso diversas, riesgos de especulación si los permisos son activos comercializables, y la falta de garantías sobre la fiabilidad, seguridad o disponibilidad continua de las herramientas externas.

marsbit05/29 07:27

¿Cómo logra ERC-8257 que los AI Agent llamen a la API, compren permisos y completen pagos por sí mismos?

marsbit05/29 07:27

活动图片