本文是关于配对（Pairings）的深入探讨文章的第一部分，介绍了配对的基本概念，即一种将两个群的元素作为输入并输出另一个群元素的双线性映射。
本文深入探讨了Binius协议背后的核心数学原理，该协议利用布尔超立方体，并着重介绍了二元塔和域元素的表示，以及利用其与电路级运算的自然关系进行域元素的加法和乘法运算方法。文章还通过详细的例子，展示了如何在实践中利用二元塔进行高效的运算。
Frank Mangone
lambdaclass