微软推出首个无信任设置的zkSNARK技术方案Spartan，数据并行工作负载速度快16倍

“Microsoft宣布推出一种高效且通用的零知识证明技术方案Spartan，该方案能在更短时间内以更高效的方式实现简洁非交互的零知识证明，是首个无需做可信设置的zkSNARK方案。”

微软最新投资者电话会议将人工智能开发列为其首要任务之一:金色财经报道，在4月25日举行的第一季度财报电话会议上，微软将人工智能开发列为其首要任务之一，其首席执行官Satya Nadella指出，微软将通过Bing、Edge、Windows和OpenAI ChatGPT上的Azure支持的聊天入口点让聊天将成为人们寻找信息的一种新方式，他还表示微软拥有“最强大的AI基础设施”，目前使用Azure OpenAI服务的企业客户数量已超过2500家。(cryptoslate)[2023/4/27 14:29:13]

本文介绍了Spartan，这是用于rank-1约束满足性的零知识简洁非交互式知识参数家族中的一位新成员，R-1CS是一种可归纳算术电路可满足性的NP完备语言。Spartan包含了一项独特功能，它为NP提供了第一个没有受信任设置的zkSNARK，验证证明时会产生亚线性成本，无需NP语句结构的一致性。此外，Spartan还为zkSNARK提供了一种时间最佳证明者。

OpenAI、微软、谷歌、苹果、英伟达等将开会讨论AI开发使用标准:4月11日消息，本周三，OpenAI、微软、谷歌、苹果、英伟达、Stability AI、Hugging Face、Anthropic等公司，将开会讨论制定AI技术开发使用标准，讨论如何以最负责任的态度继续开发AI。（福克斯商业新闻）[2023/4/11 13:56:17]

为了实现这些结果，我们引入了新的技术，这些技术与总和检查协议进行结合：（

微软：加密货币挖矿类恶意软件，已成为一项增长威胁:微软刚刚刚宣布，加密货币挖矿类恶意软件，已经成为了当下增长的一项威胁。 最新研究指出，自比特币价格在 2017 年出现暴涨以来，越来越多的犯罪分子将他们的注意力转向了加密数字货币，从而催生了许多的恶意软件、利用不知情的企业和用户计算资源来为自己非法牟利。 微软通过 Windows Defender 收集的遥测数据得出了这项结论。[2018/3/14]

计算commitment，一种用于创建对计算描述的简洁commitment的原语；该技术对于验证者在投资一次的公共计算以预处理给定的NP语句之后获得亚线性成本至关重要；

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库》下载

标签：ARKPARSPAZKSStark ChainPARM价格Vectorspacezksync币合法吗

XRP热门资讯