06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，12月1日消息，Telegram创始人PavelDurov在其个人频道发文称，基于TON与Telegram生态的去中心化保密计算网络Cocoon已正式上线，用户的首批AI请求已通过Cocoon处理，实现100%隐私保护。GPU提供者已开始通过该网络赚取TON代币。Durov指出，Cocoon旨在解决传统AI计算供应商如亚马逊和微软带来的高成本与隐私问题。接下来数周将扩展GPU供给并引入更多开发者需求。
1 分钟前
火讯财经讯，12月1日消息，欧易OKX行情显示，BTC刚刚跌破90000美元，现报89672.00美元/枚，日内下跌1.93%。
1 分钟前
火讯财经讯，12月1日消息，孙宇晨在X平台发文称，已经取回微信账户。昨晚孙宇晨微信曾被盗。
1 分钟前
火讯财经讯，12月1日消息，欧易OKX行情显示，BTC刚刚跌破89000美元，现报88955.50美元/枚，日内下跌2.72%。
1 分钟前
火讯财经讯，12月1日消息，马斯克在X平台发文称，其推出的Grokipedia平台是开源软件，任何人都可以免费使用，无需支付授权费用或标注来源。仅要求用户在发现错误时进行修正，以提升内容的客观准确性。
1 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
