找到约 13 条结果

招聘 跨链专家 / 高级跨链工程师

...或底层开发语言。 * 理解密码学原语(签名、多签、知识证明、VRF 等),具备安全意识。 * 有跨链系统实际研发经验者优先(跨链桥、跨链合约、验证器开发等)。 * 具备良好的架构设计能力与沟通能力,能带领团队攻坚...

视频 ZKP MOOC 第14课:ZKP 应用概述与 zkBridge

...某些区块链不支持 zk 友好的特性。为此,开发了新的知识证明技术(如 Virgo),以提高效率并实现并行化处理。 **应用示例**: 视频中还展示了如何在 zkBridge 上构建应用,例如消息传递服务,说明了 zkBridge 的实际应用潜...

文章 vApps:互联网规模上的可验证应用程序

...样的 zkVM。 借助 Succinct 的证明者网络,vApps 得益于知识证明,该证明可以证明 vApp 交易执行的完整性,并使 **每个 vApp 都可验证,从 web2 到 web3。** Succinct 使直接从普通代码生成知识证明成为可能,而不是仅限于狭窄的、...

文章 ZK-SNARKs中的算术化

...k-snarks/) > * 作者:Not a Monad Tutorial > * 译者:Kurt Pan 知识证明(ZKP)正在因其在代理计算给不受信任的服务器,解决去中心化账本的可扩展性问题等方面的诸多应用而逐渐变得流行起来。ZKP 让我们可以在不泄露敏感数据的...

文章 什么是Pedersen承诺及其工作原理

...需透露向量本身。 ### 动机 当我们讨论 Bulletproof 知识证明时,它们通常是“我有两个向量的内积是 $v$”的形式。这看起来很简单,但实际上我们可以利用这一机制证明非常非平凡的声明。稍后我们将讨论这个问题。 但...

文章 使用 zkPass 证明合格投资者身份,第一部分

...o DAO](https://zerodao.io/),这是一个基于美国的DAO,投资于知识证明。在接纳之前,我经历了KYC过程。DAO是web3的,但这个KYC部分仍然是web2。尽管KYC体验很顺利,但我确实提交了很多文件,我开始在想,如果我继续在投资行业工作...

视频 ZK白板系列S2 - M2:Sum-Check协议

...入探讨了Sum-Check协议的理论基础、实际应用及其在现代知识证明中的重要性,展示了其在高效计算和验证中的潜力。

文章 探索漏洞:Groth16协议的zkSNARK可塑性攻击

...ng) ## 探讨漏洞:zkSNARK 对 Groth16 协议的可塑性攻击 对知识证明 (ZKP) 的近期关注引起了更多受众的注意,包括许多非技术人员。然而,这种增加的关注有时会导致误解,即 ZKP 仅仅因为其基于加密原则而固有安全。理解这些协...

文章 抽象代数

...我们在这里的目标是明确理解什么是 **群**,因为这在知识证明中到处使用。我们可以现在就给出一个定义: **群是一个具有封闭、结合、具有单位元素的二元运算符的集合,并且每个元素都有一个逆元素。** 但这个简短...

文章 比较去中心化物理基础设施网络 (DePIN) 的链上证明存储方案

...来说可能是一个障碍。混合解决方案(如定期锚定或 [知识证明](https://learnblockchain.cn/article/12639))可以降低这些成本,但会增加技术复杂性。 客户需求也不均衡。售用户通常不关心可审计性,并且可以放心地信任该服务,...

文章 BLS签名、BLS12-381椭圆曲线以及基于配对签名方案的剖析

...其他高级协议中得到了广泛应用,如 KZG 多项式承诺和知识证明 (ZKP)。让我们开始吧! ## 配对 这一部分重温一下椭圆曲线配对的知识。我们在我关于[“高级加密原语”](https://learnblockchain.cn/article/10851)的文章中讨论了这个话...

文章 Namada的生态系统与链间隐私的未来

...y(DA)解决方案,用户能够在自己的设备上生成自己的知识证明,引导 Namada 验证器集代表他们向 Celestia 提交数据。这掩盖了可能代表单个用户或更大用户群的私有数据。通过整合来自两个平台的功能(Namada 的隐私保证,以...

文章 以太坊拨款支持的LLZK:一种新的中间表示(IR)……

...learnblockchain.cn/2025/03/13/1UG5xRkQEU9l5jPjXTXzzaw.jpeg) 在解决知识领域的碎片化问题方面,Veridise 获得了以太坊基金会的资助,以构建一种开源的 ZK 电路语言的中间表示 (IR)。 **我们称之为 LLZK** —— 一个灵活的框架,受 LLVM 启发...