Forwarded from BSV Teranode Chronicle 2026 april (Ramon Quesada. † 🙏)
Este texto es el Apéndice en Línea (*Online Appendix*) que proporciona material suplementario para el manuscrito principal titulado *"Linear Horizontal Scaling in Pipelined Blockchain Transaction Processing: Architecture, Proof, and Fleet-scale Arithmetic"*, de Craig S. Wright [1].
El documento detalla las bases matemáticas y técnicas de la arquitectura de Teranode para el procesamiento de transacciones de Bitcoin a gran escala [1, 2]. Sus temas principales y contribuciones son:
* Pruebas de Seguridad y Atomicidad: Presenta una prueba formal completa de la consistencia de UTXO (Unspent Transaction Output) bajo un modelo de fallos por caída (*crash-fault semantics*), demostrando que el sistema evita el doble gasto incluso con transacciones de múltiples entradas [1, 3, 4].
* Teorema de Vitalidad (*Liveness*): Establece que el sistema puede recuperarse en un tiempo acotado tras la caída de componentes críticos (como los Validadores) mediante un protocolo de "desgasto compensatorio" (*compensating-unspend*) [1, 5-7].
* Modelos de Eficiencia de Escalado: Analiza tres modelos (logarítmico, ley de potencia y Amdahl) para predecir cómo se comporta la eficiencia del sistema al aumentar el número de nodos, justificando que el modelo logarítmico es el más adecuado para esta arquitectura [1, 8-10].
* Análisis Profundo de SPV: Demuestra que la Verificación de Pagos Simple (SPV) sigue siendo factible a una escala de flota de 10¹¹ TPS [1]. El texto aclara que el SPV es un protocolo de prueba de inclusión y no requiere nodos de archivo para funcionar, eliminando la necesidad de que los usuarios almacenen toda la historia de la blockchain [11-14].
* Protocolo de Pago Offline: Propone una clase de protocolos de pago blockchain donde el cliente puede estar fuera de línea (*offline*) y el comerciante verifica la validez de los fondos localmente utilizando pruebas de Merkle y cabeceras de bloque [15-17].
* Fundamentos Técnicos de Infraestructura: Incluye derivaciones del techo de rendimiento mediante modelos de colas G/G/c, un modelo formal de la consistencia fuerte de Aerospike para el almacenamiento de UTXOs, y auditorías sobre los fundamentos matemáticos del sistema frente a preocupaciones de escalabilidad [1, 18-20].
En esencia, el texto proporciona la validación teórica y empírica necesaria para respaldar las afirmaciones de que la arquitectura propuesta puede escalar horizontalmente de manera efectiva para manejar volúmenes de transacciones a escala global [1, 21, 22].
El documento detalla las bases matemáticas y técnicas de la arquitectura de Teranode para el procesamiento de transacciones de Bitcoin a gran escala [1, 2]. Sus temas principales y contribuciones son:
* Pruebas de Seguridad y Atomicidad: Presenta una prueba formal completa de la consistencia de UTXO (Unspent Transaction Output) bajo un modelo de fallos por caída (*crash-fault semantics*), demostrando que el sistema evita el doble gasto incluso con transacciones de múltiples entradas [1, 3, 4].
* Teorema de Vitalidad (*Liveness*): Establece que el sistema puede recuperarse en un tiempo acotado tras la caída de componentes críticos (como los Validadores) mediante un protocolo de "desgasto compensatorio" (*compensating-unspend*) [1, 5-7].
* Modelos de Eficiencia de Escalado: Analiza tres modelos (logarítmico, ley de potencia y Amdahl) para predecir cómo se comporta la eficiencia del sistema al aumentar el número de nodos, justificando que el modelo logarítmico es el más adecuado para esta arquitectura [1, 8-10].
* Análisis Profundo de SPV: Demuestra que la Verificación de Pagos Simple (SPV) sigue siendo factible a una escala de flota de 10¹¹ TPS [1]. El texto aclara que el SPV es un protocolo de prueba de inclusión y no requiere nodos de archivo para funcionar, eliminando la necesidad de que los usuarios almacenen toda la historia de la blockchain [11-14].
* Protocolo de Pago Offline: Propone una clase de protocolos de pago blockchain donde el cliente puede estar fuera de línea (*offline*) y el comerciante verifica la validez de los fondos localmente utilizando pruebas de Merkle y cabeceras de bloque [15-17].
* Fundamentos Técnicos de Infraestructura: Incluye derivaciones del techo de rendimiento mediante modelos de colas G/G/c, un modelo formal de la consistencia fuerte de Aerospike para el almacenamiento de UTXOs, y auditorías sobre los fundamentos matemáticos del sistema frente a preocupaciones de escalabilidad [1, 18-20].
En esencia, el texto proporciona la validación teórica y empírica necesaria para respaldar las afirmaciones de que la arquitectura propuesta puede escalar horizontalmente de manera efectiva para manejar volúmenes de transacciones a escala global [1, 21, 22].
Linear Horizontal Scaling in Pipelined Blockchain Transaction Processing: Architecture, Proof, and Fleet-scale Arithmetic
80 Pages
Posted: 10 Aug 2026
Dr Craig S Wright
University of Exeter;
11 Agosto 2026
(Audio 20 min)
El documento detalla las bases matemáticas y técnicas de la arquitectura de Teranode para el procesamiento de transacciones de Bitcoin a gran escala
En esencia, el texto proporciona la validación teórica y empírica necesaria para respaldar las afirmaciones de que la arquitectura propuesta puede escalar horizontalmente de manera efectiva para manejar volúmenes de transacciones a escala global
Fuente
https://t.me/S_Tominaga/5526
Cuaderno
https://notebook.google.com/notebook/86613cfa-ae19-4c39-b828-ccd5901fc276?authuser=7
80 Pages
Posted: 10 Aug 2026
Dr Craig S Wright
University of Exeter;
11 Agosto 2026
(Audio 20 min)
El documento detalla las bases matemáticas y técnicas de la arquitectura de Teranode para el procesamiento de transacciones de Bitcoin a gran escala
En esencia, el texto proporciona la validación teórica y empírica necesaria para respaldar las afirmaciones de que la arquitectura propuesta puede escalar horizontalmente de manera efectiva para manejar volúmenes de transacciones a escala global
Fuente
https://t.me/S_Tominaga/5526
Cuaderno
https://notebook.google.com/notebook/86613cfa-ae19-4c39-b828-ccd5901fc276?authuser=7
Telegram
CSW S. Tominaga (2024 07) fin COPA
Linear Horizontal Scaling in Pipelined Blockchain Transaction Processing: Architecture, Proof, and Fleet-scale Arithmetic
80 PagesPosted: 10 Aug 2026
Dr Craig S Wright
University of Exeter; University of London, Birkbeck College, School of Social Sciences…
80 PagesPosted: 10 Aug 2026
Dr Craig S Wright
University of Exeter; University of London, Birkbeck College, School of Social Sciences…
Audio
Mil_millones_de_transacciones_por_segundo.m4a
Linear Horizontal Scaling in Pipelined Blockchain Transaction Processing: Architecture, Proof, and Fleet-scale Arithmetic
80 Pages
Posted: 10 Aug 2026
Dr Craig S Wright
University of Exeter;
11 Agosto 2026
(Audio 20 min)
El documento detalla las bases matemáticas y técnicas de la arquitectura de Teranode para el procesamiento de transacciones de Bitcoin a gran escala
En esencia, el texto proporciona la validación teórica y empírica necesaria para respaldar las afirmaciones de que la arquitectura propuesta puede escalar horizontalmente de manera efectiva para manejar volúmenes de transacciones a escala global
Fuente
https://t.me/S_Tominaga/5526
Cuaderno
https://notebook.google.com/notebook/86613cfa-ae19-4c39-b828-ccd5901fc276?authuser=7
Linear Horizontal Scaling in Pipelined Blockchain Transaction Processing: Architecture, Proof, and Fleet-scale Arithmetic
80 Pages
Posted: 10 Aug 2026
Dr Craig S Wright
University of Exeter;
11 Agosto 2026
(Audio 20 min)
El documento detalla las bases matemáticas y técnicas de la arquitectura de Teranode para el procesamiento de transacciones de Bitcoin a gran escala
En esencia, el texto proporciona la validación teórica y empírica necesaria para respaldar las afirmaciones de que la arquitectura propuesta puede escalar horizontalmente de manera efectiva para manejar volúmenes de transacciones a escala global
Fuente
https://t.me/S_Tominaga/5526
Cuaderno
https://notebook.google.com/notebook/86613cfa-ae19-4c39-b828-ccd5901fc276?authuser=7