Tau Net i $AGRS ucieleśniają pierwotną wizję cyberpunkową BTC i są wyraźnie zbudowane w celu usunięcia scentralizowanej władzy.
Tau Net zapewnia, że każdy użytkownik jest liczony, automatycznie wdrażając uzgodnione aktualizacje bez centralnej kontroli.👇
🧵2/6
Transakcje na blockchainie Tau Net początkowo zawierają zlecenia transferu monet oraz nowe propozycje wymagań.
Ogólnie rzecz biorąc, transakcje są krotkami elementów algebry Boole'a, np. funkcjami Boole'a, skończonymi ciągami bitów, formułami Tau, tabelami lub elementami dowolnej algebry Boole'a wspieranej przez Tau. Początkowo, jak powyżej, łańcuch patrzy tylko na pierwsze dwa elementy tych krotek.
Krotki są następnie zestawiane jako tabela w nowo proponowanym bloku. Stamtąd zlecenia transferu monet i nowe propozycje zasad podążają dwiema różnymi ścieżkami.
🧵3/6 Propozycje wymagań:
Nowe wymagania podążają inną ścieżką; wszystkie nowe wymagania w bloku są ze sobą połączone, co tworzy część, z którą wszyscy się zgadzają, oznaczoną jako „psi(Ψ)”.
W trzecim kroku „Zgłoszone Nowe Wymaganie Ψ” jest przekazywane do strumienia wyjściowego „Aktualizacja Wbudowana” (mającego dostęp do zasad w czasie T), który wykonuje procedurę Punktowej Rewizji, aby wyprodukować nowe wymaganie w czasie T+1.
🧵4/6
Część transferu monet w transakcjach jest wyrażona jako „lokalne delty”, które są tabelą adresów i kwot do przetransferowania z każdej (pozytywnej lub negatywnej) transakcji.
Lokalne delty są następnie sumowane według adresu, aby utworzyć „Globalną deltę”, która daje zmianę salda netto dla każdego adresu. Na koniec globalna delta jest sumowana z tabelą bieżących sald, co skutkuje nową tabelą sald. Podczas kroku Weryfikacji Salda, jeśli jakiekolwiek z nowych sald okażą się ujemne, cały proponowany nowy blok jest odrzucany.
🧵5/6 Nowy stan
W końcu nowa tabela sald w czasie T+1 oraz nowe zasady w czasie T+1 tworzą nowy stan w czasie T+1. Nowe zasady w czasie T+1 będą regulować obliczanie stanu w czasie T+2.
🧵6/6
Jaka jest najnowsza aktualizacja dotycząca Tau Net Test Net?
🛠 Lipcowa aktualizacja deweloperska – Budowanie rdzenia TestNet Alpha Tau Net
Zespół posunął się dalej w kierunku TestNet Alpha, finalizując tworzenie bloków, poprawiając wydajność analizy i opracowując nowe algorytmy do normalizacji formuł.
Najważniejsze punkty:
- TestNet Alpha: Tworzenie bloków, łączenie i przechowywanie korzenia Merkle zakończone
- Rozwiązywacz SAT: Migracja z Z3 do CVC5 odblokowała lepszą normalizację i spełnialność
- Silnik analizy: 60% wzrost wydajności + potencjalny nowy patent na analizę
- R&D językowe: Normalizacja anty-preneksacyjna i specyfikacja eliminacji kwantyfikatorów Boole'a gotowa.
Ohad przeglądał najnowsze prace dotyczące logiki temporalnej. Tau Net i $AGRS pozostają daleko przed obecnym postępem akademickim w tej dziedzinie.
Czas:
00:12 - Podsumowanie Karima
03:48 - David (Główny Deweloper)
- Udało się przełączyć z Z3 na CVC5, poprawiając ogólną wydajność rozwiązywacza.
- Zakończono prace nad normalizacją, spełnialnością i modułami interpretera z CVC5.
- Zastosowano podejście Ohada polegające na opóźnieniu rozwiązywania literałów dla równań wektorów bitowych.
- Pomógł Umarowi w przeglądach kodu i debugowaniu.
05:36 - Lucca (Deweloper Języka Tau)
- Opracował początkową specyfikację algorytmu do eliminacji kwantyfikatorów funkcji do użycia w funkcji tabeli Tau.
- Zintegrował to z algorytmem normalizacji anty-preneksacyjnej, aby obsłużyć formuły, które nie są objęte CVC5.
- Przygotowuje się do wdrożenia tego algorytmu, teraz gdy pseudo-kod jest sfinalizowany.
- Zaczął korzystać z nowej implementacji drzewa Tomáša i pomógł w rozwiązaniu jego ostatnich problemów.
08:30 - Andrei Korotkoff (Starszy Deweloper)
- Zakończono kamień milowy testnet alpha dla produkcji i przechowywania bloków, w tym obsługi mempool, łączenia bloków, obliczania korzenia Merkle i trwałości bazy danych.
- Ta praca kładzie fundamenty pod następny kamień milowy: trwały stan łańcucha oparty na historii bloków.
- Opracował złożone narzędzie do testowania obciążenia, aby symulować zachowanie interpretera Tau i dynamikę blockchainu pod kątem rewizji punktowej.
11:20 - Tomáš Klapka (Starszy Deweloper)
- Naprawił kilka problemów związanych z przełączeniem drzewa, w tym obsługę negacji, błędy gramatyczne i błędy wnioskowania typów.
- Przeorganizował bibliotekę parsera, aby była tylko nagłówkowa.
- Stworzył wsparcie dla Dockera i nocne wydania dla narzędzia TGF i parsera.
- Zaktualizował język Tau, aby zintegrować ulepszony parser.
12:26 - Ohad (Założyciel i CTO)
- Skupił się na projektowaniu nowych algorytmów i współpracy zespołowej.
- Zbadał języki niezależne od dziedziny, aby poprawić procedury decyzyjne.
- Przejrzał ostatnie prace akademickie dotyczące logiki temporalnej i potwierdził, że Tau pozostaje przed obecnymi badaniami.
1,43 tys.
40
Treści na tej stronie są dostarczane przez strony trzecie. O ile nie zaznaczono inaczej, OKX nie jest autorem cytowanych artykułów i nie rości sobie żadnych praw autorskich do tych materiałów. Treść jest dostarczana wyłącznie w celach informacyjnych i nie reprezentuje poglądów OKX. Nie mają one na celu jakiejkolwiek rekomendacji i nie powinny być traktowane jako porada inwestycyjna lub zachęta do zakupu lub sprzedaży aktywów cyfrowych. Treści, w zakresie w jakim jest wykorzystywana generatywna sztuczna inteligencja do dostarczania podsumowań lub innych informacji, mogą być niedokładne lub niespójne. Przeczytaj podlinkowany artykuł, aby uzyskać więcej szczegółów i informacji. OKX nie ponosi odpowiedzialności za treści hostowane na stronach osób trzecich. Posiadanie aktywów cyfrowych, w tym stablecoinów i NFT, wiąże się z wysokim stopniem ryzyka i może podlegać znacznym wahaniom. Musisz dokładnie rozważyć, czy handel lub posiadanie aktywów cyfrowych jest dla Ciebie odpowiednie w świetle Twojej sytuacji finansowej.