La renovación de StarkNet de su programación de El Cairo, pero ¿por qué?

StarkNet es un Validity-Rollup descentralizado sin permiso. Opera como una red L2 sobre Ethereum. Permite que cualquier dApp logre una escala ilimitada para su cálculo, sin comprometer la componibilidad y la seguridad de Ethereum.

A partir de la reciente actualización de StarkNet, ha revisado su lenguaje de programación interno Cairo para que el desarrollo de Web3 sea accesible para los desarrolladores. En una publicación de blog mediana de StarkWare, las soluciones de escalado basadas en Stark, describieron las actualizaciones a Cairo 1.0.

Según la publicación del blog, "¡Los desarrolladores pueden comenzar a escribir, compilar y probar los programas de Cairo 1.0!" La plataforma alienta a los desarrolladores a comenzar a experimentar con Cairo 1.0 y acostumbrarse a la nueva sintaxis y características”.

¿Qué es El Cairo 1.0?

Cairo se presentó por primera vez en 2020 y, siguiendo la evolución, ya está disponible su primera versión pública, Cairo 1.0. También es un "lenguaje de programación completo de Turing" para escribir eficientemente programas comprobables por STARK. “Cairo 1.0 es un lenguaje de alto nivel similar a Rust. Al igual que Rust, está destinado a permitir que los desarrolladores escriban fácilmente código que sea eficiente y seguro”.

El cofundador y presidente de StarkWare, Eli Ben-Sasson, compartió el motivo de la renovación de Cairo y dijo: "Los impulsores principales fueron la seguridad y la facilidad de uso, y realizar la revisión presentó una excelente oportunidad para eliminar la entrada para los desarrolladores con lenguaje convencional. antecedentes."

Cairo 1.0 presenta además Sierra, una nueva representación intermedia que garantiza que se puedan probar todas las ejecuciones de Cairo. Esto hace que Cairo 1.0 sea especialmente adecuado para su uso en una red sin permisos como StarkNet, donde puede proporcionar una sólida protección DoS y resistencia a la censura.

El Sr. Ben-Sasson explicó que Sierra es "un aspecto importante para garantizar una red sin permisos". Además, la actualización permite que las transacciones revertidas se incluyan en los bloques de StarkNet, lo que ayuda al protocolo a evitar agregar "mecanismos criptoeconómicos" complejos. Dijo que Sierra permitirá que StarkNet "herede la resistencia total a la censura de Ethereum" y protege principalmente contra los ataques de denegación de servicio de Sequencer.

La publicación de blog de StarkNet también mencionó que Cairo es el cuarto lenguaje de contrato inteligente más popular por valor total bloqueado. Ha manejado más de $ 790 mil millones en transacciones, procesado más de 300 millones de transacciones y acuñado más de 90 millones de NFT, todo realizado fuera de la cadena y liquidado en Ethereum con la integridad matemática garantizada por las pruebas de STARK.

“Sin embargo, StarkNet aún no admite la implementación y ejecución de contratos de Cairo 1.0. StarkNet Alpha V0.11.0, planeado para las próximas semanas, presentará la capacidad de implementar y ejecutar contratos de Cairo 1.0. La actualización a v0.11.0 marcará el comienzo del período de transición hacia un sistema que ejecuta solo contratos de Cairo 1.0”, según StarkNet.

Nancy J. Allen es una entusiasta de las criptomonedas y cree que las criptomonedas inspiran a las personas a ser sus propios bancos y alejarse de los sistemas de intercambio monetario tradicionales. También le intriga la tecnología blockchain y su funcionamiento.

Últimos mensajes de Nancy J. Allen (ver todo)