The technical content top engineers rely on to level up.
29 min read
Conversión de circuitos algebraicos a R1CS (Rank One Constraint System) Este artículo explica cómo convertir un conjunto de restricciones aritméticas en un Rank One Constraint System (R1CS). El enfoque de este...
22 min read
Teoría elemental de conjuntos para programadores ¿Por qué otro tutorial sobre teoría de conjuntos? El público objetivo de este artículo es el tipo de personas a las que no les importan las matemáticas abstractas a menos que vean un caso de uso directo para...
11 min read
Homomorfismos mediante ejemplos Un homomorfismo entre dos grupos existe si existe un mapeo que preserva la estructura entre los dos grupos. Supongamos que tenemos dos estructuras de datos algebraicas $(A,\square)$ y $(B,...
3 min read
Trusted Setup Un Trusted Setup es un mecanismo que los ZK-SNARKs utilizan para evaluar un polinomio en un valor secreto. Observe que un polinomio $f(x)$ puede ser evaluado calculando el producto interno de los...
17 min read
Programas Aritméticos Cuadráticos Un programa aritmético cuadrático es un circuito aritmético, específicamente un Rank 1 Constraint System (R1CS) representado como un conjunto de polinomios. Se deriva utilizando Lagrange...
16 min read
Pruebas de invariantes en Foundry Introducción En este artículo, discutiremos los invariantes y cómo realizar una prueba de invariantes en contratos inteligentes de Solidity utilizando las suites de pruebas de Foundry. Las pruebas de invariantes son...
6 min read
Pruebas de mutación en Solidity Las pruebas de mutación son un método para verificar la calidad de la suite de pruebas introduciendo errores intencionalmente en el código y asegurando que las pruebas detecten el error. El tipo de errores...
6 min read
Contratos precompilados de Ethereum Los precompilados de Ethereum se comportan como smart contracts integrados en el protocolo Ethereum. Los nueve precompilados residen en las direcciones 0x01 a 0x09. La utilidad de los precompilados recae...
11 min read
Cómo funciona ERC721 Enumerable Un ERC721 Enumerable es un ERC721 con funcionalidad adicional que permite a un contrato inteligente listar todos los NFTs que posee una dirección. Este artículo describe cómo funciona y cómo...
7 min read
El modelo de tasas de interés de Aave V3 y Compound V2 Las tasas de interés en TradFi (finanzas tradicionales) están determinadas en gran medida por los bancos centrales y son influenciadas por factores del mercado. En contraste, los intereses en DeFi...
3 min read
El patrón Fallback Extension El patrón fallback-extension es una forma sencilla de eludir el límite de tamaño de 24 KB de los smart contracts. Supongamos que tenemos funciones y en nuestro contrato principal y deseamos añadir...
6 min read
Ranuras de almacenamiento del EIP 1967 para proxies El EIP 1967 es un estándar sobre dónde almacenar la información que los contratos proxy necesitan para ejecutarse. Tanto el UUPS (Universal Upgradeable Proxy Standard) como el Transparent...