链闻消息，公链项目Algorand宣布启动「Algorand合作伙伴计划」，旨在建立和管理一个以终端用户为中心的合作伙伴生态系统。「Algorand合作伙伴计划」的参与者将得益于Algorand独特的资源和支持，来构建和交付基于Algorand的产品。除此之外，那些寻求资源来开发或应用基于Algorand解决方案的组织，也会对该计划的参与者们开放他们呈指数级增长的广阔市场。首批入选「Algorand合作伙伴计划」的12家公司包括：AppliedBlockchain、RocketInsights、MentatInnovations、BLOCKCHAINITALIA.io、NonaDigital、Emali、Bluemi、Cartan、IntellectEU、Looptribe、Reach和Koibanx。
天桥资本和NAX宣布达成合作，以加速Algorand上去中心化应用程序的增长:9月13日消息，天桥资本（SkyBridge Capital）和NAX宣布达成合作，提供一系列基于Algorand的服务、数字应用程序和机构投资机会，以促进Algorand主要在北美和中东地区的采用。合作关系包括SkyBridge、NAX和Algorand成立专项基金以及一项名为UNLOX的开创性计划。UNLOX由SkyBridge的Anthony Scaramucci担任董事长，将成为启动大规模DeFi风险投资、融资的核心基础设施，以及机构通过区块链将资产证券化的平台。（PR News Wire）[2021/9/13 23:22:01]
Algorand推出合作伙伴计划以加速其区块链采用:金色财经报道，区块链平台Algorand正在为开发者和企业家推出“Algorand合作伙伴计划”。只要参与者的基于Algorand的产品有明确的商业案例，参与者将受益于访问资源和指导，以更快地推广他们的去中心化应用程序。该计划旨在为成功的申请者提供战略制定、技术实施过程中的上市指导等方面的专业知识。[2020/11/20 21:25:44]
公告 | Algorand官方：Runtime Verification正式验证Algorand区块链永不分叉:Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。[2019/6/26]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。