Pruebas sucintas de un compromiso vectorial Si tenemos un compromiso vectorial de Pedersen $A$ que contiene un compromiso para un vector $\mathbf{a}$ como $A = a_1G_1 + a_2G_2+\dots + a_nG_n$ podemos demostrar que conocemos...

Una Prueba de Conocimiento Cero para el Producto Interno Un argumento de producto interno es una prueba de que el probador llevó a cabo correctamente el cálculo del producto interno. Este capítulo muestra cómo construir un cero...

Introducción a los ZK Bulletproofs Los Bulletproofs son un argumento de producto interno de conocimiento cero, que permiten a un probador convencer a un verificador de que calculó correctamente un producto interno. Es decir, el...

La intuición detrás de las firmas digitales de curva elíptica (ECDSA) Este artículo explica cómo funciona el ECDSA (Elliptic Curve Digital Signature Algorithm), así como por qué funciona. Avanzaremos de forma incremental...

Costo de almacenamiento, tamaño máximo de almacenamiento y redimensionamiento de cuentas en Solana !Renta de cuentas de Solana Al asignar espacio de almacenamiento, el pagador debe pagar una cierta cantidad de SOL por byte asignado. Solana llama...

Init_if_needed en Anchor y el ataque de reinicialización !Imagen principal mostrando Anchor init_if_needed En tutoriales anteriores, hemos tenido que inicializar una cuenta en una transacción separada antes de poder...

Eliminar y cerrar cuentas y programas en Solana !Imagen hero que muestra Cerrar cuentas y programas En el framework Anchor para Solana, es lo opuesto a (inicializar una cuenta en Anchor) — esto...

Sysvars de Solana explicados !Solana Sysvars En Solana, los sysvars son cuentas de sistema de solo lectura que dan a los programas de Solana acceso al estado de la blockchain, así como a la información de la red. Son similares a...

Multiplicación de conocimiento cero Multiplicación de conocimiento cero de polinomios Utilizando el esquema de compromiso polinómico del capítulo anterior, un probador puede demostrar que tiene tres polinomios $l(x)$,...

Cómo funciona Tornado Cash (Línea por línea para desarrolladores) !tutorial de Tornado Cash por rareskills Introducción a Tornado Cash Tornado Cash es un mezclador de contratos inteligentes de criptomonedas que permite a los usuarios depositar...

Qué son los Pedersen Commitments y cómo funcionan Los Pedersen commitments nos permiten codificar vectores arbitrariamente grandes con un solo punto de curva elíptica, mientras ocultan opcionalmente cualquier información sobre el...

El Lema de Schwartz-Zippel y su aplicación a las pruebas de conocimiento cero (Zero Knowledge Proofs). Casi todos los algoritmos de ZK-Proof se basan en el Lema de Schwartz-Zippel para lograr concisión. El Lema de Schwartz-Zippel establece que...