Algorand发布了ALGOBuilder平台1.0版本,将有助于企业和黑客马拉松项目构建DApp。该版本是在AlgoBuilder进行了十个月的开发之后发布的,AlgoBuilder提供了一个框架,允许开发人员构建、测试、部署和维护项目,同时提供对高级库的访问。此次发布旨在加速Algorand应用程序变得简单、高效和可扩展。此外,Algorand还发布了新的智能合约模板,其中包括为证券设计的许可代币和有限制的ASA。值得注意的是,该功能有助于澄清复杂的合规要求,包括投资者白名单和转账限制。该智能合约功能还附带了一个有状态计数器,为选择有状态智能合约提供了路线图。该平台还宣布创建带有DApp模板的新存储库。
Lil Durk在Algorand上推出“NXTG3NZ”数字可穿戴NFT:金色财经报道,说唱歌手 Lil Durk 与 Algorand 合作推出限量版 NFT 系列!这款名为“NXTG3NZ”的数字可穿戴设备将于 4 月 10 日发布。值得注意的是,NFT 系列包括备受期待的“7220”phygital 运动鞋系列。[2023/4/6 13:46:53]
Coinbase:已上线LSETH,ALGO延迟问题已解决:金色财经报道,据Coinbase Assets在社交媒体上宣布,Liquid Staked ETH(LSETH)现已带有“实验标签”在Coinbase iOS和安卓应用上线,Coinbase客户可以登录购买、出售、转换、发送、接收或存储该资产,从太平洋时间2023年3月9日星期四上午9点之后LSETH-ETH交易对将进入拍卖模式(auction mode)。
此外,Coinbase还宣布已经解决了ALGO发送和接收的延迟问题,目前转账交易处理均已恢复正常。[2023/3/9 12:51:08]
公告 | Algorand官方:Runtime Verification正式验证Algorand区块链永不分叉:Algorand官方博客发文称:为了更好地保证Algorand协议,并使未来的协议设计和验证更容易,Algorand选择通过机器验证来增强数学上的理论证明。为此,Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑:使用Coq定理证明,团队已经开发了一个精确的协议数学模型,并正式验证了其安全保证(区块链从不分叉)。在今年早些时候,Algorand用Runtime Verification(运行时验证)来验证其共识协议。Algorand宣布已经完成该工作的第一部分,即协议建模和证明其安全定理。具体来说,我们使用了一个证明助手(Coq)来系统地确定协议在数学上保证不会分叉的假设。[2019/6/26]
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。