?al.小凤的文章 - 登链社区

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

椭圆曲线点加法

本文详细介绍了椭圆曲线加法在实数域上的工作原理，通过群论的角度解释了椭圆曲线点的加法操作，并展示了如何在椭圆曲线上进行点加法的具体公式和几何解释。文章还包括了代码示例和数学公式，深入探讨了椭圆曲线的代数性质。

椭圆曲线群论点加法密码学实数域

RareSkills 发布于 2023-09-28 20:48 阅读(1902) 点赞(0)

有限域上的椭圆曲线

文章详细介绍了有限域上的椭圆曲线，包括它们的绘制、数学性质以及在密码学中的应用。通过多个示例和代码，展示了如何生成和操作这些曲线，并解释了其与有限域的循环群特性。

椭圆曲线有限域密码学循环群模运算 BN128

RareSkills 发布于 2023-09-21 21:52 阅读(1573) 点赞(0)

本文详细介绍了如何将R1CS（Rank 1 Constraint System）转换为QAP（Quadratic Arithmetic Program），并通过Python代码演示了实现过程，包括有限域算术、多项式插值等关键步骤。

RareSkills 发布于 2023-09-19 19:36 阅读(1275) 点赞(0)

Groth16 详解

本文详细介绍了Groth16零知识证明算法的原理、实现及其应用，包括可信设置、证明生成和验证的步骤，并讨论了防止伪造证明的方法以及算法中的安全问题。

Groth16 零知识证明椭圆曲线可信设置验证算法

RareSkills 发布于 2023-09-02 23:33 阅读(4847) 点赞(1) ( 2 )

本文详细介绍了如何在可信设置的基础上评估二次算术程序（QAP），并解释了如何在不泄露证据的情况下证明QAP的满足性，使用恒定大小的证明。同时还涉及了R1CS、椭圆曲线配对等技术的详细实现。

QAP R1CS 椭圆曲线配对可信设置 Groth16协议

RareSkills 发布于 2023-08-30 15:53 阅读(1986) 点赞(0)

二次算术程序

文章详细介绍了二次算术程序（QAP）的概念及其在零知识证明中的应用，特别是如何通过拉格朗日插值将Rank 1约束系统（R1CS）转换为QAP，并通过Schwartz-Zippel引理在O(1)时间内验证QAP的等式。

QAP R1CS 拉格朗日插值 Schwartz-Zippel引理零知识证明有限域

RareSkills 发布于 2023-08-25 16:13 阅读(1503) 点赞(0)

Solidity 的try/catch 语法和常见的语言中的表现不一样，try { } 块中的代码错误是无法被catch 的，这一点要小心要非常小心。

Solidity 错误处理

Tiny熊发布于 2023-08-04 23:03 阅读(5884) 点赞(0)

在深入理解 Solidity 错误"的第三篇，探索处理错误，本文将揭晓这问问题的答案：asset 错误会消耗所有 gas 吗？ require 提不提供错误字符有什么样的不同？外部调用的错误如何影响当前上下文？如何处理底层调用调用产生的错误？

错误处理 Solidity 区块链安全

Tiny熊发布于 2023-08-03 16:59 阅读(5951) 点赞(0)

在运行时错误是最常遇到的情况，你知道 Error 与 Panic 的细微差别吗？发生 Panic 错误真的会消耗所有的 gas 么，本文揭晓答案。

错误处理 solc Solidity

Tiny熊发布于 2023-08-02 16:19 阅读(5358) 点赞(0)

深入了解 Solidity 错误第二篇，了解编译器错误。

Solidity 错误处理

Tiny熊发布于 2023-08-01 12:03 阅读(6011) 点赞(0)