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 Test Net的最新进展是什么？
🛠 七月最新开发更新 – 构建Tau Net的TestNet Alpha核心
团队在完成区块创建、提高解析性能和开发公式归一化的新算法方面，进一步推进了TestNet Alpha的进展。
亮点：
- TestNet Alpha：区块创建、链接和Merkle根存储已完成
- SAT求解器：从Z3迁移到CVC5，解锁了更好的归一化和可满足性
- 解析引擎：性能提升60% + 潜在的新解析专利
- 语言研发：反前束归一化和布尔量词消除规范已准备好。
Ohad一直在审查最新的时态逻辑论文。Tau Net和$AGRS在该领域的学术进展上仍然遥遥领先。
时间戳：
00:12 - Karim的总结
03:48 - David（首席开发者）
- 成功从Z3切换到CVC5，改善了整体求解器性能。
- 完成了CVC5的归一化、可满足性和解释器模块的工作。
- 实施了Ohad建议的推迟字面解析的位向量方程方法。
- 协助Umar进行代码审查和调试。
05:36 - Lucca（Tau语言开发者）
- 开发了消除函数量词的算法初步规范，以用于Tau的表格功能。
- 将其集成到反前束归一化算法中，以处理CVC5未覆盖的公式。
- 伪代码已最终确定，准备实施该算法。
- 开始使用Tomáš的新树实现，并协助解决其最终问题。
08:30 - Andrei Korotkoff（高级开发者）
- 完成了区块生产和存储的testnet alpha里程碑，包括内存池处理、区块链接、Merkle根计算和数据库持久性。
- 这项工作为下一个里程碑奠定了基础：基于区块历史的持久链状态。
- 开发了一个复杂的负载测试工具，以模拟Tau解释器行为和区块链动态在逐点修订下的表现。
11:20 - Tomáš Klapka（高级开发者）
- 修复了树切换中的几个问题，包括否定处理、语法错误和类型推断错误。
- 将解析器库重构为仅头文件。
- 为TGF工具和解析器创建了Docker支持和夜间发布。
- 更新了Tau语言以集成改进的解析器。
12:26 - Ohad（创始人兼CTO）
- 专注于新算法设计和团队协作。
- 探索领域无关语言以增强决策程序。
- 审查了最近的时态逻辑学术论文，并确认Tau在当前研究中仍然处于领先地位。
1,317
39
本页面内容由第三方提供。除非另有说明，欧易不是所引用文章的作者，也不对此类材料主张任何版权。该内容仅供参考，并不代表欧易观点，不作为任何形式的认可，也不应被视为投资建议或购买或出售数字资产的招揽。在使用生成式人工智能提供摘要或其他信息的情况下，此类人工智能生成的内容可能不准确或不一致。请阅读链接文章，了解更多详情和信息。欧易不对第三方网站上的内容负责。包含稳定币、NFTs 等在内的数字资产涉及较高程度的风险，其价值可能会产生较大波动。请根据自身财务状况，仔细考虑交易或持有数字资产是否适合您。