Tau Net & $AGRS втілює оригінальне кіберпанк-бачення BTC і явно створена, щоб усунути централізоване управління.
Tau Net гарантує, що кожен користувач врахований, автоматично впроваджуючи узгоджені оновлення без централізованого керування. 👇
🧵2/6
Транзакції в блокчейні Tau Net спочатку містять замовлення на переказ монет і нові пропозиції вимог.
Як правило, транзакції — це кортежі елементів булевої алгебри, наприклад, булеві функції, скінченні бітові рядки, формули Тау, таблиці або елементи будь-якої булевої алгебри, що підтримується Tau. Спочатку, як зазначено вище, ланцюжок дивиться тільки на перші два елементи цих кортежів.
Потім кортежі збираються у вигляді таблиці в новому запропонованому блоці. Звідти ордери на переказ монет і пропозиції нових правил йдуть двома різними шляхами.
🧵3/6 Пропозиції щодо вимог:
Нові вимоги йдуть іншим шляхом; всі нові вимоги в блоці з'єднуються разом, і це робить частину, з якою всі згодні, позначається «psi(Ψ)».
На третьому кроці «Узгоджена нова вимога Ψ» подається на потік виводу «Оновлення вбудованого» (маючи доступ до правил у момент часу T), який виконує процедуру точкового перегляду для створення нової вимоги в момент часу T+1.
🧵4/6
Частина транзакцій з переказу монет виражається у вигляді «місцевих дельт», які представляють собою таблицю адрес і сум для переказу з кожної (позитивної або негативної) транзакції.
Потім локальні дельти підсумовуються за адресами, утворюючи «Глобальну дельту», яка дає зміну чистого балансу для кожної адреси. Нарешті, глобальна дельта підсумовується з поточною таблицею балансів, в результаті чого складається нова таблиця балансів. Під час етапу верифікації балансу, якщо будь-який з нових балансів виявляється негативним, весь запропонований новий блок відхиляється.
🧵5/6 Нова держава
Нарешті, нова таблиця балансів у момент часу T+1 і нові правила в момент часу T+1 формують новий стан у момент часу T+1. Нові правила за часом Т+1 регулюватимуть розрахунок стану в момент часу Т+2.
🧵6/6
Яке останнє оновлення Tau Net Test Net?
🛠 Останнє липневе оновлення розробника – створення ядра TestNet Alpha від Tau Net
Команда просунулася далі до TestNet Alpha, завершивши створення блоків, покращивши продуктивність парсингу та розробивши нові алгоритми для нормалізації формул.
Підкреслює:
- TestNet Alpha: створення блоків, зв'язування та кореневе сховище Merkle завершено
- SAT Solver: міграція з Z3 на CVC5 відкрила кращу нормалізацію та задовільність
- Parsing Engine: підвищення продуктивності на 60% + потенційний новий патент на парсинг
- Мовні R&D: Нормалізація проти пренексінгу та специфікація виключення булевого квантора готова.
Охад рецензував останні статті з темпоральної логіки. Tau Net і $AGRS залишаються далеко попереду поточних академічних досягнень у цій галузі.
Мітки:
00:12 - Підсумок Каріма
03:48 – Девід (провідний розробник)
— Успішно перейшов з Z3 на CVC5, покращивши загальну продуктивність розв'язувача.
- Виконано роботу над модулями нормалізації, задовільності та інтерпретатора з CVC5.
- Реалізовано запропонований Огадом підхід відкладення літеральної роздільної здатності для рівнянь бітових векторів.
- Допомагав Умару з рев'ю коду та налагодженням.
05:36 - Лукка (розробник мови тау)
- Розроблено початкову специфікацію алгоритму для виключення функціональних кванторів для використання у функції таблиці Тау.
- Інтегровано його в алгоритм нормалізації проти пренексінгу для обробки формул, які не охоплені CVC5.
- Підготовка до реалізації цього алгоритму тепер, коли псевдо-код завершено.
- Почав використовувати нову реалізацію дерева Tomáš і допомагав у вирішенні його остаточних проблем.
08:30 - Андрій Короткофф (старший розробник)
- Завершено етап альфа-версії тестової мережі для виробництва та зберігання блоків, включаючи обробку мемпулів, зв'язування блоків, обчислення кореня Меркла та стійкість бази даних.
- Ця робота закладає основу для наступної віхи: постійного стану ланцюга на основі історії блоків.
- Розроблено складний інструмент навантажувального тестування для моделювання поведінки інтерпретатора Tau та динаміки блокчейну при точковому перегляді.
11:20 - Томаш Клапка (старший розробник)
— Виправлено кілька проблем із перемиканням дерева, включаючи обробку заперечень, граматичні друкарські помилки та помилки виведення типів.
— Перероблено бібліотеку парсера так, щоб вона була лише заголовком.
— Створено підтримку Docker та нічні релізи для інструменту та парсера TGF.
— Оновлено мову Tau для інтеграції покращеного парсера.
12:26 - Охад (засновник і технічний директор)
- Зосереджений на новому дизайні алгоритмів та командній співпраці.
- Досліджено доменно-незалежні мови для вдосконалення процедур прийняття рішень.
- Розглянуто останні наукові роботи з темпоральної логіки та підтверджено, що Тау випереджає поточні дослідження.
1,3 тис.
39
Вміст на цій сторінці надається третіми сторонами. Якщо не вказано інше, OKX не є автором цитованих статей і не претендує на авторські права на матеріали. Вміст надається виключно з інформаційною метою і не відображає поглядів OKX. Він не є схваленням жодних дій і не має розглядатися як інвестиційна порада або заохочення купувати чи продавати цифрові активи. Короткий виклад вмісту чи інша інформація, створена генеративним ШІ, можуть бути неточними або суперечливими. Прочитайте статтю за посиланням, щоб дізнатися більше. OKX не несе відповідальності за вміст, розміщений на сторонніх сайтах. Утримування цифрових активів, зокрема стейблкоїнів і NFT, пов’язане з високим ризиком, а вартість таких активів може сильно коливатися. Перш ніж торгувати цифровими активами або утримувати їх, ретельно оцініть свій фінансовий стан.