简体中文版翻译日志

• 0527 ： 翻译了 序言
• 240524: 本书简体中文翻译工作开始。
  • PAZK-zh-CN翻译经验教训表明，目前简体中文技术书籍出版青黄不接，编辑甚至不接受$\LaTeX$排版。与其浪费精力“怒其不争”，不如自己动手，通过开放互联网、社区合作的力量，尽己之所能，给出满足互联网/AI时代技术人需求的内容，以飨读者。翻译过程以“边学边翻”为原则，谨慎使用机器翻译，尽量保持原文意思。
  • 新建文件夹zh-CN存放snargs-book-zh .tex/.cls文件，figs/font一并拷贝进入。由于上游库还在频繁更新，会定期sync并翻译新内容。主体部分应该已经稳定。
  • zh.cls中\RequirePackage{luatexja-fontspec} \setmainjfont{PingFang SC} 以使用PingFang SC字体正确渲染中文字体。
  • 修改了题目
  • 翻译了前言

Building Cryptographic Proofs from Hash Functions

A book by Alessandro Chiesa and Eylon Yogev.

Content

This book provides a comprehensive and rigorous treatment of cryptographic proofs based on ideal hash functions. This includes notable constructions of SNARGs (succinct non-interactive arguments) based on ideal hash functions. For example, STARKs (scalable transparent arguments of knowledge) are an example of such SNARGs.

We discuss several fundamental constructions, including:

• the Fiat–Shamir transformation;
• the multi-round Fiat–Shamir transformation;
• the Kilian transformation;
• the Micali transformation;
• the BCS (Ben-Sasson–Chiesa–Spooner) transformation.

We provide detailed security definitions, security proofs, and optimizations. Along the way, we also discuss Merkle commitment schemes in detail, which play an important role in several of the aforementioned transformations.

Security reductions have explicit error bounds, which enables setting security parameters in practice. In most cases our analyses are essentially tight, and we improve upon the fragmented and incomplete treatment of this material that exists in the literature. We adopt uniform terminology and notation throughout the book to highlight the relationships between the different constructions that we cover.

Overall, this book provides an auditable resource can help the community to ensure the cryptographic security of implemented systems.

Comments, suggestions, corrections

We welcome comments (positive or negative!), as well as suggestions or corrections. You can directly submit issues or pull requests to this repository (preferred) or simply email us directly (see emails on our personal homepages).

License

The source code of the book (and the book itself) is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License (CC BY-SA 4.0). Briefly, you are allowed to share and adapt the source code of this book, provided you give appropriate credit and indicate any changes; moreover, material derived from this book must carry the same license (or one compatible with it). See here for more on this license.

Compiling the book

We provide a Makefile to compile the book. We use LuaTeX with biber as the bibliography backend.

Citation

You can cite this book using the following template:

@book{ChiesaYogev2024,
  author = {Chiesa, Alessandro and Yogev, Eylon},
  title = {Building Cryptographic Proofs from Hash Functions},
  url = {https://github.com/hash-based-snargs-book},
  year = {2024},
}