“Microsoft宣布推出一种高效且通用的零知识证明技术方案Spartan,该方案能在更短时间内以更高效的方式实现简洁非交互的零知识证明,是首个无需做可信设置的zkSNARK方案。”
微软与Ankr合作提供区块链节点基础设施服务:金色财经报道,微软与 web3 基础设施提供商 Ankr 合作,为需要区块链数据访问的企业提供节点服务。两家公司将在微软 Azure 云市场上合作开发新的节点托管服务,为区块链节点提供量身定制的内存和带宽规格。根据公司发布的消息,企业节点部署服务将使 web3 项目或开发人员能够部署智能合约、中继交易以及读取或写入区块链数据。[2023/2/21 12:20:25]
本文介绍了Spartan,这是用于rank-1约束满足性的零知识简洁非交互式知识参数家族中的一位新成员,R-1CS是一种可归纳算术电路可满足性的NP完备语言。Spartan包含了一项独特功能,它为NP提供了第一个没有受信任设置的zkSNARK,验证证明时会产生亚线性成本,无需NP语句结构的一致性。此外,Spartan还为zkSNARK提供了一种时间最佳证明者。
动态 | 中原地产与微软香港开创香港首个二手置业区块链跨界平台:据明报财经报道,中原地产与微软香港及天开区块链科技合作,开创香港首个二手置业区块链跨界平台。中原集团副主席施俊嵘表示,将区块链技术应用于楼宇买卖流程中可提升效率,将二手地产代理服务进一步数码化。[2019/3/30]
为了实现这些结果,我们引入了新的技术,这些技术与总和检查协议进行结合:(
计算commitment,一种用于创建对计算描述的简洁commitment的原语;该技术对于验证者在投资一次的公共计算以预处理给定的NP语句之后获得亚线性成本至关重要;
微软中国区副总裁:区块链并非虚拟货币:在近日“创新杯”广州地区赛事现场,微软中国区副总裁林晟接受了广州日报记者专访表示,区块链本身可以说是一种新的数据存储。大家很容易把区块链等同于虚拟货币,其实虚拟货币只是区块链的一个应用。林晟也表示,微软很早就关注区块链,这两种应用在微软云上已经有应用,微软作为平台,合作伙伴既有面对个人用户的企业,也有企业用户。[2018/3/29]
SPARK,一种将所有现有的可提取多项式commitment方案转换为有效处理稀疏多线性多项式的密码编译器。该技术对于实现时间最优证明者至关重要。
将R-1CS的压缩编码为低次多项式。最终结果是NP的公共代币简洁的交互式知识参数;我们使用现有技术将其转换为zkSNARK。
通过将SPARK应用于不同的commitment方案,我们获得四个zkSNARK,其中验证者的成本和证明大小取决于基础commitment方案到O)。这些方案中的三种不需要可信的设置,而一种方案则需要通用且可更新的一次性可信设置。
通过约8,000行Rust语言代码,我们将Spartan作为一个库来实现。我们使用该库在随机预言模型中构建一种透明的zkSNARK,其中安全性在离散对数假设下成立。我们通过实验对其进行评估,并将其与最新的zkSNARKs进行比较,以将R1CS实例的大小限制为大约2^{20}。在没有受信任设置的方案中,Spartan可以提供最快的证明者,依据基准线的加速比为大约36-152倍,产生的证明短于1.2–416倍,并且以3.6–1326倍的速度提升产生最少的验证时间。与具有受信任设置的最新zkSNARK相比,Spartan的证明者对于任意R1CS实例的速度快2倍,对于数据并行工作负载的速度快16倍。
《SpartanzkSNARK库》下载
2015年7月30日,以太坊网络正式发布。5年,旧貌换新颜。在2020年以太坊网络发布5周年之际,金色财经发现,数据显示它比以往任何时候都更受欢迎.
1900/1/1 0:00:00来源|?InfoQ作者|?Joyce2020年,新基建红利滚滚而来。作为互联网领域的新兴技术,区块链从根本上改变了数据管理方式,目前已应用在金融、医疗、制造等多个行业中.
1900/1/1 0:00:00DeFi与传统信用体系的结合正在进行!DeFi今天面临的主要问题是:只有小圈子里的人在使用,而圈子之外,没多少人用到。普罗大众没有代币,就无法将资产作为抵押品,因而也无法从平台上借出资产.
1900/1/1 0:00:00本文原发于“彩云区块链”作者:cncoin最近在AI领域出了一件比较轰动的新闻,就是一个名为OpenAI团队做了GPT-3的AI模型,使用1750亿参数,投喂了45T的数据,花费1200万美元.
1900/1/1 0:00:00美国的加密数字货币交易服务交易平台Coinbase现在正在美国申请上市。Coinbase成立了8年,在全球范围内其加密数字货币的交易量是排名第三.
1900/1/1 0:00:00我们构建了一个经济模型来反映ETH2.0网络的输入和输出,并采访了很多代表以太坊生态主要参与者的利益相关者.
1900/1/1 0:00:00