Tau Net & $AGRS encarna la visión cyberpunk original de BTC y está explícitamente construido para eliminar la gobernanza centralizada.
Tau Net garantiza que se cuente a todos los usuarios, implementando automáticamente las actualizaciones acordadas sin control central. 👇
🧵2/6
Las transacciones en la cadena de bloques Tau Net contienen inicialmente órdenes de transferencia de monedas y nuevas propuestas de requisitos.
Generalmente, las transacciones son tuplas de elementos de álgebra booleana, por ejemplo, funciones booleanas, cadenas de bits finitos, fórmulas Tau, tablas o elementos de cualquier álgebra booleana compatible con Tau. Inicialmente, como en el caso anterior, la cadena solo se fija en los dos primeros elementos de estas tuplas.
A continuación, las tuplas se ensamblan como una tabla en un nuevo bloque propuesto. A partir de ahí, las órdenes de transferencia de monedas y las nuevas propuestas de reglas siguen dos caminos diferentes.
🧵3/6 Propuestas de requerimientos:
Los nuevos requisitos siguen un camino diferente; todos los nuevos requisitos de un bloque se unen, y esto hace que la parte en la que todos estén de acuerdo, denotada por "psi(Ψ)".
En un tercer paso, el "Nuevo requisito acordado Ψ" se alimenta al flujo de salida "Actualizar incorporado" (que tiene acceso a las reglas en el momento T), que realiza el procedimiento de revisión puntual para producir el nuevo requisito en el momento T+1.
🧵4/6
La parte de transferencia de monedas de las transacciones se expresa como "deltas locales", que son una tabla de direcciones y montos a transferir de cada transacción (positiva o negativa).
A continuación, los deltas locales se suman por dirección para formar el "delta global", que proporciona el cambio de saldo neto para cada dirección. Por último, el delta global se suma con la tabla de saldos actuales, lo que da como resultado una nueva tabla de saldos. Durante el paso de verificación de saldo, si se determina que alguno de los nuevos saldos es negativo, se rechaza todo el nuevo bloque propuesto.
🧵5/6 El Nuevo Estado
Por último, la nueva tabla de saldos en el tiempo T+1 y las nuevas reglas en el tiempo T+1 forman el nuevo estado en el tiempo T+1. Las nuevas reglas en el tiempo T+1 regirán el cálculo del estado en el tiempo T+2.
🧵6/6
¿Cuál es la última actualización de Tau Net Test Net?
🛠 Última actualización de desarrollo de julio: construyendo el núcleo de la alfa TestNet de Tau Net
El equipo avanzó aún más hacia TestNet Alpha al finalizar la creación de bloques, mejorar el rendimiento del análisis y desarrollar nuevos algoritmos para la normalización de fórmulas.
Resúmenes:
- TestNet Alpha: Creación de bloques, vinculación y almacenamiento raíz de Merkle completados
- SAT Solver: La migración de Z3 a CVC5 desbloqueó una mejor normalización y satisfacibilidad
- Motor de análisis sintáctico: 60% de aumento del rendimiento + posible nueva patente de análisis sintáctico
- Investigación y desarrollo de lenguajes: Normalización anti-prenexing y lista para la eliminación de cuantificadores booleanos.
Ohad ha estado revisando los últimos documentos de lógica temporal. Tau Net y $AGRS se mantienen muy por delante del progreso académico actual en el campo.
Marcas de tiempo:
00:12 - Extracto de Karim
03:48 - David (Desarrollador principal)
- Se cambió con éxito de Z3 a CVC5, lo que mejoró el rendimiento general del solucionador.
- Trabajo completado en módulos de normalización, satisfacibilidad e intérprete con CVC5.
- Se implementó el enfoque sugerido por Ohad de diferir la resolución literal para ecuaciones de vectores de bits.
- Ayudó a Umar con revisiones de código y depuración.
05:36 - Lucca (Desarrollador del lenguaje Tau)
- Desarrollé la especificación inicial para un algoritmo para eliminar cuantificadores de funciones para su uso en la función de tabla de Tau.
- Se integró en el algoritmo de normalización anti-prenexing para manejar fórmulas no cubiertas por CVC5.
- Preparándose para implementar este algoritmo ahora que el pseudocódigo está finalizado.
- Comenzó a usar la implementación del nuevo árbol de Tomáš y ayudó a resolver sus problemas finales.
08:30 - Andrei Korotkoff (Desarrollador Senior)
- Se completó el hito alfa de la red de prueba para la producción y el almacenamiento de bloques, incluido el manejo de mempool, la vinculación de bloques, el cálculo de la raíz de Merkle y la persistencia de la base de datos.
- Este trabajo sienta las bases para el siguiente hito: el estado persistente de la cadena basado en el historial de bloques.
- Desarrollé una herramienta compleja de pruebas de carga para simular el comportamiento del intérprete de Tau y la dinámica de la cadena de bloques bajo revisión puntual.
11:20 - Tomáš Klapka (Desarrollador Senior)
- Se corrigieron varios problemas del interruptor de árbol, incluido el manejo de negaciones, errores tipográficos gramaticales y errores de inferencia de tipos.
- Se ha refactorizado la biblioteca del analizador para que sea solo de encabezado.
- Se creó soporte para Docker y versiones nocturnas para la herramienta TGF y el analizador.
- Se actualizó el lenguaje Tau para integrar el analizador mejorado.
12:26 - Ohad (Fundador y CTO)
- Centrado en el diseño de nuevos algoritmos y la colaboración en equipo.
- Exploré lenguajes independientes del dominio para mejorar los procedimientos de decisión.
- Revisó artículos académicos recientes sobre lógica temporal y confirmó que Tau se mantiene a la vanguardia de la investigación actual.
1.31 K
39
El contenido al que estás accediendo se ofrece por terceros. A menos que se indique lo contrario, OKX no es autor de la información y no reclama ningún derecho de autor sobre los materiales. El contenido solo se proporciona con fines informativos y no representa las opiniones de OKX. No pretende ser un respaldo de ningún tipo y no debe ser considerado como un consejo de inversión o una solicitud para comprar o vender activos digitales. En la medida en que la IA generativa se utiliza para proporcionar resúmenes u otra información, dicho contenido generado por IA puede ser inexacto o incoherente. Lee el artículo enlazado para más detalles e información. OKX no es responsable del contenido alojado en sitios de terceros. Los holdings de activos digitales, incluidos stablecoins y NFT, suponen un alto nivel de riesgo y pueden fluctuar mucho. Debes considerar cuidadosamente si el trading o holding de activos digitales es adecuado para ti según tu situación financiera.