找到约 13 条结果

文章 理解群论

...配对依赖于处理笛卡尔积和域扩展的双线性映射。在为知识证明编写领域特定语言时,通常使用“域元素”或素数伽罗瓦域的元素进行计算。 下次再见。 >- 原文链接: [jtriley.substack.com/p/g...](https://jtriley.substack.com/p/group-th...

文章 Foresight Ventures: 去中心化身份与钱包体系-在web3 重新定义身份

...光学字符识别技术结合起来,完成 KYC 身份验证流程并知识存储上链。 ### **b. 认证层-大规模降低用户使用门槛** 目前大多数web3社交应用认证方式均为connect wallet,钱包则是依靠助记词进行公私钥登录, 或者mpc登录。想要...

文章 利用 Saga Ethlets 提高以太坊可扩展性

...承诺和证明的方式都不同。 ## ZK Rollups ZK rollups 利用知识 (ZK) 证明来表明所承诺的状态是有效的。在与生成要提交到以太坊的状态并行的情况下,ZK rollup 生成一个 ZK 证明。状态哈希和 ZK 证明都提交到以太坊。以太坊运行 ZK ...

文章 可信设置

...案有助于防止证明者作弊,并有助于保持他们的见证为知识。 >- 原文链接: [rareskills.io/post/trust...](https://www.rareskills.io/post/trusted-setup) >- 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还请包涵~

文章 事实注册合约

...前已呈现给合约。因此,**_isValid()_** 方法充当了一种 **_知识证明_**。 ![](https://img.learnblockchain.cn/2025/03/02/1OZJ5w987lngO2cWtqBx2Mw.png) 图1:数据流,分为不同阶段。在阶段(1)中,事实和相应的证人被传递到登记合约中,该合约...

文章 模块化区块链报告(2023年8月)

...1)。 STARK Prover 是 StarkWare 生态系统的核心,为计算生成知识证明。 自 2020 年以来,构建在 StarkEx 引擎上的产品,如 Immutable X、Sorare 和 dYdX,一直在使用 STARK Prover。 开源 STARK Prover 有望增强透明度并提高抵御漏洞的稳健性,因...

文章 人工智能代理:研究与应用

...智能研究,依赖于符号人工智能,使用逻辑规则和结构化知识表示来模拟人类推理。这些系统以结构化且可解释的方式进行推理,类似于人类的逻辑。一个突出的例子是基于知识的专家系统,旨在通过将领域专业知识编码到基于...

文章 Polygon AggLayer:革新多链用户体验

...8765) 的新概念。AggLayer 旨在通过聚合来自各种连接链的知识证明 (ZKP),从而实现安全和原子的跨链交易,从而在区块链生态系统中提供无缝的跨链基础设施,类似于 TCP/IP 对于 Web 的作用。这项创新旨在让用户体验与单个网络...

文章 解读下一代以太坊 L2(III):原生 Rollups

...在链外执行交易,并使用证明——无论是欺诈证明还是知识证明(ZKP)——来验证 Layer2 (L2)的状态并处理提款。 然而,存在一个重大挑战:以太坊本身不原生验证 EVM 执行,迫使 rollup 独立在链上实现自己的证明系统以验...

文章 意志与新兴的数据可用性谱系

...问题促使 DeversiFi 在其第一个 StarkEx 版本中的选择。将知识证明(ZKP)与加密结合的系统可以实现数据私有化。这可应用于 OND(Rollup)和 OFFD(Validium),以为用户提供更好的隐私。 OND:我们有一个在链上发布加密数据的设计...

文章 密码学战争迷雾

...也用于 VOT 中,以便接收者玩家 A 仅获得关于探测坐标的知识,并保证发现的内容代表玩家 B 的有效状态。 事实上,我们需要更强大的东西。 我们希望接收者选择要学习的消息也是可验证的。在我们的搜索和摧毁游戏玩法示例...

文章 Kako Oasis 保护隐私尽管存在 TEE 漏洞

...生延迟。这些缺陷限制了其在区块链网络中的使用。 知识协议 (ZKP) 不适合保护智能合约执行中的隐私,尤其是在数据来自多个来源的情况下。当证明者需要知道生成证明所需的状态但验证者不需要知道时,ZKP 才能工作——...

文章 利用Arbitrum和公允排序服务大幅提升DeFi生态的可扩展性,并消除MEV

...做的工作。这个证明会通过有效性证明(注:生成一个知识证明)或欺诈证明(注:回溯性证明根哈希是错误的)来进行验证。zkRollup采用的是有效性证明,而optimistic rollup采用的则是欺诈证明。 在optimistic rollup中,当生成...