零知识(ZK)是过时的加密技术吗?是和不是。 围绕 ZK 的市场宣传将其提升为先进的加密技术,这在概念上是相当正确的。ZK 证明系统当然是非常优雅的加密构造。 另一方面,当涉及到一个有效的 ZK 产品时,它们只是半个...
...rate/1699317337526) ### 简介 领域特定语言(DSL)在[零知识(ZK)证明](https://learnblockchain.cn/article/5440)领域中起着至关重要的作用。在核心上,ZK 证明解决了在不透露任何附加信息的情况下证明秘密数据中某些属性存在的挑战...
zkEVM是零知识证明相对复杂的零知识证明应用,源代码值得反复阅读和学习。 https://github.com/appliedzkp/zkevm-circuits.git 本文中采用的源代码对应的最后一个提交信息如下: ``` commit 1ec38f207f150733a90081d3825b4de9c3a0a724 (HEAD -> main) A...
Groth16算法确实比较美,优点是证明小,非常适合链上验证的场景。但是,Groth16算法需要可信的初始设置(Trusted Setup),而且每个电路都需要初始设置。特别在业务电路升级的时候,还需要重新初始设置。PLONK算法,只需要一次初...
视频的核心内容围绕“零知识”技术在以太坊中的应用,特别是“秘密领导者选举”(Secret Leader Election,简称SLE)项目。该项目旨在解决当前以太坊信标链中存在的潜在拒绝服务攻击(DDoS)问题,攻击者可以通过识别验证者的...
...chments/2025/03/oOlSJ4VA67cd47868c4f4.png!/scale/60) 你是否听说过零知识证明(ZK)的神奇之处,却不知其运作机制?那么,“ZK白板系列”专栏将是你打开这扇魔法之门的钥匙! 从零知识证明的基本概念出发,逐步深入到高级协议,并探...
...rt 漏洞最早是由 Trail of Bits 团队命名的。“Frozen”代表零知识证明的铸造,而“Heart”则表明 Fiat-Shamir 转换是许多证明系统的核心。该漏洞指的是使用“弱 Fiat-Shamir”转换。在这种情况下,只对证明者的消息的部分进行了哈希,...
...处。 了解更多关于团队、Aleo 代币、Aleo 的用例和缺点的知识  比特币和加密货币领域向我们承诺了一种新的支付模式、一个去中心化的时代,以及一种替代法定货币...
...额和余额。 * **技术实现:** 该功能利用同态加密和零知识证明(ZK proofs)等密码学技术。 * **转账流程:** 用户首先将代币从公共余额存入待处理余额状态(加密),然后将待处理余额应用到可用余额状态。之后,代币可...
...作性提供无需信任且高效的跨链基础设施。zkBridge 使用零知识证明结构来[证明完整的 Ethereum PoS 共识](https://polyhedra.medium.com/proving-full-node-of-ethereum-in-zk-c7ffaaa688dd)以及各种 layer-1 和 layer-2 网络的state transitions。 凭借其高效的证明...
...户发送到网络的交易)引起的状态转换。之后通过利用零知识功能创建有效性证明,证明这些链外状态变化计算的准确性。 zkEVM的主要组件包括: - 共识(POE)合约(PolygonZkEVM.sol) - zkNode - 同步器(Synchronizer) - 排序...
...判断正确状态。zkRollup是最直接的状态同步方式,通过零知识证明技术,在向Layer1提交状态的同时提供状态变化的证明。Layer实现分类如下:  zkRollup,按照采用的零知识证明...
...kSync 是一种基于以太坊的二层扩容解决方案,它利用了零知识证明技术来提高交易吞吐量和降低交易成本。zkSync 属于目前以太坊比较流行的扩容方案 ZK-Rollup 的一种,通过将大量交易批量处理并将结果提交到以太坊主链来实现高...
...SC Zero zkVM——一个利用RISC-V架构进行安全和私密计算的零知识虚拟机。 虽然我们为RISC Zero完成了多次安全审核,但我们的安全合作不仅限于审核。 在这篇博客文章中,我们强调了我们是如何合作的,使用**Picus**,Veridise的自动...