Browse all Smart Contract Security articles.
13 min read
Certora Require, Assert y Satisfy En el capítulo anterior, aprendimos que una especificación es un fragmento de código escrito en CVL que describe el comportamiento esperado de un contrato inteligente. Un...
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...
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...
17 min read
Introducción al lenguaje Cairo Cairo es un lenguaje de programación diseñado para la computación demostrable y verificable, particularmente dentro del contexto de sistemas de conocimiento cero como Starknet, una Capa 2...
3 min read
Control de acceso en Cairo El control de acceso define quién puede llamar a funciones específicas o modificar el comportamiento del contrato. Este artículo explica cómo Cairo implementa el control de acceso utilizando la macro. Un repaso de...
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...
11 min read
Estructura de un contrato básico Este artículo muestra cómo construir un contrato de Cairo desplegable para Starknet. Comenzando desde un esquema simple, agregaremos características gradualmente para construir un contrato funcional...
13 min read
Componentes Parte 2: Tutorial de OpenZeppelin ERC-20 En Component Parte 1, aprendimos cómo crear y usar un componente dentro de un solo archivo. Construimos uno desde cero e integramos su almacenamiento, eventos y...
15 min read
Tipos de variables de almacenamiento en Cairo En Starknet, el Contract Storage es la memoria persistente donde reside el estado de tu contrato inteligente. A diferencia de las variables declaradas dentro de una función, las cuales desaparecen después de...
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...
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...