Tau Net et $AGRS incarnent la vision cyberpunk originale de BTC et sont explicitement conçus pour éliminer la gouvernance centralisée.
Tau Net garantit que chaque utilisateur est pris en compte, mettant automatiquement en œuvre les mises à jour convenues sans contrôle central.👇
🧵2/6
Les transactions sur la blockchain Tau Net contiennent initialement des ordres de transfert de pièces et de nouvelles propositions de règles.
En général, les transactions sont des tuples d'éléments d'algèbre booléenne, par exemple des fonctions booléennes, des chaînes de bits finies, des formules Tau, des tables ou des éléments de toute algèbre booléenne supportée par Tau. Initialement, comme mentionné ci-dessus, la chaîne ne considère que les deux premiers éléments de ces tuples.
Les tuples sont ensuite assemblés sous forme de table dans un nouveau bloc proposé. À partir de là, les ordres de transfert de pièces et les nouvelles propositions de règles suivent deux chemins différents.
🧵3/6 Propositions de exigences :
Les nouvelles exigences suivent un chemin différent ; toutes les nouvelles exigences dans un bloc sont conjuguées ensemble, et cela constitue la partie sur laquelle tout le monde s'accorde, désignée par "psi(Ψ)".
Dans une troisième étape, la "Nouvelle Exigence Convenue Ψ" est alimentée dans le flux de sortie "Mise à jour intégrée" (ayant accès aux règles au temps T), qui effectue la procédure de Révision Point par Point pour produire la nouvelle exigence au temps T+1.
🧵4/6
La partie transfert de pièces des transactions est exprimée sous forme de "deltas locaux", qui sont un tableau d'adresses et de montants à transférer de chaque transaction (positive ou négative).
Les deltas locaux sont ensuite additionnés par adresse pour former le "delta global", qui donne le changement de solde net pour chaque adresse. Enfin, le delta global est additionné avec le tableau des soldes actuels, ce qui donne un nouveau tableau des soldes. Lors de l'étape de vérification des soldes, si l'un des nouveaux soldes est trouvé négatif, le bloc proposé entier est rejeté.
🧵5/6 Le Nouvel État
Enfin, le nouveau tableau des soldes au temps T+1 et les nouvelles règles au temps T+1 forment le nouvel état au temps T+1. Les nouvelles règles au temps T+1 régiront le calcul de l'état au temps T+2.
🧵6/6
Quelle est la dernière mise à jour sur Tau Net Test Net ?
🛠 Mise à jour des développeurs de juillet – Construction du cœur de l'Alpha TestNet de Tau Net
L'équipe a progressé vers l'Alpha TestNet en finalisant la création de blocs, en améliorant les performances de parsing et en développant de nouveaux algorithmes pour la normalisation des formules.
Points forts :
- Alpha TestNet : Création de blocs, liaison et stockage de la racine Merkle complétés
- SAT Solver : La migration de Z3 à CVC5 a débloqué une meilleure normalisation et satisfaisabilité
- Moteur de parsing : Amélioration de 60 % des performances + nouveau brevet potentiel sur le parsing
- R&D Linguistique : Normalisation anti-prénexing et spécification d'élimination des quantificateurs booléens prêtes.
Ohad a examiné les derniers articles sur la logique temporelle. Tau Net et $AGRS restent largement en avance sur les progrès académiques actuels dans le domaine.
Horodatages :
00:12 - Résumé de Karim
03:48 - David (Développeur Principal)
- Migration réussie de Z3 à CVC5, améliorant les performances globales du solveur.
- Travail terminé sur la normalisation, la satisfaisabilité et les modules d'interpréteur avec CVC5.
- Mise en œuvre de l'approche suggérée par Ohad de différer la résolution littérale pour les équations de vecteur de bits.
- Assistance à Umar pour les revues de code et le débogage.
05:36 - Lucca (Développeur de Langage Tau)
- Développement de la spécification initiale pour un algorithme d'élimination des quantificateurs de fonction à utiliser dans la fonctionnalité de table de Tau.
- Intégration dans l'algorithme de normalisation anti-prénexing pour traiter les formules non couvertes par CVC5.
- Préparation à la mise en œuvre de cet algorithme maintenant que le pseudo-code est finalisé.
- Début de l'utilisation de la nouvelle implémentation d'arbre de Tomáš et assistance à la résolution de ses derniers problèmes.
08:30 - Andrei Korotkoff (Développeur Senior)
- Achèvement de l'étape alpha du testnet pour la production et le stockage de blocs, y compris la gestion de mempool, la liaison de blocs, le calcul de la racine Merkle et la persistance de la base de données.
- Ce travail jette les bases de la prochaine étape : état de chaîne persistant basé sur l'historique des blocs.
- Développement d'un outil complexe de test de charge pour simuler le comportement de l'interpréteur Tau et la dynamique de la blockchain sous révision ponctuelle.
11:20 - Tomáš Klapka (Développeur Senior)
- Correction de plusieurs problèmes liés au changement d'arbre, y compris la gestion de la négation, les fautes de grammaire et les erreurs d'inférence de type.
- Refactorisation de la bibliothèque de parsing pour qu'elle soit uniquement en en-tête.
- Création d'un support Docker et de versions nocturnes pour l'outil TGF et le parser.
- Mise à jour du langage Tau pour intégrer le parser amélioré.
12:26 - Ohad (Fondateur & CTO)
- Concentré sur la conception de nouveaux algorithmes et la collaboration d'équipe.
- Exploration de langages indépendants du domaine pour améliorer les procédures de décision.
- Revue des récents articles académiques sur la logique temporelle et confirmation que Tau reste en avance sur la recherche actuelle.
1,31 k
39
Le contenu de cette page est fourni par des tiers. Sauf indication contraire, OKX n’est pas l’auteur du ou des articles cités et ne revendique aucun droit d’auteur sur le contenu. Le contenu est fourni à titre d’information uniquement et ne représente pas les opinions d’OKX. Il ne s’agit pas d’une approbation de quelque nature que ce soit et ne doit pas être considéré comme un conseil en investissement ou une sollicitation d’achat ou de vente d’actifs numériques. Dans la mesure où l’IA générative est utilisée pour fournir des résumés ou d’autres informations, ce contenu généré par IA peut être inexact ou incohérent. Veuillez lire l’article associé pour obtenir davantage de détails et d’informations. OKX n’est pas responsable du contenu hébergé sur des sites tiers. La détention d’actifs numériques, y compris les stablecoins et les NFT, implique un niveau de risque élevé et leur valeur peut considérablement fluctuer. Examinez soigneusement votre situation financière pour déterminer si le trading ou la détention d’actifs numériques vous convient.