Algorand官方：Runtime Verification正式验证Algorand区块链永不分叉

2450 天前

06月26日，星期三 07:33

Algorand官方：Runtime Verification正式验证Algorand区块链永不分叉

6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。

万事达推出数字资产合作伙伴计划，发力链上跨境与B2B支付

火讯财经讯，3月11日消息，据BitcoinMagazine报道，万事达（Mastercard）启动新的“CryptoPartnerProgram”，重点推进利用数字资产的跨境转账、B2B支付及全球款项发放。

2 小时前
Ledger披露联发科芯片漏洞，可在数分钟内窃取安卓热钱包助记词

火讯财经讯，3月11日消息，据SolidIntel报道，Ledger披露联发科MediaTekDimensity7300芯片存在安全漏洞，攻击者在获得设备物理访问权限后，可在数分钟内从搭载该芯片的Android设备中窃取热钱包助记词（seedphrase）。

2 小时前
美国2月CPI符合预期，与上月持平

火讯财经讯，3月11日消息，美国2月未季调CPI年率为2.4%，符合市场预期，与上月数据持平。

2 小时前
美国核心CPI年率为2.5%，符合市场预期

火讯财经讯，3月11日消息，美国2月未季调核心CPI年率为2.5%，符合市场预期，与上月数据持平。

2 小时前
YZi Labs要求CEA Industries回应“运营真空”问题并终止10X资管协议

火讯财经讯，3月11日消息，据Globenewswire报道，YZiLabs发表声明表示，根据投资者AbrahamGomez对纳斯达克上市公司CEAIndustries及其董事HansThomas提起的诉讼显示，该公司几乎处于“运营真空”状态，没有CFO、COO、运营或营销团队、也缺乏基金管理系统，甚至没有注册域名或可运行的网站。YZiLabs支出，这一情况凸显CEAIndustries公司董事会监督失效，而且与10XCapitalAssetManagement签署20年资产管理协议管理巨额资金的同时未建立基本的公司治理与运营基础设施，因此要求董事会就相关指控公开回应、成立独立委员会调查HansThomas，并终止与10XCapitalAssetManagement签署的协议。

2 小时前

2450 天前

Algorand官方：Runtime Verification正式验证Algorand区块链永不分叉

万事达推出数字资产合作伙伴计划，发力链上跨境与B2B支付

Ledger披露联发科芯片漏洞，可在数分钟内窃取安卓热钱包助记词

美国2月CPI符合预期，与上月持平

美国核心CPI年率为2.5%，符合市场预期

YZi Labs要求CEA Industries回应“运营真空”问题并终止10X资管协议

友情链接：