Starknet / El Cairo >>>>> EVM / Solidez Sistema de tipos: Cairo tiene tipos fuertes, genéricos, tipos de datos algrebraicos, rasgos. Solidity no tiene genéricos y la coincidencia de patrones es más débil. Comprobador de propiedad / préstamo en tiempo de compilación: Cairo lo tiene, semántica de movimiento de un solo propietario y reglas de préstamo que se usan después de la jugada. La seguridad de la memoria de Solidity depende de la disciplina del desarrollador. Seguridad aritmética: Cairo utiliza matemáticas comprobadas por defecto. Solidity ahora tiene aritmética verificada, pero se puede optar por no participar. Cairo viene con una representación intermedia (Sierra) que no puede expresar un comportamiento indefinido o una aserción fallida, se demuestra que todas las funciones terminan en tiempo de compilación. Patrones de actualización: En Cairo se realiza con una llamada de sistema nativa para reemplazar el hash de clase mientras se conserva el almacenamiento, reforzado por pruebas, sin riesgos de colisión de almacenamiento de proxy. En Solidity, los proxies se enrollan a mano, las colisiones de ranuras de almacenamiento y los errores de llamada delegada representan un riesgo. Cairo omite deliberadamente ciertas características presentes en Solidity, como los modificadores, la herencia de clases. Cairo favorece la componibilidad sobre la herencia, lo que ayuda a escribir código más limpio y modular, lo que facilita el razonamiento y la auditoría de fallas de seguridad. El diseño de Cairo elimina clases de errores enteras antes de que se compile el código, mientras que Solidity depende de convenciones como Verificaciones, Efectos, Interacciones y linters externos.