Tau Net и $AGRS воплощают оригинальное киберпанковское видение BTC и явно созданы для устранения централизованного управления.
Tau Net гарантирует, что каждый пользователь учитывается, автоматически внедряя согласованные обновления без центрального контроля.👇
🧵2/6
Транзакции в блокчейне Tau Net изначально содержат заказы на перевод монет и новые предложения требований.
В общем, транзакции представляют собой кортежи элементов булевой алгебры, например, булевые функции, конечные битовые строки, формулы Tau, таблицы или элементы любой булевой алгебры, поддерживаемой Tau. Изначально, как указано выше, цепочка рассматривает только первые два элемента этих кортежей.
Затем кортежи собираются в таблицу в новом предложенном блоке. Оттуда заказы на перевод монет и новые предложения правил следуют по двум различным путям.
🧵3/6 Предложения требований:
Новые требования следуют по другому пути; все новые требования в блоке соединены вместе, и это создает часть, с которой все согласны, обозначенную как "psi(Ψ)".
На третьем этапе "Согласованное Новое Требование Ψ" передается в поток вывода "Обновить Встроенное" (имеющий доступ к правилам в момент времени T), который выполняет процедуру Точечного Ревизирования для получения нового требования в момент времени T+1.
🧵4/6
Часть транзакций, связанная с переводом монет, выражается как "локальные дельты", которые представляют собой таблицу адресов и сумм для перевода из каждой (положительной или отрицательной) транзакции.
Локальные дельты затем суммируются по адресам, чтобы сформировать "Глобальную дельту", которая показывает изменение чистого баланса для каждого адреса. Наконец, глобальная дельта суммируется с таблицей текущих балансов, в результате чего получается новая таблица балансов. На этапе проверки баланса, если какие-либо из новых балансов оказываются отрицательными, весь предложенный новый блок отклоняется.
🧵5/6 Новое состояние
Наконец, новая таблица балансов на момент T+1 и новые правила на момент T+1 формируют новое состояние на момент T+1. Новые правила на момент T+1 будут регулировать расчет состояния на момент T+2.
🧵6/6
Каковы последние новости о Tau Net Test Net?
🛠 Последнее обновление разработчиков за июль – Строим ядро тестовой сети Tau Net Alpha
Команда продвигается к TestNet Alpha, завершая создание блоков, улучшая производительность парсинга и разрабатывая новые алгоритмы для нормализации формул.
Основные моменты:
- TestNet Alpha: Завершено создание блоков, связывание и хранение корня Меркла
- SAT Solver: Переход с Z3 на CVC5 открыл лучшие возможности для нормализации и удовлетворимости
- Парсинг-движок: Увеличение производительности на 60% + потенциальный новый патент на парсинг
- Языковое НИО: Спецификация нормализации анти-пренексинга и устранения булевых квантификаторов готова.
Охад изучал последние статьи по временной логике. Tau Net и $AGRS остаются далеко впереди текущего академического прогресса в этой области.
Временные метки:
00:12 - Резюме Карима
03:48 - Давид (ведущий разработчик)
- Успешно перешел с Z3 на CVC5, улучшив общую производительность решателя.
- Завершил работу над модулями нормализации, удовлетворимости и интерпретатора с CVC5.
- Реализовал предложенный Охадом подход отложенного разрешения литералов для уравнений битовых векторов.
- Помог Умару с код-ревью и отладкой.
05:36 - Луcca (разработчик языка Tau)
- Разработал первоначальную спецификацию алгоритма для устранения квантификаторов функций для использования в функции таблицы Tau.
- Интегрировал его в алгоритм нормализации анти-пренексинга для обработки формул, не охваченных CVC5.
- Готовится к реализации этого алгоритма, теперь когда псевдокод завершен.
- Начал использовать новую реализацию дерева Томаша и помог в решении его последних проблем.
08:30 - Андрей Коротков (старший разработчик)
- Завершил этап тестовой сети alpha для производства и хранения блоков, включая обработку мемпула, связывание блоков, вычисление корня Меркла и постоянство базы данных.
- Эта работа закладывает основу для следующего этапа: постоянное состояние цепи на основе истории блоков.
- Разработал сложный инструмент нагрузочного тестирования для моделирования поведения интерпретатора Tau и динамики блокчейна при точечном пересмотре.
11:20 - Томаш Клапка (старший разработчик)
- Исправил несколько проблем с переключением дерева, включая обработку отрицания, опечатки в грамматике и ошибки вывода типов.
- Рефакторил библиотеку парсера, чтобы она была только заголовочной.
- Создал поддержку Docker и ночные сборки для инструмента TGF и парсера.
- Обновил язык Tau для интеграции улучшенного парсера.
12:26 - Охад (основатель и технический директор)
- Сосредоточился на проектировании новых алгоритмов и сотрудничестве в команде.
- Изучал языки, независимые от области, чтобы улучшить процедуры принятия решений.
- Просмотрел недавние академические статьи по временной логике и подтвердил, что Tau остается впереди текущих исследований.
1,01 тыс.
28
Содержание этой страницы предоставляется третьими сторонами. OKX не является автором цитируемых статей и не имеет на них авторских прав, если не указано иное. Материалы предоставляются исключительно в информационных целях и не отражают мнения OKX. Материалы не являются инвестиционным советом и призывом к покупке или продаже цифровых активов. Раздел использует ИИ для создания обзоров и кратких содержаний предоставленных материалов. Обратите внимание, что информация, сгенерированная ИИ, может быть неточной и непоследовательной. Для получения полной информации изучите соответствующую оригинальную статью. OKX не несет ответственности за материалы, содержащиеся на сторонних сайтах. Цифровые активы, в том числе стейблкоины и NFT, подвержены высокому риску, а их стоимость может сильно колебаться. Перед торговлей и покупкой цифровых активов оцените ваше финансовое состояние и принимайте только взвешенные решения.