...用 DID（去中心化标识符）和 VC（验证凭据）以及 ZKP（零知识证明）\* 来加强身份或数据隐私。因此，自从 [OpenZeppelin](https://learnblockchain.cn/article/14157) 进行代码审计以来，ERC4337 重新引起了人们的兴趣，并且大量的项目正在迅速...
...redirect)是一种正在开发的隐私保护预言机协议，它利用零知识技术使机构和个人能够证明通证化RWAs的来源并验证其所有权，无需向第三方透露个人信息。 - [Chainlink Data Streams](http://mp.weixin.qq.com/s?__biz=MzU0MTgyMDQwNQ==&mid=2247499069&idx...
...的一个固有的新项目，其中来自特定团队的深厚领域专业知识和架构一致性优先于广泛的社区贡献。Firedancer 的提交分布显示了性能关键型金融基础设施项目的典型专注开发方法。 凭借其在高频交易方面的背景，Firedancer 团队致...
...比如所谓的 ZK-Rollup，是使用密码学证明系统（主要是零知识证明技术）来做计算完整性（computational integrity）的证明，简言之，如果相关证据能通过验证，就证明计算一定按照相关流程执行了。而比如 Optimistic-Rollup，则是使用经...
...有权参与音乐版税，从而确保收入的公平分配。 ### 5\. 知识产权 NFT 为保护知识产权提供了一个理想的平台。 创作者可以将他们的发明、设计和专利代币化，防止未经授权的使用并确保他们获得应有的荣誉和奖励。 ### 6\. 活动...
...如此受欢迎？在这篇博文中，我们将深入探讨 NFT 的基础知识，探索其关键特征、简史以及声名鹊起的过程。我们还将解决围绕这项创新技术的一些常见误解。 目录 [展开](https://blockapps.net/blog/demystifying-nfts-from-basics-to-blockchain/#...
...方可以完全预测生成的 Taproot Asset 树。拆分承诺和根资产证明将在证明文件中交付。完全价值发送也必须创建为拆分，发送者创建一个零价值的“拆分墓碑”输出，并将 NUMS 点作为脚本密钥（见下文）。 TODO(guggero): 一旦定义...
...们仍然不能确保它是正确的。然而，拥有一个形式系统来证明我们的代码是正确的(至少在某些方面是正确的)则是另一回事了。 ## Rust的方式 [Rust作为一种编程语言](https://www.rust-lang.org/en-US/)的不同之处，不是因为它的花哨语...
## 什么是 Cosmos？为什么使用 Cosmos？ Cosmos，所谓的区块链互联网，究竟是什么？简单来说，它是一个互操作的区块链网络。Cosmos SDK 为开发者提供了一个框架，使他们能够轻松创建自己的应用专用链，并通过跨链通信（IBC）协议...
...ayrush.medium.com/recipe-factories-ce78fa4c5f5b) * 指南：[用Z3定理证明器来做等价性检查](https://www.truscova.com/blog_article_2.php)，证明基于 Solidity 的 MulDiv 对于参考模型的正确性。 * [UniRep 协议](https://mirror.xyz/privacy-scaling-explorations.eth/FCVVfy...
...辈子都没机会再做了。 -- 练习曲[2006] “程序即类型证明” ### 类型系统的好处 - 允许编译器侦测无意义甚至无效的代码，暴露程序中隐含的错误。 - 可以为编译器提供有意义的类型信息，帮助优化代码。 - 可以增强代...
...研究通常可以分为微小的进步，这些进步稍稍建立在已有知识之上，以及开创性的发现，这些发现则开辟了全新的领域。集中资金体系自然优先考虑前者而非后者。在顶级期刊之外发表的大多数研究都提供逐步改进而非具有深远...
...器恶意攫取 MEV 和审查交易的问题。 Radius 采用基于零知识证明的加密方案「实用可验证延迟加密」（PVDE）来创建加密 mempool。加密 mempool 确保了排序器的无需信任，但单点故障风险仍然存在。如果运行单一排序器 + 加密 mempool...
...一种特定领域语言的编译器，也称为 "zirgen"，可为 RISC 零证明系统创建算术电路。 ### Vitalik辩论DeFi有感：1%开发者与90%交易者之间的沟通鸿沟 https://www.odaily.news/post/5198047 **Mark.R**: 正确的沟通对于任何社区的成功至关重要...