Browse all Cairo Smart Contracts articles.
26 min read
Syscalls in Starknet In Solidity, low-level operations like reading/writing to storage, contract to contract calls, or sending messages are performed directly through inline assembly using Yul...
12 min read
Los programas on-chain de Switchboard no pueden acceder directamente a los datos off-chain. Dependen de oráculos para incorporar información como precios de activos, resultados de eventos o respuestas de API. Sin estos oráculos,...
4 min read
Verificación formal de Nonces.Sol en OpenZeppelin. Los nonces, que significan "número usado una vez", se utilizan en esquemas de firmas digitales para prevenir ataques de repetición. Para los propósitos de este artículo, asumimos...
10 min read
Introducción a la Verificación Formal La verificación formal es el proceso de demostrar matemáticamente que un programa cumple con una especificación. Este artículo presenta conceptualmente cómo la verificación formal...
3 min read
Campos finitos amigables con FFT Para llevar a cabo el algoritmo FFT en un campo finito (la Transformada Teórica de Números), debe haber raíces $k$-ésimas de la unidad tales que $k$ sea una potencia de 2. Idealmente,...
15 min read
Token ERC-20 en Starknet Los tokens ERC-20 en Starknet funcionan de la misma manera que en Ethereum. De hecho, STRK (el token de tarifas de Starknet) es en sí mismo un token ERC-20; no hay un token "nativo" especial en el protocolo...
9 min read
Constructores en Cairo Un constructor es una función de llamada única ejecutada durante el despliegue del contrato para inicializar variables de estado, realizar tareas de configuración del contrato, hacer interacciones entre contratos y...
10 min read
Conversión de Tipos La conversión de tipos en Cairo es el proceso de convertir valores de un tipo de datos a otro. Esto se vuelve necesario cuando se trabaja con el estricto sistema de tipos de Cairo, donde la coincidencia explícita de tipos...
17 min read
Cheatcodes en Starknet Foundry Un "cheatcode" en Foundry es un mecanismo que permite a las pruebas de contratos controlar variables de entorno como la dirección del llamador, el timestamp actual, entre otras. En este...
11 min read
Enteros en Cairo Cairo no ofrece el rango completo de tamaños de enteros que se encuentra en Solidity. Mientras que Solidity proporciona tipos de enteros para cada múltiplo de 8 bits hasta 256, Cairo solo admite los...
8 min read
Componentes de Cairo Parte 1 Los componentes en Cairo se comportan como contratos abstractos en Solidity. Pueden definir y trabajar con storage, eventos y funciones, pero no pueden desplegarse por sí solos. El...
7 min read
Visibilidad de funciones en Cairo Cairo no tiene los modificadores "internal" y "pure" (ni ningún otro modificador, de hecho) como los tiene Solidity. Recuerda que marcar un bloque con le indica a Cairo que incluya...