🛠 七月最新開發更新 – 建設 Tau Net 的 TestNet Alpha 核心 團隊在完成區塊創建、改善解析性能和開發公式標準化的新算法方面，進一步推進了 TestNet Alpha。 亮點： - TestNet Alpha：區塊創建、鏈接和 Merkle 根存儲已完成 - SAT 解算器：從 Z3 遷移到 CVC5 解鎖了更好的標準化和可滿足性 - 解析引擎：性能提升 60% + 潛在的新解析專利 - 語言研發：反 prenexing 標準化和布爾量詞消除規範已準備好。 Ohad 一直在審查最新的時間邏輯論文。Tau Net 和 $AGRS 在該領域的學術進展上仍然遙遙領先。 時間戳： 00:12 - Karim 的總結 03:48 - David（首席開發者） - 成功從 Z3 切換到 CVC5，改善了整體解算器性能。 - 完成了 CVC5 的標準化、可滿足性和解釋器模塊的工作。 - 實施了 Ohad 建議的推遲字面解析的位向量方程方法。 - 協助 Umar 進行代碼審查和調試。 05:36 - Lucca（Tau 語言開發者） - 開發了消除函數量詞的算法初步規範，以用於 Tau 的表格功能。 - 將其整合到反 prenexing 標準化算法中，以處理 CVC5 未涵蓋的公式。 - 現在準備實施這個算法，因為偽代碼已經完成。 - 開始使用 Tomáš 的新樹實現，並協助解決其最終問題。 08:30 - Andrei Korotkoff（高級開發者） - 完成了區塊生產和存儲的 testnet alpha 里程碑，包括 mempool 處理、區塊鏈接、Merkle 根計算和數據庫持久性。 - 這項工作為下一個里程碑奠定了基礎：基於區塊歷史的持久鏈狀態。 - 開發了一個複雜的負載測試工具，以模擬 Tau 解釋器行為和區塊鏈動態。 11:20 - Tomáš Klapka（高級開發者） - 修復了樹切換中的幾個問題，包括否定處理、語法錯誤和類型推斷錯誤。 - 將解析器庫重構為僅標頭。 - 為 TGF 工具和解析器創建了 Docker 支持和夜間版本。 - 更新了 Tau 語言以整合改進的解析器。 12:26 - Ohad（創始人兼首席技術官） - 專注於新算法設計和團隊協作。 - 探索與領域無關的語言以增強決策程序。 - 審查了最近的時間邏輯學術論文，並確認 Tau 仍然領先於當前研究。