Tau Net y $AGRS encarnan la visión ciberpunk original de BTC y están explícitamente diseñados para eliminar la gobernanza centralizada.
Tau Net asegura que cada usuario sea contado, implementando automáticamente las actualizaciones acordadas sin control central.👇
🧵2/6
Las transacciones en la blockchain de Tau Net contienen inicialmente órdenes de transferencia de monedas y propuestas de nuevos requisitos.
En general, las transacciones son tuplas de elementos de álgebra booleana, por ejemplo, funciones booleanas, cadenas de bits finitas, fórmulas Tau, tablas o elementos de cualquier álgebra booleana soportada por Tau. Inicialmente, como se mencionó, la cadena solo considera los dos primeros elementos de estas tuplas.
Las tuplas se ensamblan luego como una tabla en un nuevo bloque propuesto. A partir de ahí, las órdenes de transferencia de monedas y las propuestas de nuevas reglas siguen dos caminos diferentes.
🧵3/6 Propuestas de Requisitos:
Los nuevos requisitos siguen un camino diferente; todos los nuevos requisitos en un bloque se conjugan juntos, y esto hace que la parte en la que todos están de acuerdo, denotada por “psi(Ψ)”.
En un tercer paso, el “Requisito Nuevo Acordado Ψ” se alimenta al flujo de salida “Actualizar Incorporado” (teniendo acceso a las reglas en el tiempo T), que realiza el procedimiento de Revisión Puntual para producir el nuevo requisito en el tiempo 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).
Los deltas locales se suman por dirección para formar el "delta global", que da el cambio neto de saldo para cada dirección. Finalmente, el delta global se suma con la tabla de saldos actual, resultando en una nueva tabla de saldos. Durante el paso de Verificación de Saldos, si alguno de los nuevos saldos se encuentra negativo, se rechaza todo el nuevo bloque propuesto.
🧵5/6 El Nuevo Estado
Finalmente, la nueva tabla de balances 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 gobernarán el cálculo del estado en el tiempo T+2.
🧵6/6
¿Cuál es la última actualización sobre Tau Net Test Net?
🛠 Actualización de desarrollo más reciente de julio – Construyendo el núcleo de la TestNet Alpha de Tau Net
El equipo avanzó hacia la TestNet Alpha finalizando la creación de bloques, mejorando el rendimiento de análisis y desarrollando nuevos algoritmos para la normalización de fórmulas.
Aspectos destacados:
- TestNet Alpha: Creación de bloques, vinculación y almacenamiento de la 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: Aumento del 60% en el rendimiento + posible nueva patente de análisis
- I+D de lenguajes: Normalización anti-prenexing y especificación de eliminación de cuantificadores booleanos lista.
Ohad ha estado revisando los últimos artículos sobre lógica temporal. Tau Net y $AGRS siguen muy por delante del progreso académico actual en el campo.
Tiempos:
00:12 - Resumen de Karim
03:48 - David (Desarrollador Principal)
- Cambio exitoso de Z3 a CVC5, mejorando el rendimiento general del solucionador.
- Trabajo completado en normalización, satisfacibilidad y módulos de intérprete con CVC5.
- Implementó el enfoque sugerido por Ohad de diferir la resolución literal para ecuaciones de vectores de bits.
- Asistió a Umar con revisiones de código y depuración.
05:36 - Lucca (Desarrollador de Tau Language)
- Desarrolló la especificación inicial para un algoritmo que elimina cuantificadores de función para su uso en la función de tabla de Tau.
- Lo 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 pseudo-código está finalizado.
- Comenzó a usar la nueva implementación de árbol de Tomáš y ayudó a resolver sus problemas finales.
08:30 - Andrei Korotkoff (Desarrollador Senior)
- Completó el hito de testnet alpha para la producción y almacenamiento de bloques, incluyendo el manejo de mempool, vinculación de bloques, computación de la raíz de Merkle y persistencia de base de datos.
- Este trabajo sienta las bases para el próximo hito: estado de cadena persistente 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 blockchain bajo revisión puntual.
11:20 - Tomáš Klapka (Desarrollador Senior)
- Arregló varios problemas del cambio de árbol, incluyendo el manejo de negaciones, errores tipográficos en la gramática y errores de inferencia de tipos.
- Refactorizó la biblioteca del analizador para que sea solo de encabezado.
- Creó soporte para Docker y lanzamientos nocturnos para la herramienta TGF y el analizador.
- Actualizó el lenguaje Tau para integrar el analizador mejorado.
12:26 - Ohad (Fundador y CTO)
- Enfocado en el diseño de nuevos algoritmos y la colaboración del 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 sigue por delante de la investigación actual.
1,42 mil
40
El contenido de esta página lo proporcionan terceros. A menos que se indique lo contrario, OKX no es el autor de los artículos citados y no reclama ningún derecho de autor sobre los materiales. El contenido se proporciona únicamente 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 vinculado para obtener más detalles e información. OKX no es responsable del contenido alojado en sitios de terceros. El holding de activos digitales, incluyendo stablecoins y NFT, implican un alto grado de riesgo y pueden fluctuar en gran medida. Debes considerar cuidadosamente si el trading o holding de activos digitales es adecuado para ti a la luz de tu situación financiera.