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

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

声音 | 微软柯睿杰：区块链等在金融行业用的非常广:据techweb报道，10月19日，在2019工业互联网全球峰会上，微软公司资深副总裁，大中华区董事长柯睿杰演讲表示，混合现实、人工智能、区块链，区块链在金融行业用的非常广，同时还有在供应商和生产者之间的庞大网络里面，也有很好的运营，同时还有物联网和边缘计算，边缘计算是很有意思的，上午我们也谈过，我们要把更多的计算能力带到边缘，让边缘变得更加智能。[2019/10/20]

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

动态 | 微软将开发两种区块链ID产品:据CoinDesk报道，根据本周发布的白皮书，软件巨头微软表示打算开发两种区块链ID产品，旨在让消费者更好地控制他们的个人数据。其中一种产品是经过加密的个人数据储备或“身份中心”，这是用户个人设备及微软通过其云计算服务Azure提供的云存储的组合。微软将构建的另一款产品是一个“钱包式应用程序”，人们可以使用这些应用程序来管理这些数据权限，包括在需要时撤销它们的权限。这两种产品都将建立在分散标识符（DID）的基础之上，这是一种在万维网基金会（W3C）的支持下开发的规范。[2018/10/13]

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

华尔街交易员：微软进军区块链有助于提升收益:据CNBC报道，微软周三盘后公布2018财年第二季度财报，其中华尔街的一名交易员对此持乐观态度。HighTower Advisors Bapis Group的合伙人兼董事总经理Michael Bapis表示，微软的股价在周一创下了历史新高，原因之一是，微软在区块链技术领域取得了进展，去年微软参与了有关海上保险相关的区块链计划。[2018/2/1]

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

标签：ARKPARSPAKSNxmark币最新消息PARIOSpaceGrimeKSN价格

Fil热门资讯