...rtan，该方案能在更短时间内以更高效的方式实现简洁非交互的零知识证明（zkSNARK），是首个无需做可信设置的 zkSNARK 方案。” 本文介绍了Spartan，这是用于rank-1约束满足性（R-1CS）的零知识简洁非交互式知识参数（zkSNARKs）家族中的一位新成员，R-1CS是一种可归纳算术电路可满足性的NP完备语言。 Spartan...
知识:Spartan
...研究，Aztec声称其新近推出的L2缩放网络使该协议能够以两种不同的方式利用zkSNARKS技术。首先，zkSNARKS用于对每笔交易进行编码，作为保护阿兹台克用户数据的一部分。 它还在这些交易的“汇总”中起作用，因此将其分批处理成一个证明，然后再发送给以太坊的链上。 此后，阿兹台克人表示，这...
知识:链上,以太坊的,以太坊生态系统,基于以太坊的
早上很多朋友@我，安比实验室发表了一篇文章zkSNARK的“输入假名”的攻击。迅速看了看，很赞。这个攻击原理其实比较简单，但是，不深入理解zkSNARK以及使用场景的朋友确实很难发现和理解。本文讲讲我对这个攻击的分析和理解。 源于三天前 这种攻击方式一直潜伏着，没被发现。直到三天前： ...
知识:合约,以太坊,函数
...构造正用于创建压缩的区块链；诸如「必要工作量证明」 之类的提案利用 zkSNARK 的功能在网络的共识层提供安全性；借助诸如 Zexe 之类的结构，ZKP 使进行链外计算甚至是全新的编程模型变成了可能。「零知识证明」通常被作为一个整体引用，但请务必记住，有许多不同类型的 ZKP。严格来说，ZKP 方案是...
知识:加密货币,去中心化,仪式,参与者
...rtan，该方案能在更短时间内以更高效的方式实现简洁非交互的零知识证明（zkSNARK），是首个无需做可信设置的 zkSNARK 方案。据官方介绍，在公开的 SNARK 方案中，Spartan 的零知识证明验证速度最快，根据对比基数的不同，速度大约为 36-152 倍，生成证明的速度为 1.2-416 倍。与最先进的（需要做可信设置的...
知识:零知识证明,微软,Microsoft,SNARK,Spart
...议。其实，零知识证明是一种不泄露输入并且能直接证明输出正确的算法。zkSNARK则是目前零知识证明算法中验证效率最高的算法，所以在区块链上有很好的应用场景。万龙链一直积极探索存储证明等技术，zkSNARK零知识证明也是其核心技术之一。zkSNARK的全称 zero-knowledge succint non-interactive arguments of ?knowled...
知识:链上,在区块链,合约,跨链交易
...链；诸如“必要工作量证明”(https://eprint.iacr.org/2020/190.pdf) 之类的提案利用zkSNARK的功能在网络的共识层提供安全性；借助诸如Zexe之类的结构，ZKP使进行链外计算甚至是全新的编程模型变成了可能。「零知识证明」通常被作为一个整体引用，但请务必记住，有许多不同类型的ZKP。严格来说，ZKP方案是一...
知识:加密货币,去中心化,参与者,仪式
...的成果。过去 15 个月来，我们的团队为社区贡献了?PLONK?和?Plookup，现已是 zkSNARK 的主要标准。 即刻体验 开发者可以直接参阅我们的文档； 文档：http://developers.aztec.network/ 如果你想查看我们在 Ropsten 上运行的网络，或体验我们的命令行 rollup 服务，请点击下方链接： 区块浏览器：https://explorer.aztec.networ...
知识:区块链扩容,AZTEC,zkRollup
...大神phd Ben Fisch给我们轮流上课，花了两周时间讲完了零知识的起源、概念和zkSNARK的实现。这两天考完期末考试，复习的过程中在脑海中再三回味整堂课，觉得最精彩的部分还是零知识证明。想着最近趁着假期总结一下，分享给大家。前言写完第一稿之后，分享给朋友Proofread的时候，发现很多朋友反馈...
知识:公钥,比特币,链上,智能合约
...大神phd Ben Fisch给我们轮流上课，花了两周时间讲完了零知识的起源、概念和zkSNARK的实现。这两天考完期末考试，复习的过程中在脑海中再三回味整堂课，觉得最精彩的部分还是零知识证明。想着最近趁着假期总结一下，分享给大家。 前言 写完第一稿之后，分享给朋友Proofread的时候，发现很多朋友反...
知识:零,知识,证明,学习,笔记,背景,与,起源,副标题,
...神 phd Ben Fisch 给我们轮流上课，花了两周时间讲完了零知识的起源、概念和 zkSNARK 的实现。这两天考完期末考试，复习的过程中在脑海中再三回味整堂课，觉得最精彩的部分还是零知识证明。想着最近趁着假期总结一下，分享给大家。前言写完第一稿之后，分享给朋友 Proofread 的时候，发现很多朋友反...
知识:零知识证明,默克尔树,UTXO,比特币,匿名性,Zcash
...管的混币服务。但是，这样做必然会引入高度的对手方和监视风险。Zcash的zkSNARKs的出现在解决该类问题，其使用了零知识证明的各种密码学方法，让转账信息实现加密。近日，笔者发现了一款特别的币种，都说前有Tornado，后又有了旋风协议Cyclone，在区块链上也有可能实现真正的隐蔽交易，旋风协议Cycl...
知识:智能合约,提币,链上,匿名性
...管的混币服务。但是，这样做必然会引入高度的对手方和监视风险。Zcash的zkSNARKs的出现在解决该类问题，其使用了零知识证明的各种密码学方法，让转账信息实现加密。近日，笔者发现了一款特别的币种，都说前有Tornado，后又有了旋风协议Cyclone，在区块链上也有可能实现真正的隐蔽交易，旋风协议Cycl...
知识:智能合约,链上,提币,通证
...没什么太大区别，到底是什么让它火了一年仍热度不消呢？隐藏信息游戏和zkSNARKs由于以太坊上的应用零知识（ZK）密码学在过去一年有了飞跃性的发展，像iden3的SnarkJS这样的新工具首次实现了高效的、浏览器内的ZK证明和验证。这些应用zkSNARK技术的最新进展使得Dark Forest建立了一个基于zkSNARKs的隐藏信...
知识:去中心化系统,去中心化,以太坊,以太坊上的应用
...该证明，而不再需要每个人都花很长时间来直接验证；ZK 主要有两种类型：zkSNARK （简洁非交互式零知识证明）和 zkSTARK（简洁全透明零知识证明）。zkSNARK 的概念最早于 2013年被学者提出，目前已比较成熟， Zcash 是首个应用 zkSANRK 技术的区块链项目。ZK 技术目前已被用于各大 Rollup 方案，来解决以太坊...
知识:链上,去中心化,以太坊,区块链