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

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

二次算术程序

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

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

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

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

Solidity 错误处理

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

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

错误处理 Solidity 区块链安全

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

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

错误处理 solc Solidity

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

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

Solidity 错误处理

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

深入了解 Solidity 错误 #0

深入了解 Solidity 错误第一篇, EVM 中的错误分类。

EVM Solidity 错误处理

Tiny熊发布于 2023-07-28 17:26 阅读(4194) 点赞(0)

这篇文章深入探讨了双线性映射（bilinear pairings）的原理及其在密码学中的应用，特别是在验证乘积的离散对数时。

双线性映射离散对数椭圆曲线以太坊预编译 G1 G2

RareSkills 发布于 2023-07-20 11:43 阅读(1361) 点赞(0)

文章详细介绍了如何将一组算术约束转换为Rank One Constraint System (R1CS)，涵盖了转换中的优化和Circom库的实现方法。

R1CS 算术电路 circom Modular Arithmetic 零知识证明

RareSkills 发布于 2023-07-13 23:24 阅读(1881) 点赞(0)

继续深入了解EVM ，本文探究一下智能合约的字节码

EVM EVM字节码智能合约

翻译小组发布于 2023-02-27 10:52 阅读(7413) 点赞(1) ( 2 )

深入了解 Solidity - 堆栈

探讨 EVM 堆栈机器，以及如何在堆栈中推入和弹出数据

EVM

翻译小组发布于 2023-02-20 15:09 阅读(5496) 点赞(1) ( 2 )