找到约 14 条结果

文章 学习 Solidity 的五大最佳免费课程

...//learnblockchain.cn/article/10487)、稳定币 - DeFi、DAO、NFT - [知识](https://learnblockchain.cn/article/13802) ZK ### 2\. 最佳互动式 Solidity 开发课程:Alchemy University **价格:** 免费 **级别:** 初级到中级 ![](https://img.learnblockchain.cn/2025/04...

文章 [镜像] 二次算术程序:从到英雄

...,还有一个相当复杂的过程用于创建这个见证的实际“知识证明”,以及一个单独的过程用于验证其他人传递给你的证明,但这些细节超出了本文的范围。 我们选择的例子是一个简单的例子:证明你知道一个三次方程的解:x...

文章 Polyhedra Network:利用zkBridge构建最大的可互操作比特币生态系统

...。zkBridge实现了快速、安全及无信任的跨链交互,利用知识证明消除了对任何第三方验证的需求。 利用zkBridge,比特币现在能够安全地传输其当前及历史数据,使用知识证明,与包括比特币第二层、以太坊及其第二层在内的...

文章 论EVM和zkEVM的新叙事

...hines (SVM),突出了它们的功能和用例。 - 最近,zkVM(知识虚拟机)取得了进展,它在区块链中提供了增强的隐私性、安全性以及可扩展性。 - 关于最终的想法,Wasm VM 具有强大的潜力,VM 的使用案例数量不断增加以适应应...

文章 区块链中的数学 - 环签名(ring signature)

...露在环中。且在目前的公有链市场上,与环签名相比,知识证明依然是最佳的匿名方案之一。 BTW,关于环签名还有一个有趣的历史故事,最早可以追溯到十七世纪的法国。相传,法国群臣向国王提意见的时候,为了不让国...

文章 ZK/SEC 季刊

...者将深入了解 sumcheck 协议中算术运算的处理,并了解知识证明中特定情况的优化。 [阅读 →](https://blog.zksecurity.xyz/posts/posts/faster-sumchecks/index.html)[![算术电路的形式化验证框架的比较](https://img.learnblockchain.cn/2025/11/28/circuit.png)]...

文章 Boundless The Signal:知识跨链的架构与范式创新…

## Boundless The Signal: 知识跨链终极协议的架构和范式创新 > **“除了像 ZK Rollups 这样的传统应用,ZK 领域新兴的用例现在包括像 The Signal 这样的跨链操作。”** 作为区块链研究人员,我们正在目睹对跨链互操作性的巨大需求,...

文章 Zama 产品发布 - 2024 年 4 月

... ### TFHE-rs v0.6 Zama的TFHE-rs的新版本引入了一种称为知识证明的密码学技术,该技术是对FHE的补充。此外,此版本增强了对有符号整数运算的算术运算的GPU支持。此外,它还引入了其他加密功能,例如生成加密的随机性。 ...

文章 理解 R1CS 中的列编码与行编码 - 从密码学的角度来看

## 引言 在加密协议领域,特别是涉及知识证明(ZKP)的协议中,计算的效率和复杂性是非常重要的。秩-1约束系统(R1CS)在这一背景下发挥着关键作用,作为构造和解决基于约束问题的基础。处理R1CS的一个关键方面是约束的...

文章 lambdaworks - 回顾与更新路线图

## 介绍 自从我们推出用于知识(ZK)证明的密码学库 [lambdaworks](https://github.com/lambdaclass/lambdaworks) 以来,已经过去了一年半多的时间。我们在构建它时,专注于性能、易用性、对硬件加速的支持以及教导他人如何开发和理解 ZK...

文章 Cobo密码知识讲堂|第四讲:ECDSA 门限签名算法分析与比较

...生活,数字资产、数字签名等新概念层出不穷。Cobo 密码知识讲堂计划推出以“门限签名”为主题的系列科普文章,旨在以深入浅出的方式,带领读者了解数字签名中门限签名的技术本质和应用原理。该系列科普文章每一篇内容...

文章 BulletProofs 详解

## ZK Bulletproofs 简介 Bulletproofs 是一种知识内积论证,它使证明者能够说服验证者他们正确计算了内积。也就是说,证明者有两个向量 $\mathbf{a} = [a_1, a_2, \dots, a_n]$ 和 $\mathbf{b} = [b_1, b_2, \dots, b_n]$,并且他们计算了 $v = \langle\ma...

文章 多变量Sumcheck协议

**多变量Sumcheck协议**是知识证明中 PIOP(Polynomial IOP)框架的重要组成部分,主要用于证明如下等式的正确性: $$ c = \sum_{\vec{X} \in \{0,1\}^n} f(X_1, \ldots, X_n) $$ 其中,$c$ 是求和结果,$X_1, \dots, X_n$ 是 $d$ 个变量,每个取值为 0 ...

文章 使用 zkTLS 证明新世界

...睹的所有基础设施限制:L2扩展、数据可用性(DA)、知识虚拟机(zkVM)等等。但其中最显著的可能是能够在Web3 dApp上大规模使用Web2数据。 过去几年里,我们从头开始重建了Web,这非常棒。然而,加密用户仍然不到Web用户...