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

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

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

前微软高管Alex Solomon加入区块链游戏平台Enjin以推进企业业务:区块链游戏平台Enjin周一宣布，曾在微软担任Azure西欧产品营销总监的Alex Solomon已加入该平台，担任其企业平台执行董事。Enjin表示，作为Enjin的企业主管，Solomon将与希望使用区块链技术创造数字体验的企业客户合作，以提高客户留存、获取和参与。（CoinDesk）[2020/11/16 20:58:44]

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

微软MVP刘海峰成为币星实验室顾问:据币星官方消息：新加坡时间4月28日，微软金牌合作伙伴，微软MVP 刘海峰特聘成为币星实验室技术顾问。刘海峰先生称：未来十年是数字经济的新时代，也是无数中小企业蓬勃生长打破垄断的时代。币星实验室力图打破传统资本壁垒，为企业创造新的上市赛道，证明其对市场和时代有高度的的洞察力。

币星实验室前身是币星一站式孵化器，团队由新加坡持牌律师，国际注册会计师，持牌券商组成，最早在新加坡为企业提供区块链一站式服务。升级为币星实验室后，将致力于为全球中小企业提供合规，灵活，经济的新型上市途径，为企业提供置信投资者，合法募资，盘活企业资产的全套解决方案。[2020/4/28]

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

ConsenSys和安永宣布在以太坊上建立由微软支持的协议:金色财经报道，ConsenSys和安永宣布了其新的针对企业的“基线协议”。该项目获得了其他12家公司和组织的支持，包括安永、AMD、ChainLink和MakerDAO。新协议允许企业通过以太坊区块链与协作者同步数据，而不必公开所有业务记录。企业可访问在以太坊区块链上构建的去中心化金融（DeFi）服务，不必公开其所有私人信息。[2020/3/5]

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

标签：DEFARKSPAPAR去中心化金融defi是干什么的arkm币最新消息SPACC币PARETO币

比特币价格热门资讯