“Microsoft宣布推出一种高效且通用的零知识证明技术方案Spartan，该方案能在更短时间内以更高效的方式实现简洁非交互的零知识证明，是首个无需做可信设置的zkSNARK方案。”
本文介绍了Spartan，这是用于rank-1约束满足性的零知识简洁非交互式知识参数家族中的一位新成员，R-1CS是一种可归纳算术电路可满足性的NP完备语言。Spartan包含了一项独特功能，它为NP提供了第一个没有受信任设置的zkSNARK，验证证明时会产生亚线性成本，无需NP语句结构的一致性。此外，Spartan还为zkSNARK提供了一种时间最佳证明者。
微软正向ChatGPT创建者OpenAI投资100亿美元进行洽谈:1月10日消息，知情人士表示，微软一直在就向AI聊天机器人ChatGPT的创建者OpenAI投资100亿美元进行谈判。知情人士称，此次融资还将包括其他风投公司。包括新投资在内，OpenAI的估值将达到290亿美元。
目前尚不清楚该交易是否已经敲定，但最近几周发给潜在投资者的文件显示，该交易的目标是在2022年底前完成。若达到这一门槛，微软将持有OpenAI 49%的股份，其他股东持有另外49%，OpenAI的非营利母公司持有2%。（Semafor）[2023/1/10 11:04:01]
为了实现这些结果，我们引入了新的技术，这些技术与总和检查协议进行结合：（
微软：不法分子利用Kubernetes机器工具包挖掘加密货币:微软表示，已发现一些Kubernetes集群感染了加密货币代码，这些代码通过Kubeflow机器学习工具包注入到系统中。据悉，Kubeflow是一个在Kubernetes上运行TensorFlow模型的框架。对于那些希望挖掘加密货币的不法分子，它是一个很好的目标，因为它通常运行在具有大量计算资源（包括GPU加速）的群集中。(theregister)[2020/6/15]
计算commitment，一种用于创建对计算描述的简洁commitment的原语；该技术对于验证者在投资一次的公共计算以预处理给定的NP语句之后获得亚线性成本至关重要；
现场 | 微软数字咨询服务总经理：区块链让每个人进入商业之中并促进增长:金色财经现场报道，NEO DevCon 2019开发者大会今日在西雅图举行，微软数字咨询服务总经理Drew Gude发表了题为“数字经济转型中的区块链”的主题演讲。Gude表示，当今数字转型的过程中，人们的信任、信任模型大多还基于上一个工业革命，而不是最新一轮的工业革命。因此需要文化的转型，同时各种机构需要以数字的方式思考如何升级以适应这种改变。区块链让每个人进入到商业之中并且促进增长。很多决策者还并没有对于区块链有一个很清晰的概念。Gude认为，区块链的潜力在于，让人们不需要花费太多的时间专注现在的价值，实现更便宜、更大规模和更安全的架构。当前商业的变化惊人，这就是机会所在。[2019/2/17]
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库》下载
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。