Number Theoretic Transform (NTT) The Number Theoretic Transform (NTT) is an algorithm for evaluating a polynomial in a finite field on n values in O(n log n) time. Normally, evaluating a polynomial...

Using Convolution Theorem to Prove Equivalence Between Multiplication in Coefficient Form and Point Form At the beginning of this series, we argued that the multiplication of two polynomials of...

Entendiendo el modelo de despliegue de contratos de Starknet En Ethereum, despliegas un contrato en una sola transacción. Starknet adopta un enfoque diferente: el despliegue se divide en dos transacciones separadas,...

Ortogonalidad de las raíces de la unidad La suma de las potencias de las $k$-ésimas raíces de la unidad generadas por una $k$-ésima raíz primitiva de la unidad es cero o $k$. Llamamos a esta propiedad la ortogonalidad de las raíces de...

Leyendo los inputs de las instrucciones de Solana usando ensamblador sBPF En el tutorial anterior, presentamos la disposición de memoria de sBPF y explicamos el propósito de cada registro durante la ejecución del programa. En este...

Distribución de memoria de sBPF y convenciones de registros Este tutorial presenta la distribución de memoria de Solana BPF (sBPF) y los roles de los registros de su máquina virtual. Demostraremos las convenciones sobre cómo...

Uso de hooks de Sstore con mappings de almacenamiento Introducción En el capítulo “Introducción a Storage Hooks y Ghosts”, cubrimos los hooks de almacenamiento y los ghosts con variables de almacenamiento simples. Mostramos que...

Sentencias condicionales en CVL y verificación formal de partes de Solady y Solmate Introducción Algunos comportamientos (propiedades) de los contratos son inherentemente condicionales, y el uso de construcciones como if/else en CVL...

Overflow y Mathint En CVL, el tipo representa enteros no acotados, a diferencia de los tipos de tamaño fijo de Solidity como . Realiza operaciones aritméticas sin overflow ni underflow, lo que permite razonar basándose en...

Introducción al Operador de Implicación El operador de implicación se utiliza frecuentemente como sustituto de la sentencia ya que es más limpio. Considere el siguiente ejemplo: una función que toma dos unsigned...

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

Representación visual de las raíces de la unidad La propiedad de que si $\omega$ es una raíz $k$-ésima de la unidad, entonces $\omega^i$ y $\omega^{i+k/2}$ son inversos aditivos puede parecer un poco abstracta — esto...