[零知识证明技术开发公司StarkWare推出第一个公开版本Cairo 1.0]1月6日消息,零知识证明技术开发公司 StarkWare 宣布推出第一个公开版本的 Cairo 1.0,Cairo 于 2020 年作为图灵完备的编程语言首次推出,用于高效编写 STARK 可证明的程序。Cairo 1.0 中最重要的变化之一是语法,新版本的 Cairo 允许编写更安全的代码。Cairo 1.0 还引入了 Sierra,这是一种新的中间表示,可确保每次 Cairo 运行都可以得到证明。StarkWare 表示,预计在接下来的几周内,提供与旧版本相同的 Cairo 1.0 功能,对 StarkNet 合约的支持将在即将到来的 StarkNet Alpha 版本中加入。
Wemade拟推出采用零知识证明技术的以太坊Layer 2平台:金色财经报道,韩国游戏巨头Wemade正在进军“以太坊Layer 2”市场,作为第一步,该公司将在3月上线Layer 2平台测试网,该测试网将采用其去年12月成立的零知识证明研究中心内部研究的技术。Wemade计划在6月份发布该平台的正式版本,其认为将区块链平台“Wemix 3.0”与以太坊Layer 2平台连接起来将有助于扩展Wemix生态系统。
此前去年12月消息,WeMade旗下链游平台代币WEMIX遭多家韩国交易所下架。[2023/1/5 9:54:11]
Findora将基于腾讯云提供零知识分类帐产品“zkLDB”:7月2日消息,去中心化金融公链项目Findora宣布与腾讯云建立合作关系,Findora将很快基于腾讯云提供零知识分类帐产品“zkLDB”。该产品将支持加密交易(encryptedtransaction)和资产发行、处理、验证和存储。Findora的zkLDB还包含一套完整的合规隐私保护审核工具。另外,腾讯和Findora将合作提供多种API和SDK,以满足银行、投资管理和游戏等行业的需求。
注:Findora是一个基于密码学的金融公链,由计算机密码学专家和美国斯坦福大学校产基金首席执行官组建,旨在支持众多应用,包括开放式银行、资产证券化、交易和点对点贷款。不仅为企业提供数据隐私服务,同时允许审计以符合财务规则。(MarketWatch)[2020/7/2]
声音 | 常山北明:将为至信链贡献跨链交换、零知识证明、分片共识相关的技术:常山北明(SZ000158)董秘在互动平台回复投资者对于“公司在区块链布局及技术优势”的提问表示,至信链是腾讯、中国网安和北明软件做为核心节点携手发布的区块链。至信链将致力于生态建设,在数据保全、纠纷解决、诉讼辅助等方面做出自己的贡献。北明软件将为至信链贡献跨链交换,零知识证明,分片共识相关的技术和知识的积累。[2019/9/27]
郑重声明: 零知识证明技术开发公司StarkWare推出第一个公开版本Cairo 1.0版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。