网址：https://www.algorand.com
图灵奖得主、MIT 教授 Sivio Micali 筹资开发的区块链协议。
DeFi隐私基础设施PortalGate完成110万美元种子轮融资，Apollo Crypto领投:6月20日消息，DeFi隐私基础设施PortalGate完成110万美元种子轮融资，Apollo Crypto领投，UpsideDAO、Greythorn Asset Management、Comma3 Ventures、Gandel Invest、Rebase D. Ventures、Fork Ventures、Ren Protocol创始人等天使投资人参投，新资金将用于扩充核心团队，加速在主网推出隐私池，在第三季度启动主网。[2023/6/20 21:48:44]
图灵奖得主、麻省理工学院 MIT 教授 Sivio Micali 筹资开发 Algorand 区块链协议。Algorand 代表了区块链底层技术发展的一个方向。Algorand 是权益证明 PoS 机制的一种变形，PoS 使用了密码技术来随机选择那些负责将下一个区块（或交易）添加到区块链中的参与者。Micali 教授带领的 Algorand 团队聚集了世界级顶尖的密码学专家，均是麻省理工学院计算机科学领域的佼佼者，专业理论和科研实力雄厚。此外，Algorand 在战略管理、经济学、计算机科学和加密货币四大重要版块的顾问均是各自领域的行业影响者，包括知名风投 Pillar 和 USV 的合伙人，MIT 和哈佛大学的经济学教授，美国顶级高校的电子信息工程和计算机科学教授，CoinList 的创始人和 Zcash 底层协议的联合发明者等。
Razor Network将Oracle集成到Algorand区块链:据官方消息，Razor Network将其去中心化的Oracle集成到Algorand区块链上。这将使Algorand上运行的所有智能合约都能够通过Razor的Oracle服务访问链下数据。[2021/2/3 18:45:21]
公告 | Algorand官方：Runtime Verification正式验证Algorand区块链永不分叉:Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。[2019/6/26]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。