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.
Aprender Stellar
La Fundación
Descubre cómo puedes usar la red de Stellar y explora los muchos proyectos y aplicaciones que se están construyendo en ella hoy.
Stellar para
Explorar
Sumérgete en la documentación o explora nuestros recursos para desarrolladores. Explora y solicita una variedad de programas de financiación.
Listo para Construir
Explorar
Stellar une a una comunidad global para crear una red abierta y transformar el sistema financiero global.
Conectar
Charlas Tecnológicas Con Tomer
Asegurando Contratos Inteligentes y el Futuro de DeFi
Autor
Stellar Development Foundation
Fecha de publicación
Charlas técnicas con Tomer
Desarrolladores
Contratos inteligentes
Seguridad
Soroban
Una conversación con
Mooly Sagiv
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).