公链项目Algorand今日宣布将采用加密货币税务与会计软件公司Verady旗下的Ledgible平台，为Algorand扩展业务提供必要的财务基础设施。Algorand表示，将利用Ledgible平台进行内部会计和审计，此外Ledgible还将整合ALGO进入其平台软件中，所有Algorand平台代币持有者将享有综合会计服务，从而为Algorand用户提供更广泛的数字金融产品和服务。Ledgible还具备执行美国注册会计师协会(AICPA)出具的SOC税务、会计和加密货币活动报告的能力，基于合作，Algorand将可对其加密金融交易进行可靠、安全的洞察及保障。Verady曾于去年宣布获得分布式资本的战略投资。
e-Money宣布与Algorand区块链集成以加速欧洲稳定币的流通:金色财经报道，9月13日，e-Money宣布与Algorand区块链集成以加速欧洲稳定币的流通，包括eEUR，eCHF，eNOK，eSEK和eDKK的。这种集成将使基于Algorand的应用程序更快地上市，这些应用程序希望为整个欧洲的用户提供本地货币选项，并在熟悉货币的情况下推动欧洲用户采用基于Algorand的应用程序。（PR News Wire）[2021/9/13 23:21:50]
Circle宣布支持Algorand区块链上的USDC:Algorand基金会宣布，稳定币USDC将在其区块链上推出，使用Circle API或Circle Business Accounts的客户可以将其银行帐户资金转换为Algorand区块链上的稳定币。（Cointelegrpah）[2020/6/24]
公告 | Algorand官方：Runtime Verification正式验证Algorand区块链永不分叉:Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。[2019/6/26]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。