If your preferred language is English, you can switch it in the menu.
La red de Stellar es una blockchain open-source utilizada para una variedad de aplicaciones de pagos y remesas. Aprende sobre la Stellar Development Foundation sin fines de lucro y los fundamentos de cómo funciona la red.
Descubre cómo puedes usar la red de Stellar y explora los muchos proyectos y aplicaciones que se están construyendo en ella hoy.
Sumérgete en la documentación o explora nuestros recursos para desarrolladores. Explora y solicita una variedad de programas de financiación.
Stellar une a una comunidad global para crear una red abierta y transformar el sistema financiero global.
Charlas Tecnológicas Con Tomer
Autor
Stellar Development Foundation
Fecha de publicación
Charlas técnicas con Tomer
Desarrolladores
Contratos inteligentes
Seguridad
Soroban
Una conversación con
En diciembre de 2023, el valor total bloqueado en protocolos de finanzas descentralizadas (DeFi) alcanzó los 50 mil millones de dólares. Eso es mucho dinero, razón por la cual la seguridad de los contratos inteligentes sigue siendo un tema de gran interés. Entra Mooly Sagiv y Certora, una empresa de seguridad y auditoría de contratos inteligentes especializada en verificación formal. La experiencia de Certora radica en emplear un método matemático para probar rigurosamente que un diseño, especialmente en código, cumple con sus especificaciones.
Mooly Sagiv describe la evolución de la verificación formal desde una oscura búsqueda académica hasta convertirse en una piedra angular en el fortalecimiento de los contratos inteligentes. Se adentra en las complejidades de asegurar código compacto, por qué la verificación formal es la pareja perfecta y el futuro de los contratos inteligentes más allá de la Máquina Virtual de Ethereum (EVM).