前 R3 副总裁，创办波斯特橡树实验室，同时担任 Elm、Clearmatics 顾问，也是 Hyperledger 的顾问，著有《数字长城》、《庞大的数字链：智能契约、智能财产和无信誉资产管理指南》、《一种货币类信息商品的剖析：比特币研究》等书。
Metatime已完成2500万美元融资:金色财经报道，加密货币交易所Metatime已完成2500万美元融资，并准备在全球交易所上市其生态系统代币。此外，Metatime并推出自己的区块链网络MetaChain。[2023/6/24 21:56:51]
开发平台Alchemy增加了对第 2 层扩展解决方案 Optimistic Ethereum 的支持:区块链开发平台Alchemy今天宣布，平台将正式支持以太坊最受期待的第 2 层解决方案之一 Optimistic Ethereum。这将使开发人员能够可靠地利用 Optimism 的扩展能力。（cryptoninjas）[2021/7/1 0:19:49]
公告 | Algorand官方：Runtime Verification正式验证Algorand区块链永不分叉:Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。[2019/6/26]
标签：
区块见闻
