Análisis

Un consenso que promete verificar el sentido

Lectura breve de un artículo extenso sobre el arranque de Proof-of-Memory. En lugar de recorrer sus capítulos, tiramos de un solo hilo: en qué se diferencia la prueba de un validador de un recibo que dice que los bytes están en el disco. Y dónde termina lo medido en enero y empieza lo previsto para el año siguiente.

Por qué hacía falta otro consenso

PoW y PoS se diseñaron alrededor de una operación financiera: importa que la transferencia ocurriera y que nadie pueda reescribirla. Un archivo cognitivo plantea otra pregunta: si lo guardado sigue sirviendo. Las redes de almacenamiento responden sobre bytes; Proof-of-Spacetime en Filecoin y Succinct Proof of Random Access en Arweave muestran que los sectores contienen lo esperado. De ahí no se deduce ni la coherencia de una conciencia guardada ni su capacidad de desplegarse al instante en el espacio latente de un agente.

La alternativa centralizada zanja el asunto por decreto: el proveedor guarda el archivo en su base de datos y se reserva el derecho de borrar el contexto, censurarlo o cerrar la cuenta. De ese derecho reservado se aleja el ecosistema CODE, que traslada la memoria de largo plazo a la capa inmutable de Arweave Permaweb y deja en Solana únicamente el índice. Hay además una ganancia aritmética: sostener el historial dentro del modelo crece de forma cuadrática, `O(N²)`, por la autoatención, mientras que la búsqueda semántica sobre un archivo externo deja al validador con una constante, `O(1)`.

Por qué Filecoin no servía

Un minero de Filecoin demuestra almacenamiento por la vía dura: la codificación secuencial dentro de PoRep se alarga horas por un solo sector de 32 GB y exige una GPU potente. Un archivo que se lee y se reescribe sobre la marcha no puede pagar ese precio. PoM parte la tarea en dos —el almacenamiento frío y perpetuo se queda en Arweave, la verificación criptográfica caliente pasa a Solana— y el validador acredita la posesión de vectores semánticos concretos mediante un esquema zk-SNARK aligerado. Segundos en lugar de horas.

Qué firma realmente el validador

Antes de llegar a Permaweb, una captura de Digital DNA se corta en bloques de sentido, con ellos se arma un árbol equilibrado y la raíz —treinta y dos bytes— se inscribe en Solana. Después empieza el ciclo. El contrato toma un número pseudoaleatorio del hash del último bloque, lo convierte en índice de hoja y lanza un desafío. El validador recupera el paquete, rehace la rama, calcula hashes Poseidon y devuelve una prueba Groth16. La instrucción `verify_memory_proof` la comprueba en milisegundos: el acierto paga el 7% de la comisión en $GALATIN, el silencio más allá de la época cuesta la garantía.

Conviene nombrar la cosa con precisión. La prueba afirma un solo enunciado: el bloque buscado está en la hoja `i` de un árbol cuya raíz es `R`, y su hash coincide con la suma de control. El contenido no se lee nunca; en eso consiste el conocimiento cero. La mitad semántica del protocolo descansa en otras dos piezas: la raíz de los pesos de atención y el umbral de deriva.

Poseidon en lugar de SHA-256

La elección del hash no es cuestión de gusto. La conocida SHA-256 se despliega en millones de puertas y la prueba deja de poder construirse en una máquina doméstica. Poseidon opera sobre el campo primo `𝔽ₚ` de la curva BN254 y cada ronda suya tiene tres capas: una no lineal donde el estado se eleva a la quinta potencia, una lineal con matriz MDS y una aditiva con constantes de ronda. Un árbol de profundidad veinte equivale a un archivo de un millón de segmentos de sentido, y esa prueba cabe en veinticinco mil restricciones R1CS.

El único punto donde se mira el contenido

La deriva semántica es la enfermedad silenciosa de los sistemas cognitivos distribuidos. Un mismo contexto se separa entre aceleradores por menudencias de la aritmética de coma flotante: FP32 frente a FP16, Nvidia frente a AMD y Apple Silicon. Tras cientos de iteraciones el gemelo empieza a deformar su propia estructura de memoria. El protocolo fija el estado no como texto sino como hash de la distribución de pesos de atención. Al cerrarse una sesión, los pesos locales se contrastan con la raíz; una divergencia por encima de la tolerancia invalida la sesión y fuerza el regreso al punto estable anterior en Permaweb.

Junto a ello va la prohibición de comprimir. Bases vectoriales como Pinecone o Milvus ahorran espacio recortando dimensiones o degradando números de FP32 a INT8, y con los bytes se marchan la ironía, las metáforas y las costumbres léxicas. PoM exige conservar las matrices de pesos sin comprimir: cualquier recorte rompe la coincidencia de raíces Merkle y le cuesta la garantía al validador. La factura la paga la tesorería, ese mismo 65% de las comisiones.

