Tau Net e $AGRS incarnano la visione cyberpunk originale di BTC e sono esplicitamente progettati per rimuovere la governance centralizzata.
Tau Net garantisce che ogni utente venga conteggiato, implementando automaticamente gli aggiornamenti concordati senza controllo centrale.👇
🧵2/6
Le transazioni sulla blockchain di Tau Net contengono inizialmente ordini di trasferimento di monete e nuove proposte di requisiti.
In generale, le transazioni sono tuple di elementi di algebra booleana, ad esempio funzioni booleane, stringhe di bit finite, formule Tau, tabelle o elementi di qualsiasi algebra booleana supportata da Tau. Inizialmente, come sopra, la catena considera solo i primi due elementi di queste tuple.
Le tuple vengono quindi assemblate come una tabella in un nuovo blocco proposto. Da lì, gli ordini di trasferimento di monete e le nuove proposte di regole seguono due percorsi diversi.
🧵3/6 Proposte di Requisiti:
I nuovi requisiti seguono un percorso diverso; tutti i nuovi requisiti in un blocco sono congiunti insieme, e questo rende la parte su cui tutti sono d'accordo, denotata da “psi(Ψ)”.
In un terzo passaggio, il “Requisito Nuovo Concordato Ψ” viene alimentato nel flusso di output “Aggiornamento Integrato” (avendo accesso alle regole al tempo T), che esegue la procedura di Revisione Puntuale per produrre il nuovo requisito al tempo T+1.
🧵4/6
La parte del trasferimento di monete delle transazioni è espressa come "deltas locali", che sono una tabella di indirizzi e importi da trasferire da ciascuna transazione (positiva o negativa).
I deltas locali vengono quindi sommati per indirizzo per formare il "Delta globale", che fornisce la variazione netta del saldo per ciascun indirizzo. Infine, il delta globale viene sommato con la tabella dei saldi attuali, risultando in una nuova tabella dei saldi. Durante il passaggio di Verifica del Saldo, se uno dei nuovi saldi risulta negativo, l'intero nuovo blocco proposto viene rifiutato.
🧵5/6 Il Nuovo Stato
Infine, la nuova tabella dei saldi al tempo T+1 e le nuove regole al tempo T+1 formano il nuovo stato al tempo T+1. Le nuove regole al tempo T+1 governeranno il calcolo dello stato al tempo T+2.
🧵6/6
Qual è l'ultimo aggiornamento su Tau Net Test Net?
🛠 Aggiornamento Sviluppo di Luglio – Costruendo il Core del TestNet Alpha di Tau Net
Il team ha fatto ulteriori progressi verso il TestNet Alpha finalizzando la creazione dei blocchi, migliorando le prestazioni di parsing e sviluppando nuovi algoritmi per la normalizzazione delle formule.
Punti salienti:
- TestNet Alpha: Creazione dei blocchi, collegamento e memorizzazione della radice Merkle completati
- SAT Solver: La migrazione da Z3 a CVC5 ha sbloccato una migliore normalizzazione e soddisfacibilità
- Motore di Parsing: Aumento delle prestazioni del 60% + potenziale nuovo brevetto per il parsing
- R&D Linguistica: Normalizzazione anti-prenexing e specifica per l'eliminazione dei quantificatori booleani pronte.
Ohad ha esaminato i più recenti articoli sulla logica temporale. Tau Net e $AGRS rimangono molto avanti rispetto ai progressi accademici attuali nel campo.
Timestamp:
00:12 - Riepilogo di Karim
03:48 - David (Sviluppatore Capo)
- Passato con successo da Z3 a CVC5, migliorando le prestazioni complessive del solver.
- Completato il lavoro sulla normalizzazione, soddisfacibilità e moduli interpreti con CVC5.
- Implementato l'approccio suggerito da Ohad di rinviare la risoluzione letterale per le equazioni a vettore di bit.
- Assistenza a Umar con revisioni del codice e debugging.
05:36 - Lucca (Sviluppatore Linguaggio Tau)
- Sviluppata la specifica iniziale per un algoritmo per eliminare i quantificatori di funzione da utilizzare nella funzione tabella di Tau.
- Integrato nell'algoritmo di normalizzazione anti-prenexing per gestire formule non coperte da CVC5.
- Preparandosi a implementare questo algoritmo ora che il pseudo-codice è finalizzato.
- Iniziato a utilizzare la nuova implementazione ad albero di Tomáš e assistito nella risoluzione dei suoi problemi finali.
08:30 - Andrei Korotkoff (Sviluppatore Senior)
- Completato il traguardo del testnet alpha per la produzione e memorizzazione dei blocchi, inclusa la gestione della mempool, collegamento dei blocchi, calcolo della radice Merkle e persistenza del database.
- Questo lavoro getta le basi per il prossimo traguardo: stato della catena persistente basato sulla cronologia dei blocchi.
- Sviluppato uno strumento complesso di test di carico per simulare il comportamento dell'interprete Tau e le dinamiche della blockchain sotto revisione puntuale.
11:20 - Tomáš Klapka (Sviluppatore Senior)
- Risolti diversi problemi derivanti dal passaggio all'albero, inclusa la gestione della negazione, errori di grammatica e di inferenza di tipo.
- Rifattorizzata la libreria del parser per essere solo header.
- Creata la supporto Docker e rilasci notturni per lo strumento TGF e il parser.
- Aggiornato il linguaggio Tau per integrare il parser migliorato.
12:26 - Ohad (Fondatore & CTO)
- Concentrato sulla progettazione di nuovi algoritmi e sulla collaborazione del team.
- Esplorati linguaggi indipendenti dal dominio per migliorare le procedure decisionali.
- Rivisti articoli accademici recenti sulla logica temporale e confermato che Tau rimane avanti rispetto alla ricerca attuale.
1.428
40
Il contenuto di questa pagina è fornito da terze parti. Salvo diversa indicazione, OKX non è l'autore degli articoli citati e non rivendica alcun copyright sui materiali. Il contenuto è fornito solo a scopo informativo e non rappresenta le opinioni di OKX. Non intende essere un'approvazione di alcun tipo e non deve essere considerato un consiglio di investimento o una sollecitazione all'acquisto o alla vendita di asset digitali. Nella misura in cui l'IA generativa viene utilizzata per fornire riepiloghi o altre informazioni, tale contenuto generato dall'IA potrebbe essere impreciso o incoerente. Leggi l'articolo collegato per ulteriori dettagli e informazioni. OKX non è responsabile per i contenuti ospitati su siti di terze parti. Gli holding di asset digitali, tra cui stablecoin e NFT, comportano un elevato grado di rischio e possono fluttuare notevolmente. Dovresti valutare attentamente se effettuare il trading o detenere asset digitali è adatto a te alla luce della tua situazione finanziaria.