链闻消息，公链项目Algorand联合基于区块链的防篡改媒体验证平台Attestiv，打击保险行业内的欺诈行为，这是Algorand在保险行业的首个主要用例。该技术有望使整个保险业进行数字化转型，仅在美国就有超过400亿美元的市场。Attestiv核心亮点是基于AI技术通过捕获或取证分析验证数字媒体、传感器数据和元数据等。一旦被捕获，就可以通过「指纹」处理使其具有防篡改的特性。这些「指纹」被存储在Algorand区块链上，以确保数据的原始形式未经更改。Attestiv将建立在Algorand公链上，可确保一系列隐私和安全选项，从而为合规企业提供所需的合规性等级。此外，Algorand还为Attestiv提供了具有竞争力的成本结构，可以随公司的发展而扩展。
基于Algorand的交易市场Algodex已发布主网版本:2 月 10 日，基于 Algorand 的去中心化交易市场 Algodex 宣布已发布主网版，并即将开始交易。Algodex 的主网版本将向除美国和加拿大以外的互联网用户公开，直到这些地区的法律合规计划完成。[2022/2/10 9:42:34]
Algorand创始人Silvio Micali发表Co-Chains技术论文:Algorand创始人Silvio Micali已发表Co-Chain区块链架构技术论文。Co-Chain主要有以下几个特点：1. 完全独立于公有区块链，保护其交易不被外部人员所看到，可以自行选择验证者节点，并自行来运行Algorand共识协议；2. 通过与Algorand主链交互从而和其他Co-Chains以及其他方之间进行交易，并且确保该过程和在Algorand无需许可的公链内进行资产交换拥有相同程度的安全性和便利性；3. Co-Chain能够使用原子交换（Atomic Transfers），智能合约（ASC）等所有Algorand公链原生拥有的工具和特性；实际上，Co-Chain能够自动享受到Algorand公链上所有的升级以及性能提升。[2020/3/17]
公告 | Algorand官方：Runtime Verification正式验证Algorand区块链永不分叉:Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。[2019/6/26]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。