The technical content top engineers rely on to level up.
30 min read
P vs NP y su aplicación a las pruebas de conocimiento cero El problema P = NP plantea: "Si podemos verificar rápidamente que la solución a un problema es correcta, ¿podemos también calcular rápidamente la solución?" La mayoría de los investigadores...
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,...
12 min read
Álgebra Abstracta El álgebra abstracta es el estudio de conjuntos que tienen uno o más operadores sobre ese conjunto. Para nuestros propósitos, solo nos interesan los conjuntos donde el operador es un operador binario. Dado un conjunto con...
25 min read
Circuitos aritméticos para ZK En el contexto de las pruebas de conocimiento cero, un circuito aritmético es un sistema de ecuaciones que modela un problema en NP. Un punto clave de nuestro artículo sobre P vs NP es que cualquier...
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...
12 min read
El algoritmo de staking de SushiSwap MasterChef y Synthetix Los algoritmos de staking de MasterChef y Synthetix distribuyen un pool de recompensas fijo entre los stakers según sus contribuciones ponderadas en el tiempo...