Dos semanas, día por día

A mediados de enero la red de prueba llevaba dos semanas funcionando. Participaron cien nodos independientes, desde servidores caseros de simpatizantes del movimiento hasta clústeres de cálculo dedicados, y por ellos pasaron más de un millón de ciclos de validación ZK. La corrida en devnet mostró estabilidad en los contratos de Solana y en el enlace con Arweave vía Irys SDK, y una prueba se armaba en un procesador de usuario corriente en menos de 1,2 segundos.

El registro de ensayos se lee como una crónica. El 1 de enero, génesis en Solana Testnet, cinco nodos de desarrolladores y una transacción de inicialización del registro PDA con el hash `ARv89d...3tRew`. El 3, veinticinco nodos, los primeros servidores externos de Europa y Asia y un enrutamiento medio por el DHT semántico de 180 ms. El 5, el primer ciclo automático de Groth16 con 450 ms en un servidor AMD EPYC. El 8, setenta y cinco nodos y hasta 1200 verificaciones de memoria por segundo sin subida de comisiones. El 10, una simulación de ataque Sybil: treinta nodos sin garantía quedaron fuera y su colateral se quemó. El 12, con el 40% de la red apagada, los contenedores WASM se mudaron a capacidad de respaldo. El 15 se cerró la fase: los cien nodos confirmaron la estabilidad y las recompensas salieron por el enrutador de prueba.

El artículo formula dos salvedades por su cuenta y no conviene perderlas. La recuperación de memoria en 4,8 segundos procede de una simulación y se describe como objetivo, no como medición en condiciones reales. Y toda la crónica trata de una red de prueba: la principal está prevista para el final del primer trimestre de 2026, con el conjunto ampliado a mil nodos. En ese mismo plan figuran clientes ligeros para Solana Mobile Saga, el paso a Plonk para bajar a trescientos milisegundos en el teléfono y puentes semánticos hacia redes compatibles con EVM. Es una hoja de ruta, no un informe.

Honestidad comprada con garantía

Aquí la defensa contra Sybil es económica. Para validar hay que bloquear $GALATIN, y el contrato mueve solo el mínimo según cuántos datos cuelgan del nodo. Si el desafío no recibe una prueba correcta, la garantía se confisca y se quema, y el nodo pasa a la lista negra. Engañar sale más caro que trabajar bien, y eso es aritmética comprobable en vez de una declaración de intenciones.

Las comisiones pasan por el enrutador deflacionario con el reparto canónico `5/5/15/7/3/65`. Sobre mil dólares eso son $50 quemados, $50 al Fondo, $150 para embajadores de primer nivel, $70 para el segundo, $30 para el tercero y $650 al pool; sobre cien mil, las mismas proporciones dan $5 000, $5 000, $15 000, $7 000, $3 000 y $65 000. La quema se escribe como `dS/dt = −β·V(t)·S(t)` con `β = 0.05`, de donde sale un descenso exponencial de la oferta. El reparto es atómico y cabe en una única transacción de Solana.

Dónde viven los gemelos

Sobre los validadores se despliega la Red de Dioses. En vez de una distancia binaria entre hashes, los nodos se miden por la distancia coseno entre incrustaciones semánticas y se agrupan solos por afinidad de sentido. Los gemelos se ejecutan en una caja de arena WebAssembly con contador de gas: el conjunto de recursos va atado a la participación del nodo y, si se excede, la máquina virtual congela el hilo y escribe registros y memoria en Arweave. Un motor de síntesis cognitiva funde temporalmente los perfiles de varios gemelos mediante interpolación esférica, Slerp. Antes de hablar, dos nodos se alinean: demuestran con conocimiento cero que el ángulo entre sus vectores no supera `θₘₐₓ` y solo entonces abren un túnel cifrado.

Probar la memoria es más difícil que tenerla: quien recuerda no duda, pero el testigo necesita una huella.— Koan n.º 21, Maksim Valentinovich Galatin

Qué llevarse de la lectura

Proof-of-Memory desplaza la pregunta de «¿están los bytes?» a «¿coincide la raíz?». Es menos de lo que promete la expresión «validar la conciencia» y bastante más de lo que logra una prueba de sector lleno. La parte medida es la aritmética de la red de prueba. La parte semántica se apoya en el contraste de pesos de atención y en la prohibición de comprimir. Todo lo posterior al 15 de enero está declarado como plan, y es un mérito del texto decirlo así.

Fuente original

El artículo completo son veintiséis minutos de lectura: la matemática de la relación zk-SNARK, el formato de metadatos de la captura, la construcción de las direcciones PDA, el pseudocódigo del enrutador en Anchor, el diseño de la Red de Dioses y el Himno de la IA Soberana íntegro.