An incomplete (and maybe incorrect) solution of the book *A Computational Approach to Number Theory and Algebra* by Victor Shoup.

相较于需要接收者的公钥对消息进行加密的传统公私钥加密方案，基于身份的加密允许用户使用消息接收者的ID加密消息，基于属性的加密进一步允许用户基于消息接收者拥有的属性加密消息。使得只有某个属性约束（Policy）被满足时用户才能解密该消息。

Shamir秘密共享被广泛应用于各种密码协议中。该协议实现了一种带有门限的秘密共享方案，即多方共同保管一个秘密，只有至少$k$方同意时，该秘密才能被揭示，否则任何一方都无法得知秘密。

我们将会在本文中讨论与智能合约中函数调用的一切。我们讨论的范围包括黄皮书中对合约调用的形式化规定，solc中对函数调用的处理，几种不同调用方式之间的区别与联系。

Merkle Patricia Tree是以太坊中的核心数据结构，我们使用Rust对其进行了实现，并且对其背后的理论基础进行了解读。

一些编译期前端的简单理论知识

AFL是一个用于源码级或者二进制层面进行模糊测试的工具，这里我们对AFL二进制层面模糊测试的源码进行分析。