找到约 13 条结果

文章 以太坊基金会第六次Reddit AMA(下)

...最感兴趣的”月亮数学“密码学技术有哪些?下一个与知识证明家族一样具有革命性的事物是什么? **基金会 Justin Drake 回复:** "你们最感兴趣的”月亮数学“密码学技术有哪些?" 如果你对”月亮数学“和以太坊的交...

文章 基于 Espresso:对所有 L2(包括Based Rollups 的 L2 和 validiums)进行的临时共享排序

...状态在 HotShot 最终确认后永远不会改变。桥接可以通过知识证明或通过流动性提供者,流动性提供者简单接收一个 rollup 的资金并将其发送到另一个 rollup。最终确认工具不仅通过发出风险回溯较低的信号来降低流动性提供者的...

文章 万物代币化(RWA)!金融的未来,还是混乱的根源?

...是尖端技术)执行复杂的计算,但不需要用户的技术专业知识。这种无形的集成是成功采用的标志。通过消除准入壁垒,技术变得直观、普遍可及,并且仅仅是一种使用工具。 在加密货币领域,早期的努力侧重于构建一个全...

文章 Solidity 编译配置详解

...含和链接库的处理,每一部分都进行了全面的解析。这些知识对于理解和优化 `Solidity` 智能合约至关重要,不仅有助于提升合约的性能,也有助于增强其安全性和可维护性。 尽管合约编译配置复杂,但在多数应用场景中,使...

文章 CertiK Hack3D: Web3.0 年度安全报告(2024)

...了包含144条指令的zkWasm电路的形式化验证,首次完成了知识证明生态系统中的全面形式化验证工作。我们还将研究拓展至去中心化物理基础设施网络(DePIN)领域,帮助项目如APhone和Aethir降低安全风险。此外,我们为[福布斯202...

文章 标准创新赋能创意经济

...通用配置文件有潜力与各种现有技术(即,DID 和 VC,知识证明)协同作用,从而为用户创造更高级的体验。 ### 3.1 使用 DID 和 VC 增强身份 除了结构上的限制之外,目前为 Web3 提出的各种身份解决方案的另一个挑战是,尚不...

文章 Token策划注册表 1.0

...。这种做法的动机在于利用经过验证的策展人的行业专业知识来制作一个引人注目的基层注册者列表。 另一种方法可能是最初为 registry 的潜在消费者和候选人发放 registry tokens。这带给了原本不感兴趣的参与者以有形的益处,...

文章 2023 年 Web3 中最常见的 10 个漏洞

...系统,确保投票的完整性。这可能涉及使用加密技术、知识证明或多重签名方案来增强安全性。确保代币的公平和去中心化分配,避免投票权集中在少数实体手中。考虑使用代币归属或锁定期等机制来阻止短期操纵行为。确保...

文章 图文并茂解释工作量证明

...文译本](https://learnblockchain.cn/article/18320/)) —— Sztorc 的知识背景与其他人(比如我和 Poelstra)完全不同,而且他倾向于写长文(看哪我居然好意思说他),但我认为他绝对值得一读。 不论如何,近期的开发此类系统的尝试,...

文章 比特币上的有效性汇总

...已被使用过... > > **在这种情况下,很难想到如何应用知识证明。** > > 我们试图证明不存在某物,这似乎需要了解所有内容并检查是否未包含该物。 > > — 中本聪 [^1] ``` 自从比特币的创造者中本聪首次考虑如何使用知识 (zk)...

文章 密码学 - 暸解 Plonk

...ik](https://vitalik.ca/general/2019/09/22/plonk.html) [学习笔记 \| 知识证明算法之PLONK — — 电路](https://www.8btc.com/media/6587859) [Halo2:原理剖析](https://zhuanlan.zhihu.com/p/385134321) [深入瞭解 zk-SNARKs](https://medium.com/taipei-ethereum-meetup/%E6%B7%B1%E5%8...

文章 Circle FFT - 第一部分:构建圆形域(Circle Domain)

... STARK 友好素数之前,让我们首先回顾一下有限域的基础知识。 域是一个定义了加法、减法、乘法和除法(除以除外)的集合。当元素集合是有限的时,它被称为有限域。$\mathbb{F}_p$ 指的是从 0 到 $p−1$(其中 p 是素数)的...

文章 Chialisp - CHIP编号 | 0011

... 和 G2 点的目标群,定义为 `G1 x G2 → Gt` * **ZK 证明** - [知识证明](https://en.wikipedia.org/wiki/Zero-knowledge_proof),一方(证明者)可以向另一方(验证者)证明给定的陈述是真实的,同时证明者避免传递除该陈述确实属实之外的任何...