06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，11月29日消息，虚拟资产管理服务持牌公司潘渡官方宣布旗下以太币ETF将于12月3日在港交所上市，股份代号为3085.HK，该ETF直接持有以太币，并以芝商所CF以太币美元指数（亚太收市价）为基准，香港投资者可使用现有证券账户，通过选择现金或实物申赎方式进行交易，每手买卖单位为100股，最低认购金额为850港元。
7 分钟前
火讯财经讯，11月29日消息，AllianceDAO联创QwQiao在X平台发文表示，并不会做空L1代币，只是无法说服自己它们算是一种“优质投资（greatinvestments）”，但L1代币也算不上是“糟糕投资（badinvestments）”，可供选择的资产数以千计，总能找到一些优质资产。QwQiao称其目前持有的每一项资产都有持久的竞争优势并在呈指数级增长的领域运营。 QwQiao此前指出L1代币缺乏护城河，容易被商品化，难以捕获有实际意义的价值并称押注应用层或为出路。
37 分钟前
火讯财经讯，11月29日消息，纽交所上市的比特币矿企Cango在X平台发文表示，本周挖矿产出129.1枚BTC，截至目前其比特币总持仓量已突破6900枚，目前达到6902.5枚。
37 分钟前
火讯财经讯，11月29日消息，据金十报道，德国世界杯关键足球运动员马里奥·格策今年33岁，这个年龄通常是球员开始考虑职业体育生涯之后生活的时候。然而，格策已经为此准备了几年，他建立了一个强大的私人投资组合，在他的第一个职业生涯结束后将继续发展。大约七年前，他的第一笔风险投资交易涉及一家从多特蒙德大学剥离出来的初创公司。格策的投资工具Companion-M专注于软件、医疗保健、网络安全和生物技术等领域的早期初创公司。格策和一个小型顾问团队通常每月会考虑大约100个潜在交易，并向进入种子期或种子前阶段的公司进行一两次天使投资。格策表示，他也对投资私人信贷持开放态度，并正考虑在年底前再增加一两项投资。 据悉，格策此前曾投资NFT，并且还将其X名称改为mariogotze.eth（目前仍保持该X账号名称），同时还将X账号头像更换为SmolverseNFT并配文“在加密领域迈出一步”（目前已调整为其他头像）。
37 分钟前
火讯财经讯，11月29日消息，据Alternative数据，今日加密货币恐慌与贪婪指数为28（昨日为25），市场摆脱“极度恐慌”，进入“恐慌”区间。
1 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
