找到约 15 条结果

文章 智能合约的白名单技术

...最后一种是使用 [Semaphore](https://semaphore.appliedzkp.org/) 的知识证明技术栈的全新技术。 ![img](https://img.learnblockchain.cn/attachments/migrate/1703067601476) > [图源](https://www.paldesk.com/wp-content/uploads/2019/06/what-is-whitelist.png) 白名单是一种...

文章 一文了解Linea主网

...以太坊网络上一模一样的工具和基础设施。 Linea 将知识证明功能与完整的以太坊虚拟机 (EVM) 等效性相结合,允许构建者创建可扩展的 DAPP 或迁移现有的 DAPP,而无需更改代码或重写智能合约的麻烦。此外,Linea 还提供便捷...

文章 B-Square 学习

... 比特币上的ZK RollUp和OP挑战 ZK-Rollup只是通过Taproot将知识证明和Rollup的聚合数据写入比特币。这保证了ZK-Rollup的数据锚定在比特币中并且无法被篡改。但它并不能保证 ZK-Rollup 内交易的有效性和正确性,也不能利用比特币强...

文章 知识证明 - 从QSP到QAP

...维度上,让更多人获得帮助。 前一段时间,介绍了[知识证明的入门知识](https://learnblockchain.cn/2019/04/18/learn-zkSNARK/),通过 QSP 问题证明来验证另外一个 NP 问题的解。最近在看 QAP 问题相关的文章和资料,这篇文章分享一下 QAP...

文章 解密知识证明(二) - Nightfall的系统结构、铸币实现及以太坊上通证的转移实现

## 摘要 Nightfall是一种知识证明的实现, 它使用zk-SNARKS让同质化ERC20和非同质化的通证ERC721系列的通证进行隐私化转移,使得交易能够完成但是又能足够的匿名。本文主要是通过对架构设计、承兑型资产铸造、转移和销毁这...

文章 【zkMIPS系列】FRI预备知识

> **预备知识** > 1. 多项式和阶 > 1.1 多项式基本概念及其在密码学中的应用 > 1.2 低阶多项式的重要性及其在证明系统中的意义 > 2. 群与有限域 > 2.1 群和有限域 > 2.2 子群和陪集 > 2.3 循环群和单位根 (root of unity) > ...

文章 从 0 到 1:实现一个基于知识证明的寻宝游戏

...1js 2.\*** 开发一个去中心化应用(DApp),构建一个基于知识证明(ZKP)的寻宝游戏。游戏中,玩家扮演精英盗贼,需完成一系列盗宝任务。通过知识证明,玩家可以向系统展示任务完成的真实性,同时保护任务细节(如密码...

文章 知识证明的先进形式化验证:两个ZK漏洞的深度剖析

...attachments/2024/10/QJWQNumU6705eccc0729b.png) 我们曾经讨论了[知识证明的先进形式化验证:如何验证一条ZK指令](http://mp.weixin.qq.com/s?\__biz=MzU5OTg4MTIxMw==\&mid=2247502807\&idx=1\&sn=e5a6deabb78220190c027570b58943f0\&chksm=feacaf45c9db26539e50d6973bcc0c85d2bd22d51...

文章 zkSNARK 合约「输入假名」漏洞致众多混币项目爆雷

大量知识证明项目由于错误地使用了某个 zkSNARKs 合约库,引入「输入假名 (Input Aliasing) 」漏洞,可导致伪造证明、双花、重放等攻击行为发生,且攻击成本极低。众多以太坊社区开源项目受影响,其中包括三大最常用的 zkSNARK...

视频 访谈:与Justin Drake(以太坊基金会)探讨知识研究的未来

视频的核心内容围绕“知识”技术在以太坊中的应用,特别是“秘密领导者选举”(Secret Leader Election,简称SLE)项目。该项目旨在解决当前以太坊信标链中存在的潜在拒绝服务攻击(DDoS)问题,攻击者可以通过识别验证者的...

文章 隐私保护的监管解决方案

_编辑注:以下是论文“使用知识证明的隐私保护监管解决方案”的全文。下载 [PDF](https://a16zcrypto.com/wp-content/uploads/2022/11/ZKPs-and-Regulatory-Compliant-Privacy.pdf),或在此处阅读简短的摘要博客文章 [here](https://a16zcrypto.com/achieving-crypto...

文章 不同类型的 ZK-EVM

...### 缺点:证明者运算时间(prover time) 以太坊原生不以知识证明基础构建,所以有 **许多** 以太坊固有元件,若要作知识验证,需要消耗庞大的运算时间。第 1 类 ZK-EVM 为求完全复制以太坊运作,因此没有避开低效率的证明...

文章 知识证明 - Coda SNARK挑战(Stage1)

...章。最近好多朋友都在关心我,有没有参加Coda举办的知识证明的挑战?必须的。不光为了奖金,整个挑战的内容本身也是好的学习材料。不光是我,整个团队都在梳理理论,GPU实现优化,小伙伴们都太给力了:) 说个题外话...

文章 Solana上的隐私转账:开发者指南

... 在本指南中,我们将: - 解释隐私转账扩展的基本知识以及隐私余额的工作原理。 - 高级别地看一个示例隐私交易的流程。 - 逐步讲解促成交易的账户结构。 - 查看实际需要执行转账的指令。 ### 你将需要什么 - 对 [S...

文章 知识证明的先进形式化验证:如何证明知识内存

...ockchain.cn/attachments/2024/09/y8jZ2RaW66e4010f3b501.png) 在关于[知识证明的先进形式化验](https://mp.weixin.qq.com/s?\__biz=MzU5OTg4MTIxMw==\&mid=2247502807\&idx=2\&sn=78500f419cac74bcaed529ac7f739c9b\&scene=21#wechat_redirect)证的系列文章中,我们已经讨论了[如何...