RareSkills 的文章 - 登链社区

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

UUPS：通用可升级代理标准（ERC-1822）

UUPS Solidity

发布于 2024-09-04 21:35 阅读(2077) 点赞(0) ( 37 )

Solidity 编码规范

我们应当遵循的那些 Solidity 编码规范

Solidity 最佳实践

发布于 2024-09-03 17:47 阅读(1468) 点赞(1) ( 57 )

零知识证明之书

《The RareSkills Book of Zero Knowledge》是一本面向程序员的零知识证明教程，内容涵盖从基础数学到实际编码实现，旨在帮助程序员深入理解零知识证明，尤其是Groth16算法。

零知识证明 Groth16 zk-SNARK 密码学算术电路有限域

发布于 2024-09-01 13:36 阅读(469) 点赞(0)

文章详细介绍了Schwartz-Zippel Lemma在零知识证明（ZK-Proof）中的应用，通过多项式例子和Python代码展示了如何利用该引理进行多项式相等性测试和向量相等性测试。

Schwartz-Zippel Lemma 零知识证明多项式有限域 Python Lagrange插值

发布于 2024-08-28 23:21 阅读(639) 点赞(0)

同态映射

本文通过多个例子详细解释了同态映射的概念，并探讨了其在加密技术和零知识证明中的应用。文章结构清晰，分为简单和复杂例子两部分，并附有详细的数学公式和Python代码示例。

同态映射加密零知识证明代数结构群论有限域

发布于 2024-08-28 20:25 阅读(632) 点赞(0)

本文详细介绍了多项式承诺机制的原理和实现，特别是如何使用Pedersen承诺和椭圆曲线来验证多项式在特定点的估值，而不泄露多项式本身。文章还讨论了验证步骤的工作原理和为什么验证者无法被欺骗。

多项式承诺 Pedersen Commitment 椭圆曲线验证离散对数证明

发布于 2024-08-28 19:46 阅读(555) 点赞(0)

程序员的基本群论

本文详细介绍了代数群的基本概念，通过多个例子帮助读者建立对群的直觉，包括群的定义、阿贝尔群、有限群、循环群等，并探讨了这些群在零知识证明中的应用。

发布于 2024-08-28 17:12 阅读(839) 点赞(0)

抽象代数

本文介绍了抽象代数中的基本概念，如群、半群和 Monoid ，并解释了它们在零知识证明中的应用。

抽象代数群论半群零知识证明二进制运算 Monoid

发布于 2024-08-28 13:52 阅读(531) 点赞(0)

从R1CS构建零知识证明

文章详细介绍了如何通过将Rank 1 Constraint System (R1CS)中的见证向量转换为有限域椭圆曲线点，并使用双线性配对来实现零知识证明。文中还讨论了验证步骤的实现细节，并指出了该算法在实际应用中的低效性。

零知识证明 R1CS 椭圆曲线双线性配对见证向量

发布于 2024-08-28 13:44 阅读(1176) 点赞(0)

使用Python实现拉格朗日插值

介绍了拉格朗日插值法，通过一组点计算一个经过这些点的多项式，并提供了Python代码示例。

拉格朗日插值多项式 Python 有限域向量

发布于 2024-08-28 12:10 阅读(632) 点赞(0)