全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

为什么加密经济学和X风险研究人员应该更多地倾听彼此的声音

本文探讨了区块链与人工智能安全之间的联系，指出两者在如何调控复杂系统以应对不可预测结果方面存在相似性。作者分析了在DAO治理和加密经济学中面临的共同挑战，以及一些正在探索中的解决方案，例如延迟治理和形式化验证。同时，文章提出了未来DAO可能学习到的经验，强调去中心化的重要性。
DAO  加密经济学  人工智能安全  形式化验证  去中心化  治理算法 

TrueBit 介绍：一个可扩展的去中心化计算法庭 | 作者：Simon de la Rouviere | Medium

文章介绍了TrueBit，一种基于以太坊的扩展性去中心化计算模型。TrueBit通过构建计算市场，允许开发者在以太坊链外执行复杂计算，并在需要时通过验证脚本在链上验证结果的正确性，从而大幅提升以太坊的计算能力。
TrueBit  以太坊  计算市场  去中心化  验证脚本