[译] 零知识证明 circom 及 snarkjs 入门教程

栏目: IT技术 · 发布时间: 5年前 · 141

在本教程里将指导您创建第一个零知识 zkSnark电路。它将介绍各种编写电路的技术，并向您展示如何创建证明并在以太坊上进行链外和链上验证。1. 安装工具 1.1 先决条件需要在电脑...

猜你喜欢:

本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。

可计算性和计算复杂性

朱一清 / 国防工业出版社 / 2006-4 / 18.0

本书深入浅出地介绍了研究可计算性的四个主要模型以及四个模型彼此之间的关系：介绍了计算复杂性的基本概念和重要的研究方法与一些研究成果。内容涉及递归函数、图灵机、λ演算、马尔可夫算法、计算复杂度的分类、NP完全理论、非一致复杂性等。分述于十章,书中附有习题。本书可作为广大有志于突破计算复杂性研究僵局——“P=NP？”的科技工作者,计算机科学和元计算机科学工作者,数学和元数学工作者以及大......一起来看看《可计算性和计算复杂性》这本书的介绍吧!

码农工具

RGB CMYK 转换工具

RGB CMYK 互转工具

HEX HSV 转换工具

HEX HSV 互换工具

码农 Tips

\documentclass{article}
 
\begin{document}
    Hello, World!
     
\end{document}