网址：https://www.bitclave.com
发行时间：2018-01-03
Project Catalyst Fund5共有267个项目申请资助 已质押200万美元:金色财经报道，Cardano(ADA)区块链解决方案背后的软件公司Input Output HK邀请所有Cardano(ADA)爱好者对Project Catalyst第五轮（Fund5）进行投票，目前已获得了200万美元的质押。本轮共267个项目申请资助。选民登记开放至2021年7月19日。[2021/7/10 0:40:50]
白皮书：https://docsend.com/view/eujkjdk
甘道智能发布5G+区块链及Cat.1+区块链模组:金色财经报道，近日，甘道智能联合无线通信模组及解决方案提供商美格智能共同发布了两款区块链模组：物链1号—5G版SRM815BC模组（5G+区块链），及物链1号—Cat.1版SLM320BC模组（Cat.1+区块链）。这两款模组集成了国产、安全、自主、可控的Hyperchain区块链核心技术，同时采用了TrustZone芯片级安全架构，对于满足不同业务场景的个性化需求，尤其是对数据安全性有较高要求的场景，提供了更具有针对性的解决方案。[2020/8/10]
最大供应量：
公告 | Algorand官方：Runtime Verification正式验证Algorand区块链永不分叉:Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。[2019/6/26]
总供应量：
核心算法：
激励机制：
BitClave是一家专注于创建由区块链技术隐私和安全性支持的下一代去中心化搜索的创业公司。通过剔除数字广告系统中间商，用户拥有完全的自主权管理自己的数据，与客户直接互动。客户活动代币（CAT）是一种基于ETH区块链的代币，用于BitClave生态系统的激励机制。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。