链闻消息,Algorand基金会正式发布「2.5亿ALGO代币奖励计划」,用于奖励那些基于Algorand区块链进行应用开发,从而推进平台基础设施、终端用户应用,及研究创新发展的项目。该奖励计划将面向全球,并多年运行。2.5亿ALGO的奖励将被分配给以下四个领域的开发者:创新型研究、平台基础设施开发者工具、链上去中心化应用以及社区拓展和教育项目。潜在应用包含DeFi(去中心化金融)、支付、资产交易、社交媒体整合、供应链、版权和资产代币化等多个方面。目前已有三个项目获得了部分奖励,分别是支持多个区块链的基础设施提供商Bloq、开源浏览器钱包插件PureStakeAlgoSigner和降低开发门槛的DApp开发平台Reach。
Algorand任命Visa和Fidelity的前通讯主管为CMO:金色财经报道,Algorand聘请了Fidelity Investments和Visa的前通信主管作为其首席营销官,因为这家区块链公司寻求建立自己的品牌并通过战略增长计划来扩大影响力。Michele Quintaglie的任务是帮助公司进行叙述发展和影响营销,并将寻找赞助机会。(blockworks)[2022/9/21 7:11:50]
Algorand基金会宣布Staci Warden担任首席执行官:2月10日消息,Algorand基金会宣布任命Staci Warden为首席执行官,立即生效。Warden自2021年9月以来一直在Algorand基金会董事会任职。
根据其Linkedin资料,在加入Algorand之前,Warden曾担任摩根大通的执行董事,负责欧洲、非洲、俄罗斯和中亚的多边机构关系。她还曾在纳斯达克工作,负责监督该交易所为微型股企业开发的上市交易平台BBX的开发。(CoinDesk)[2022/2/10 9:43:26]
公告 | Algorand官方:Runtime Verification正式验证Algorand区块链永不分叉:Algorand官方博客发文称:为了更好地保证Algorand协议,并使未来的协议设计和验证更容易,Algorand选择通过机器验证来增强数学上的理论证明。为此,Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑:使用Coq定理证明,团队已经开发了一个精确的协议数学模型,并正式验证了其安全保证(区块链从不分叉)。在今年早些时候,Algorand用Runtime Verification(运行时验证)来验证其共识协议。Algorand宣布已经完成该工作的第一部分,即协议建模和证明其安全定理。具体来说,我们使用了一个证明助手(Coq)来系统地确定协议在数学上保证不会分叉的假设。[2019/6/26]
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。