内容简介 : 基于当前 Web 3 世界的快速发展,零知识证明在落地应用方面取得了快速进展。本书从技术原理和相关具体工程实现的角度对其进行介绍。本书第1章从总体上回顾了 Web 3 的发展,以及当前的表现形态,第2章和第3章从最简洁的数学层面向读者介绍了零知识证明是什么,以及如何构建零知识证明。第4章从技术层面介绍了 Web 3 世界中零知识证明的主流实现方案,第5章从应用层面介绍了零知识证明在 Web 3 世界中的一些典型应用,第6章介绍了零知识证明在其他领域的应用及展望。本书定位为科普读物,面向的读者包括但不限于 Web 3 领域的从业者、对零知识证明感兴趣的学生及业内人士。
内容简介 : 本书以Altera公司全新推出的Quartus Prime 18.1为设计平台,结合大量的实例来介绍基于Verilog HDL的FPGA/CPLD数字系统的设计方法。本书由浅入深地介绍了采用Quartus Prime 18.1进行数字系统开发的设计流程、设计思想和设计技巧。书中实例丰富,既有简单的数字逻辑电路实例、数字系统设计实例,也有复杂的数字控制系统设计实例。