“Microsoft宣布推出一种高效且通用的零知识证明技术方案Spartan，该方案能在更短时间内以更高效的方式实现简洁非交互的零知识证明，是首个无需做可信设置的zkSNARK方案。”
IALE Technology：微软、三星和 Magic Leap是全球元宇宙专利最多的公司:金色财经报道，据西班牙咨询公司 IALE Technology 的数据显示，微软被认为是拥有与元宇宙相关专利最多的公司，紧随其后的是三星电子，Magic Leap位列第三。在过去的5年里，全球所申请的元宇宙相关专利翻番，超过了2000件，微软和三星目前所拥有的元宇宙相关的专利，分别已有158件、122件，是元宇宙相关技术专利第1和第2多的公司。元宇宙相关专利在数量上仅次于微软和三星的，是在2015年凭借一段“鲸鱼跃出篮球场地面”的视频而大火的Magic Leap，之后的则分别是IBM、迪士尼、Meta、Adobe、Verizon、英特尔和Snap。（businesskorea）[2022/7/22 2:32:02]
本文介绍了Spartan，这是用于rank-1约束满足性的零知识简洁非交互式知识参数家族中的一位新成员，R-1CS是一种可归纳算术电路可满足性的NP完备语言。Spartan包含了一项独特功能，它为NP提供了第一个没有受信任设置的zkSNARK，验证证明时会产生亚线性成本，无需NP语句结构的一致性。此外，Spartan还为zkSNARK提供了一种时间最佳证明者。
世界银行行长批评“微软收购动视暴雪”:1月22日消息，近日，微软宣布计划以每股95美元的现金收购游戏开发和互动娱乐内容发行商动视暴雪，交易总金额约为687亿美元。据悉，这是微软有史以来规模最大的一笔收购，一跃成为全球第三大游戏公司，仅次于腾讯和索尼互动娱乐。
据路透社报道，世界银行行长大卫-马尔帕斯批评了微软Xbox以690亿美元收购动视暴雪的协议，称这笔钱本可以更好地投资于贫困国家和地区的艰难经济。（鞭牛士）[2022/1/23 9:07:18]
为了实现这些结果，我们引入了新的技术，这些技术与总和检查协议进行结合：（
调查：IBM和微软是工业区块链即服务（BaaS）方面的市场领跑者:知名市场调查公司ABI Research对市面上提供区块链即服务（BaaS）的六家公司（阿里巴巴、亚马逊、IBM、微软、甲骨文和SAP）进行了调查，考察了概念、工业互联网集成、生态系统支持、路线图和地理范围等因素。ABI Research最终指出，IBM和微软显然是工业区块链即服务（BaaS）方面的市场领跑者。（Mobile Europe）[2020/8/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库》下载
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。