✅ Достигнута еще одна веха тестовой сети Tau Net: схема блока и корень Меркла.
Как упоминалось в нашем недавнем обновлении по разработке, мы завершили схему блока для тестовой сети Tau и интегрировали вычисление корня Меркла.
Теперь система:👇
- Собирает блоки из транзакций в мемпуле.
- Хэширует блоки, связывая их с предыдущими.
- Вычисляет корни Меркла для целостности транзакций.
- Хранит каждый блок в постоянной базе данных.
Старший разработчик Андрей сейчас строит состояние из исторического реестра, проходя блок за блоком от генезис-блока, и надеется достичь постоянного состояния цепи и, возможно, даже частично одноранговой (P2P) сети в ближайшее время.
Следите за нами, чтобы быть в курсе событий и стать частью окончательной инфраструктуры Crypto и Defi.
🧵2/2:
🛠 Последнее обновление разработчиков за июль – Строим ядро тестовой сети 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 остается впереди текущих исследований.
2,56 тыс.
50
Содержание этой страницы предоставляется третьими сторонами. OKX не является автором цитируемых статей и не имеет на них авторских прав, если не указано иное. Материалы предоставляются исключительно в информационных целях и не отражают мнения OKX. Материалы не являются инвестиционным советом и призывом к покупке или продаже цифровых активов. Раздел использует ИИ для создания обзоров и кратких содержаний предоставленных материалов. Обратите внимание, что информация, сгенерированная ИИ, может быть неточной и непоследовательной. Для получения полной информации изучите соответствующую оригинальную статью. OKX не несет ответственности за материалы, содержащиеся на сторонних сайтах. Цифровые активы, в том числе стейблкоины и NFT, подвержены высокому риску, а их стоимость может сильно колебаться. Перед торговлей и покупкой цифровых активов оцените ваше финансовое состояние и принимайте только взвешенные решения.