Tau Net 和 $AGRS 具體體現了比特幣的原始賽博朋克願景，並明確建立在去除集中治理的基礎上。
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 測試網的最新消息是什麼？
🛠 七月最新開發更新 – 建設 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 仍然領先於當前研究。
1,319
39
本頁面內容由第三方提供。除非另有說明，OKX 不是所引用文章的作者，也不對此類材料主張任何版權。該內容僅供參考，並不代表 OKX 觀點，不作為任何形式的認可，也不應被視為投資建議或購買或出售數字資產的招攬。在使用生成式人工智能提供摘要或其他信息的情況下，此類人工智能生成的內容可能不準確或不一致。請閱讀鏈接文章，瞭解更多詳情和信息。OKX 不對第三方網站上的內容負責。包含穩定幣、NFTs 等在內的數字資產涉及較高程度的風險，其價值可能會產生較大波動。請根據自身財務狀況，仔細考慮交易或持有數字資產是否適合您。