...非常强大的一个数学工具。配对给我们带来了最简洁的零知识证明，最高效的门限签名，第一个可用的身份基加密（IBE）方案，以及其它很多高效的密码系统。本文中，我将介绍一点配对的性质，其密码学应用和令人着迷的历史...
...证稀疏多项式 $p$ 与稠密多项式 $q$ 之间的一致性。 * 证明者提供 $p: {0,1}^k \times {0,1}^n \to \mathbb{F}$ 和 $q: {0,1}^m \to \mathbb{F}$。 * 定义映射函数 row(i), col(i)，其中 $M = 2^m$ 是非零元素的个数。 * 验证者选择随机值 $Z_r, Z_c \in \mathbb...
...者检查一个向量是否包含在另一个向量中。 - **改进的零知识证明：** 通过优化和用于紧凑公钥加密的专用参数集，承诺大小以及证明和验证时间都已减少。 更多详细信息和基准测试可在文档中找到。 - **优化了 GPU 上的密钥切...
...有些则不然。因此，让我们仔细看看： 1. ZKML 代表零知识机器学习，它使用 ZK 证明来确保 AI 模型的执行已正确完成。EVM++ 具有 ZK 生成和验证 sidecar，因此开发人员可以原生实现此类型。 2. OPML 代表乐观机器学习，它假定...
# **TON 区块链系列课程一** # **区块链基础知识介绍:以 TON为例** ## **系列介绍** TON 区块链系列课程是由 **TON Foundation 与 TownSquare Labs** 发起，与OpenBuild、Tintinland、登链社区共同推广的结构性系列课程。课程采用结构化的设计...
...种称为 Orb 的硬件生物识别设备进行眼部扫描，并通过零知识证明在保护隐私的方式中进行身份验证。World ID 建立了个人身份的可验证和防篡改记录，减少身份欺诈或冒充的可能性。 - [**PolygonID**](https://polygonid.com/) **：** Polygon...
...调扩展解决方案（Layer2s、数据可用性）、隐私增强（零知识）和用户体验改善（账户抽象），为广泛采用做准备。现在比以往任何时候都更加明显地需要现实世界的大规模应用。致力于合规的交易所和 ETF 进入传统市场等举措取...
...安全的（虽然在某些环境下省略生成 NIZK（诚实参与者零知识）证明的额外步骤是安全的，就像在 DLC 里那样）。注意，虽然这种 ECDSA 适配器签名方案的存在意味着我们可以立即开始开发这样的统一通道和 PTLC，但 Schnorr 适配器...
...会，还是为新项目设计代币经济学，掌握代币速度的基础知识对于在快速发展的区块链领域做出明智的决策至关重要。 * * * 准备好探索代币速度的实际应用了吗？开始你的代币化资产之旅： - [在 Mercata Marketplace 上发现真实世...
...。可配置智能合约隐私保护框架，通过结合编程语言、零知识证明、可信执行环境等技术，实现从用户智能合约到隐私合规代码的端到端解决方案。 【行业研究】 区块链的信息安全、数据计算和个人资产管理产品的产品功...
...服务方进行处理，该服务运行计算，仅发布结果（以及零知识证明以证明结果，因此受信方仅因隐私被信任），或者通过[多方计算](https://blog.ethereum.org/2014/12/26/secret-sharing-daos-crypto-2-0/)分散同样功能。这样的方案无法完全解决共...
...国的笔记》**_ 形式验证使用数学模型和计算机算法来证明或反驳系统设计是否符合表示为属性的正式规范。形式验证是计算机科学的一个成熟领域。鉴于一个程序，我们希望像证明数学定理一样证明该程序是正确的并在预期...
...气，了解对方所采取的行动。数据会采用一种叫作“[零知识证明应用](https://blog.chain.link/what-is-a-zero-knowledge-proof-zkp/)”的隐私保护技术来储存，只有协议相关方才能理解数据的真实意思。这个证明可以作为企业流程状态的统一参...
...受损数据集的集中暴露。 ### 3\. 模型提取与反转：窃取知识产权 通过 API 暴露的 AI 模型容易受到提取攻击，攻击者通过大量查询来重建模型。 **常见技术：** - **模型提取：** 近似黑盒模型的决策边界。 - **成员推断：*...
...高了 **rollup** 之间的互操作性和可组合性。它采用基于零知识的欺诈证明 (ZKFP) 系统，该系统结合了欺诈证明和有效性证明系统的优点，解决了传统证明系统存在的用户体验问题。Layer N 由名为N-EVM的EVM **rollup**、名为Nord的 **orderb...