...拙的协议。 如今，**PLONK 被认为是最雄心勃勃的通用零知识证明结构之一。** 许多项目，如 Zcash、Polygon Zero（以前称为 Mir Protocol）、Aztec 网络、Dusk、MatterLabs（zksync）、Astar 和 anoma，都有自己的证明系统实现。 ## 但首先，...
...在 Merkle Tree 上面，在中继里边做的，以太坊上只要把零知识证明验证一下就行了，可能就花费10万gas 还是多少gas，大概是这样。* *比如说做1000笔交易，改动可能是大约4000个叶子节点，可能要算几万次哈希算出一个根，但这些...
...协商等，还可以实现乘法的同态隐藏和校验。这一点在零知识证明项目中应用很多。 另外需要说明的是，并非基于任何椭圆曲线都可以构造配对函数，对于能有效实现双线性对的椭圆曲线，称为pairing-friendly curves，例如BLS12_381...
...励严重不足，但实际情况下几乎不发生。 考虑使用零知识证明降低BitVM的挑战次数，从而提高BitVM的效率。根据零知识证明理论，如果数据$Data$满足算法$F$，则证明proof满足验证算法$Verify$，即验证算法输出True；如果数据$Data$...
...跨链交互的基础设施协议，为比特币生态系统提供跨链零知识证明（ZKP）。传统的 BTC 跨链桥通常依赖于多重签名托管人或中心化中介机构，引入了额外的信任假设，并将用户资产置于单个实体或一小群体的控制之下。这种中心...
...er 是一种基于账户的、无信任的扩展协议，通过简洁的零知识证明确保安全。类似于 zk 家族中的其他扩展技术（如 zkRollup 和 Validium），zkPorter 的计算在扩展性上呈指数级增长：**可以在大约 **恒定成本** 下验证任意数量的交易**...
...种新的机密 token 扩展，被称为机密转账——一个利用零知识证明加密 SPL token 的余额和转账金额的隐私功能。 这一扩展的总体目标是通过关注机密性，而非匿名性，提高用户隐私。由于余额可以被加或减，Token Extensions 标准要...
...取序列器排序后的交易信息和状态信息。它们可以生成零知识证明，或聚合交易并整理证明细节，形成交易批处理哈希树。该树发送到数据可用性层进行备份，确保 Rollup 交易数据的可用性。 * 证明者的角色是为序列器提...
...了 BitSNARK v.0.1，第一次使得使用户能够验证比特币上的零知识证明。允许任何人在不分叉代码的情况下升级网络。BitSNARK 协议是在比特币网络上验证零知识证明执行情况的一种方法，它允许将比特币的转移与可证明的外部事件（...
... ## 太长不看版 通过本文，你将拥有在 Risc0 中使用零知识证明的实际经验。不需要高级数学或密码学背景。我们将专注于编码基础，以开始构建现实世界的解决方案。本次动手介绍旨在使强大的隐私技术让任何开发人员都易...
...东西，变成了一个青少年用来制作游戏的东西。 ## 零知识 近年来，我们见证了一个计算的新时代的兴起。我们有像以太坊和比特币这样的区块链，每秒处理几十个操作，每年[gas](https://learnblockchain.cn/2019/06/11/gas-mean)要耗费...
## 背景 作者在搬[groth16](https://learnblockchain.cn/article/3835)上链的项目里需要用到一些椭圆曲线上的秘密随机点(自然也可以把它当作root生成随机数)，需要用到MPC计算生成。记录一下算法和思路，加密部分使用bls12-381加密库。 ##...