Tau Net & $AGRS ztělesňuje původní kyberpunkovou vizi BTC a je výslovně vytvořen tak, aby odstranil centralizovanou správu.
Tau Net zajišťuje, že každý uživatel je započítán, a automaticky implementuje dohodnuté aktualizace bez centrálního řízení. 👇
🧵2/6
Transakce na blockchainu Tau Net zpočátku obsahují příkazy k převodu mincí a návrhy nových požadavků.
Obecně platí, že transakce jsou n-tice prvků Booleovy algebry, např. Booleovské funkce, konečné bitové řetězce, Tau formule, tabulky nebo prvky jakékoli Booleovy algebry podporované Tau. Zpočátku, jak je uvedeno výše, se řetězec dívá pouze na první dva prvky těchto řazených kolekcí členů.
Řazené kolekce členů jsou poté sestaveny jako tabulka v nově navrhovaném bloku. Odtud se příkazy k převodu mincí a návrhy nových pravidel ubírají dvěma různými cestami.
🧵3/6 Návrhy požadavků:
Nové požadavky jdou jinou cestou; všechny nové požadavky v bloku jsou spojeny dohromady, a tak je část, na které se všichni shodnou, označena "psi(Ψ)".
Ve třetím kroku je "Dohodnutý nový požadavek Ψ" přiváděn do výstupního proudu "Update Built-in" (který má přístup k pravidlům v čase T), který provede proceduru bodové revize a vytvoří nový požadavek v čase T+1.
🧵4/6
Část transakcí týkající se převodu mincí je vyjádřena jako "místní delty", což je tabulka adres a částek, které mají být převedeny z každé (kladné nebo záporné) transakce.
Místní delty se pak sečtou podle adresy a vytvoří "globální deltu", která udává změnu čistého zůstatku pro každou adresu. Nakonec se globální delta sečte s aktuální tabulkou zůstatků, což vede k nové tabulce zůstatků. Pokud se během kroku ověření zůstatku zjistí, že některý z nových zůstatků je záporný, celý navrhovaný nový blok je zamítnut.
🧵5/6 Nový stát
A konečně, nová tabulka zůstatků v čase T+1 a nová pravidla v čase T+1 tvoří nový stav v čase T+1. Nová pravidla v čase T+1 se budou řídit výpočtem stavu v čase T+2.
🧵6/6
Jaká je nejnovější aktualizace testovací sítě Tau Net?
🛠 Červencová nejnovější aktualizace vývojářů – budování jádra Tau Net's TestNet Alpha
Tým se posunul dále směrem k TestNet Alpha dokončením vytváření bloků, zlepšením výkonu analýzy a vývojem nových algoritmů pro normalizaci vzorců.
Zvýrazňuje:
- TestNet Alpha: Dokončeno vytváření bloků, propojování a kořenové úložiště Merkle
- SAT Solver: Migrace ze Z3 na CVC5 odemkla lepší normalizaci a uspokojivost
- Parsovací engine: 60% zvýšení výkonu + potenciální nový patent na analýzu
- Jazykový výzkum a vývoj: Anti-prenexing normalizace a eliminace booleovských kvantifikátorů připravena.
Ohad procházel nejnovější články o temporální logice. Tau Net a $AGRS zůstávají daleko před současným akademickým pokrokem v oboru.
Časová razítka:
00:12 – Karimovo shrnutí
03:48 – David (hlavní vývojář)
- Úspěšně přešel ze Z3 na CVC5, čímž se zlepšil celkový výkon řešitele.
- Dokončená práce na modulech normalizace, splnitelnosti a tlumočníka s CVC5.
- Implementován Ohadem navrhovaný přístup k odložení doslovného rozlišení pro bitové vektorové rovnice.
- Pomáhal Umarovi s revizemi kódu a laděním.
05:36 – Lucca (vývojář jazyka Tau)
- Vyvinul počáteční specifikaci algoritmu pro eliminaci kvantifikátorů funkcí pro použití v tabulkové funkci Tau.
- Integroval jsem jej do algoritmu normalizace anti-prenexing pro zpracování vzorců, na které se CVC5 nevztahuje.
- Příprava na implementaci tohoto algoritmu nyní, když je pseudokód dokončen.
- Začal používat Tomášovu novou implementaci stromu a pomáhal při řešení jeho závěrečných problémů.
08:30 – Andrei Korotkoff (hlavní vývojář)
- Dokončení milníku testovací sítě alfa pro produkci a ukládání bloků, včetně práce s mempoolem, propojování bloků, výpočtů Merkle root a perzistence databáze.
- Tato práce pokládá základy pro další milník: trvalý stav řetězu založený na historii bloků.
- Vyvinul komplexní nástroj pro zátěžové testování pro simulaci chování tlumočníka Tau a dynamiky blockchainu v bodové revizi.
11:20 - Tomáš Klapka (Senior Developer)
- Opraveno několik problémů způsobených přepínačem stromu, včetně zpracování negace, gramatických překlepů a chyb odvození typu.
- Refaktorovali knihovnu analyzátoru tak, aby byla pouze hlavičková.
- Byla vytvořena podpora Dockeru a noční vydání pro nástroj TGF a analyzátor.
- Aktualizován jazyk Tau tak, aby integroval vylepšený analyzátor.
12:26 - Ohad (zakladatel a technický ředitel)
- Zaměřeno na návrh nového algoritmu a týmovou spolupráci.
- Prozkoumal jazyky nezávislé na doméně s cílem zlepšit rozhodovací postupy.
- Přezkoumal nedávné akademické práce o temporální logice a potvrdil, že Tau je stále před současným výzkumem.
1,33 tis.
39
Obsah na této stránce poskytují třetí strany. Není-li uvedeno jinak, společnost OKX není autorem těchto informací a nenárokuje si u těchto materiálů žádná autorská práva. Obsah je poskytován pouze pro informativní účely a nevyjadřuje názory společnosti OKX. Nejedná se o doporučení jakéhokoli druhu a nemělo by být považováno za investiční poradenství ani nabádání k nákupu nebo prodeji digitálních aktiv. Tam, kde se k poskytování souhrnů a dalších informací používá generativní AI, může být vygenerovaný obsah nepřesný nebo nekonzistentní. Další podrobnosti a informace naleznete v připojeném článku. Společnost OKX neodpovídá za obsah, jehož hostitelem jsou externí weby. Držená digitální aktiva, včetně stablecoinů a tokenů NFT, zahrnují vysokou míru rizika a mohou značně kolísat. Měli byste pečlivě zvážit, zde je pro vás obchodování s digitálními aktivy nebo jejich držení vhodné z hlediska vaší finanční situace.