RareSkills 的文章 - 登链社区

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

对数大小的承诺证明

本文详细阐述了如何在零知识证明（ZKP）中通过递归折叠的方法，减少向验证者传输的数据量，从而高效地证明内积和向量的承诺。文章包括算法的详细描述、数学推导和代码实现。

零知识证明内积递归折叠向量承诺 Bulletproofs

发布于 2024-11-02 13:43 阅读(935) 点赞(0)

向量承诺的简洁证明

文章介绍了如何在不发送整个向量的情况下，证明已知 Pedersen 向量承诺的开启，并详细描述了算法的实现和安全问题。

Pedersen Commitment inner product outer product Zero Knowledge verifier prover

发布于 2024-10-31 12:33 阅读(1619) 点赞(0)

内积的零知识证明

本文详细介绍了如何在零知识证明中构造内积证明，通过向量多项式和内积计算，展示了如何在不泄露原始数据的情况下证明内积计算的正确性。文章还提供了相关算法的具体实现步骤，并指出如何进一步优化证明大小。

零知识证明内积证明向量多项式 Hadamard积椭圆曲线密码学证明优化

发布于 2024-10-30 20:30 阅读(907) 点赞(0)

存储中的数组

文章介绍了在Solidity中如何操作存储中的数组，包括添加、删除元素以及获取数组长度等操作，并提供了相关的代码示例和解释。

Solidity 数组存储 push pop Remix

发布于 2024-10-29 20:58 阅读(759) 点赞(0)

零知识乘法

文章详细介绍了如何使用多项式承诺方案在零知识证明中验证多项式乘法的正确性，包括算法步骤和优化方法，并附有代码实现。

多项式承诺零知识证明 Schwartz-Zippel Lemma 椭圆曲线 Pedersen承诺有限域

发布于 2024-10-28 10:50 阅读(915) 点赞(0)

BulletProofs 详解

该文章深入探讨了Zero Knowledge Bulletproofs的概念，详细介绍了其原理、实现及应用。文章结构清晰，搭配丰富的数学公式和代码块，适合希望了解零知识证明的开发者和研究者。

Bulletproofs Zero Knowledge Pedersen Commitment Inner Product Proof cryptography Range Proof

发布于 2024-10-26 11:37 阅读(1021) 点赞(0)

Solidity 复杂类型状态变量在 EVM 中存储布局

全面理解复杂类型的存储布局

EVM 存储布局

发布于 2024-10-15 16:42 阅读(2055) 点赞(2) ( 135 )

Rust不寻常的语法

本文详尽地介绍了 Rust 的所有权、借用及其相关概念，包括 Rust 的复制类型、可变性、泛型、Option 和 Result 等内容。通过示例代码，深入解释了 Rust 的独特语法和其内在逻辑，尤其适合有 Solidity 或 JavaScript 背景的开发者。此外，文章结构清晰，包含代码示例和必要的注释，帮助读者更好地理解 Rust 编程语言。

Rust 所有权借用泛型 Option Result

发布于 2024-10-10 19:54 阅读(1055) 点赞(0)

Solidity 初学者常见的 20 个错误

Solidity 初学者常见的 20 个错误

Solidity 最佳实践

发布于 2024-10-10 16:16 阅读(2573) 点赞(2) ( 122 )

Curve StableSwap中的get D()和get y()

这篇文章详细介绍了Curve StableSwap中的get_D()和get_y()函数的数学推导过程，分析了如何通过牛顿法计算流动性池的D值，以及如何在保持平衡的条件下调整代币的值。文章深入探讨了StableSwap的不变量公式，并与实际代码进行了对比，有助于读者理解流动性池的工作原理和算法优化。

StableSwap get_D get_y 牛顿法流动性池不变量

发布于 2024-09-28 11:48 阅读(664) 点赞(0)