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.

Dev Docs

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).