...## 复制证明 #### 基础 - 复制证明本质上可以理解为一种零知识证明，既然是零知识证明，我们在后面需要理解filecoin复制证明的题目和答案 > zk-SNARK zero knowledge Succinct Non-interactive ARgument of Knowledge > zero knowledge：零知识，即在证明...
... L1 某个智能合约的事务。 “ZK” 这个前缀指的是 “零知识证明（zero knowledge）”，不过，zk rollup 往往不能保护隐私 —— 所有的事务都会默认公开，就像 Optimistic rollup 一样。使用 “zk” 这个前缀是因为这些系统所依赖的 *有...
...6验证器是BitVM的基石，能够直接在比特币上进行高效的零知识证明验证。关键成就包括： * **构建验证器**： * 完全使用比特币脚本实现了一个单体Groth16验证器，其功能与通用编程语言相当。 * 开发了基础原语，包括BIGIN...
...数取模。32G的Sector，叶子个数为1G个。 ## 04 零知识证明电路 零知识证明的计算部分可以查看rust-fil-proofs/post/fallback目录。大体的逻辑模块和结构可以查看之前的文章介绍： [Filecoin - PoREP电路介绍](https://...
... 保密转账 保密转账是由Token2022引入的一项功能，利用零知识证明加密SPL代币的余额和交易金额。此功能的主要焦点是通过强调保密性而非匿名性来改善用户隐私。 保密转账利用 [Twisted ElGamal 加密](https://spl.solana.com/confidential-to...
... Papers ### 【论文速递】Crypto 2024 （多项式承诺、SNARKs、零知识证明、数据可用性采样、后量子聚合签名） - ### Improved Lattice Blind Signatures from Recycled Entropy - ### Raccoon: A Masking-Friendly Signature Proven in the Probing Model - ### Identity-Based En...
...处理任何大小的数据计算，并在任何区块链上无缝验证零知识 (ZK) 证明。 Brevis 需要高性能的 ZK 证明来突破智能合约的局限性，并显著降低实施复杂、数据密集型功能相关的成本，因此决定使用 Ingonyama 的 ICICLE 加速库。  [系列二：理解「模拟」](https://learnblockchain.cn/2019/08/06/zkp-...
...和非交互式欺诈证明，下面会详细解释。 第二种是零知识证明，每次存入状态都需要给出证明，证明会在L1进行验证，如果验证根hash值是正确的，代表发布者的发布无误，这里的证明用到了零知识证明相关研究。 # 欺诈证...
## 引言 由于zk-SNARKs（零知识、简洁、非交互式知识论证）在去中心化私人计算和区块链扩展方面的能力，最近引起了越来越多的关注。这些构造涉及两个方之间的协议，一个是证明者（prover），另一个是验证者（verifier），前...