hexens 的文章 - 登链社区

TA的文章 TA购买的 TA喜欢的 TA收藏的

本文对比了三种零知识虚拟机（zkVM）的领域特定语言（DSL）：Halo2、Zirgen 和 Plonky3，它们分别代表了不同的零知识系统开发哲学，从高级抽象到低级数学原语，通过比较它们的架构、数据模型和Fibonacci示例的实际应用，帮助开发者理解零知识证明领域，并根据特定需求选择合适的工具。

零知识证明 zkVM Halo2 Zirgen Plonky3 领域特定语言

发布于 16小时前阅读(75) 点赞(0) ( 3 )

以太坊邻近奖：Reed-Solomon码和MCA

以太坊基金会悬赏高达 1.11 亿美元，用于解决 Reed-Solomon 码的容量接近差距猜想，特别是其被称为互相关协议的强化变体。这个数学猜想是现代零知识证明的基石，尤其是在基于哈希的 SNARK 中使用的 FRI 和 WHIR 中。解决这个猜想将对整个区块链生态系统产生深远的影响。

Reed-Solomon 码零知识证明 FRI WHIR 互相关协议密码学

发布于 2025-09-09 17:12 阅读(14) 点赞(0)

交易者的代币风险扫描：Glider标记了20多种链上风险，而其他工具则遗漏了这些风险

文章主要介绍了Token Risks API，该工具旨在帮助交易者识别ERC20代币智能合约中存在的潜在风险，通过快速、深入和准确的扫描分析，Token Risks API能够检测20多种关键威胁，并提供风险评分、流动性及所有权状态以及合约风险等信息，从而帮助用户在交易前做出更明智的决策。

Token Risks API 智能合约安全风险扫描 ERC20 DeFi

发布于 2025-09-01 13:12 阅读(1) 点赞(0)

基于RLWE的多方同态加密：当多方计算遇见同态加密

本文介绍了多方同态加密（MHE）的概念及其与传统多方计算（MPC）的区别，MHE通过共享解密能力而非数据本身，实现了非交互式的计算过程，显著降低了通信开销和同步需求。文章深入探讨了基于MBFV的MHE协议，包括密钥生成、重线性化、密钥切换和自举等关键技术，并提供了一个使用Lattigo实现的具体示例，展示了MHE在实际应用中的潜力。

多方同态加密 MPC RLWE BFV 密钥切换同态加密 Lattigo

发布于 2025-08-27 12:52 阅读(0) 点赞(0)

广义 BFV 方案的实践

本文深入探讨了广义BFV（Brakerski-Fan-Vercauteren）同态加密方案，该方案通过使用多项式商环代替传统的整数明文模数，突破了经典BFV方案中数据吞吐量和计算深度之间的限制。该方案在噪声控制、深度缩放、结构化插槽以及引导解决方案等方面实现了显著改进，为隐私保护机器学习、安全数据库操作和加密分析等应用开辟了新的可能性。

同态加密 BFV 多项式商环噪声控制引导 GBFV

发布于 2025-08-14 17:46 阅读(1) 点赞(0)

一个密文，多个消息：FHE中的SIMD操作

本文深入探讨了全同态加密（FHE）中的单指令多数据（SIMD）操作，详细阐述了如何利用代数和数论的概念，特别是理想、商环、单位根、分圆多项式以及中国剩余定理，将多个明文值打包进一个密文中，并同时进行并行计算，从而显著提高FHE的效率，使其从理论走向实际应用。文章还探讨了如何通过Galois自同构和掩码技术实现数据的移动和旋转。

全同态加密 Simd 同态运算密码学单位根分圆多项式

发布于 2025-07-15 22:14 阅读(1) 点赞(0)