本文详细介绍了高级密码学中的基本概念,包括群、有限域、椭圆曲线和配对。这些概念在设计和实现数字签名方案、多方计算(MPC)和零知识证明(ZKP)等高级协议中起着核心作用。文章通过数学定义、属性和示例,帮助读者深入理解这些密码学原语。
文章介绍了Binius,一种在二进制域上高效生成证明的系统,详细解释了其技术原理、实现方法及其相较于SNARKs和STARKs的优势。
本文详细介绍了快速傅里叶变换(FFT)的原理及其在多项式乘法和多点评估中的应用,特别是在有限域中的实现。文章还提供了相关的代码示例,展示了FFT在计算中的高效性。