El delegado de Cardano respalda la propuesta de alta garantía con 66.68 millones de votos afirmativos en ADA

Delegado de Cardano apoya propuesta de Alta Garantía con 66.68M ADA en voto afirmativo centrado en herramientas de seguridad para contratos inteligentes.

Un delegado de Cardano ha votado afirmativamente con 66.68 millones de ADA en la propuesta de retiro del tesoro llamada “IO: Colaboración Técnica de Alta Garantía de Cardano.”

El voto fue emitido en nombre de delegados leales, y apoya herramientas destinadas a fortalecer la seguridad de contratos inteligentes y facilitar la incorporación de desarrolladores.

Propuesta del Tesoro de Cardano recibe gran voto afirmativo

El delegado dijo que el voto apoya formalmente la propuesta de Colaboración Técnica de Alta Garantía de Cardano.

La propuesta se centra en herramientas de seguridad, acceso para desarrolladores y colaboración técnica en todo el ecosistema de Cardano.

El voto afirmativo fue realizado con 66.68 millones de ADA. Esa cantidad representa poder de voto delegado, no solo una participación personal.

El delegado dijo que el voto fue presentado “en nombre de mis delegados leales.”

Acabo de votar SÍ con 66.68 millones de ADA en la propuesta de retiro del tesoro: IO: Colaboración Técnica de Alta Garantía de Cardano

En nombre de mis delegados leales.

Razonamiento
Estoy registrando formalmente un voto SÍ en la Colaboración Técnica de Alta Garantía de Cardano. A lo largo de…

— Dave (@ItsDave_ADA) 20 de mayo de 2026

La propuesta busca financiamiento del tesoro para herramientas relacionadas con el desarrollo de alta garantía.

Se centra en la verificación formal, que ayuda a los desarrolladores a probar software con métodos matemáticos antes del lanzamiento. Cardano ha promovido durante mucho tiempo la seguridad y el desarrollo basado en investigación.

La propuesta presenta las herramientas de alta garantía como un recurso más amplio para los constructores, en lugar de un servicio limitado a especialistas.

La herramienta Blaster apunta a la seguridad de contratos inteligentes

La propuesta incluye planes para integrar la herramienta de verificación formal Blaster en lenguajes nativos de Cardano.

Los lenguajes listados incluyen Aiken, Scalus, Pebble y Futura. La verificación formal puede ayudar a los desarrolladores a verificar si el código cumple con las reglas de seguridad definidas.

También puede reducir riesgos asociados a contratos inteligentes defectuosos y lógica de aplicaciones.

El delegado dijo que Web3 ha visto grandes pérdidas por exploits en contratos inteligentes y puentes.

La declaración argumentó que herramientas de verificación más robustas pueden ayudar a proteger las aplicaciones antes de su despliegue.

“La propuesta de valor fundamental de Cardano es su seguridad de alta garantía,” dijo el delegado en la justificación.

El comunicado también mencionó que esta seguridad a menudo ha requerido expertos costosos y auditorías. La propuesta busca hacer esas verificaciones más accesibles para los desarrolladores.

Enmarca la integración de Blaster como una forma de apoyar la seguridad durante el trabajo de desarrollo normal.

Leer también:

DRep de Cardano se abstiene en la votación revisada de gobernanza de la Cumbre de Singapur

El entorno para desarrolladores busca reducir barreras de configuración

La propuesta también incluye un Entorno para Desarrolladores Basado en Contenedores. El objetivo declarado es simplificar pasos complejos de configuración para los constructores de Cardano.

Los entornos para desarrolladores pueden requerir varias herramientas, versiones y pasos de configuración. La propuesta dice que el sistema de contenedores podría reducir el tiempo de configuración y ayudar a los desarrolladores a comenzar a trabajar más rápido.

El delegado dijo que el entorno podría comprimir configuraciones de varios días en una configuración de un solo clic.

Esa afirmación se relaciona con la incorporación, que sigue siendo un problema clave para los ecosistemas de desarrolladores de blockchain.

La propuesta también pide una gestión compartida entre socios del ecosistema. El delegado dijo que este enfoque apoya la resiliencia y coincide con el modelo de código abierto de Cardano.

El voto añade atención a la gobernanza de Cardano y al uso del tesoro. También sitúa las herramientas de seguridad en el centro del debate actual del ecosistema.

La propuesta ahora forma parte del proceso de gobernanza más amplio de Cardano.

Se espera que los apoyos vigilen cómo evoluciona el voto del tesoro y cómo responden los constructores a las herramientas propuestas.