火火火的博客

原创 PlonK Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge学习笔记-4

4.SRS与门电路4.1 多方承诺对于在有限域 FP={0,1,...,p−1}F_P=\lbrace 0,1,...,p-1\rbraceFP​={0,1,...,p−1}上的多项式：f(x)=z0+,…,+zdxdf(x) = z_0 + ,…,+ z_d x^df(x)=z0​+,…,+zd​xd，发出一个承诺 cm(f)cm(f)cm(f)， $p $ 是一个很大的数， p≈2300≈(1000)30p \approx 2^300 \approx (1000)^{30}p≈2300≈(10

原创 PlonK Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge学习笔记-3

3. plonk 零知识证明视频来源：https://www.bilibili.com/video/BV1XZ4y1A7bU?p=3&share_source=copy_web3.1 多项式承诺多项式承诺：当我有一mmm,我发给V，发送后就不可以改变。前面讲到了用指数函数完成:对于 FP={0,1,2,..,p−1}F_P =\lbrace 0,1,2,..,p-1 \rbraceFP​={0,1,2,..,p−1}, 存在映射到 G={e,g,...,gp−1}G = \lbrace e

原创 PlonK Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge学习笔记-2

多项式与黑盒模拟prove1.域：有限域：FP=ZP={0,1,...,p−1}F_P=Z_P=\lbrace 0,1,...,p-1\rbraceFP​=ZP​={0,1,...,p−1} ,p个元素，满足加减乘除运算。有限域的乘法群：Fp=Zp∗={1,2,...,p−1}F_p = Z_p^* = \lbrace 1,2,...,p-1\rbraceFp​=Zp∗​={1,2,...,p−1}, p-1个元素，满足乘除运算。例如：​ p =2,3,5,7,​ 当p=2：F2={0,

原创 PlonK Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge学习笔记-1

PLONK 课程1. plonk的基本原理1.将数学运算化为多项式，之后再化为电路。2.多项式承诺（手上的一堆多项式，满足一定的关系：证明方发送给验证者，承诺发出后，多项式不可以再改变）。零知识证明基本原理：证明R(x,w) = 1. x :是数学问题，w是问题的解。证明方P找到了解w,向验证方V证明拥有w。电路中门的分类：加法门、乘法门和常数门。2. plonk 处理门的方案：​QL∗a+QR∗b+QO∗c+QM∗a∗b+QC=0Q_L*a + Q_R*b + Q_O*c + Q_M

原创 安装torchtext mac OS

方法一：使用如下命令安装torchtextpip install https://github.com/pytorch/text/archive/master.zip方法二：conda search torchtext运行命令后，提示如下：Loading channels: done# Name Version Build Channeltorchtext ...

原创 Windows 环境下python安装 itchat 包

1.首先安装了python-3.5.4rc1-amd64.exe，安装路径为C:\Program Files\Python35。    安装包链接，点击。2.打开菜单，手动输入cmd，弹出cmd.exe邮件以管理员身份运行。按照下面图片中的内容运行，即可。

原创 IDEA中运行.dll（JNI）

java中调用C语言，使用软件：visual stdio 2013  、IDEA出现错误：# A fatal error has been detected by the Java Runtime Environment:##  EXCEPTION_ACCESS_VIOLATION (0xc0000005) at pc=0x00007ffe9fcf2b22,

原创 把自己的代码并入 Linux 源码树

原创 Linux字符设备驱动（blackhole）

题目：       实现一个名字为 blackhole 的设备：从该设备读不到任何数据，却可以写入任意多的数据。实验结果         由实验截图可以看到，编译好代码后，安装设备，在文件系统里创建设备对应的文件后，进行读写操作。不论写入多少字符，从文件中都读不出来，实现了“黑洞”的功能。代码      http://download.c

原创 编写Linux内核模块实现阶乘

题目：      编写一个内核模块，用递归的方法计算一个数的阶乘。先用较小的数字 (例如 3) 验证程序的正确性，然后用较大的数字（例如 100000）实验，看会发生什么，并解释观察到的现象。实验结果分析      在进行递归的方法计算 100000 的阶乘的时候，代码编译完成后，加载内核，电脑瞬间卡死，CapsLk 键不停的闪烁，鼠标没有反应。第一次等待了近两个小时，

原创 编译镜像(映像).img文件

编译方法一1、  使用nask编译器编译，命令为..\z_tools\nask.exeos.nas os.img 2、  编译成功编译方法二使用notpad++软件，编辑好代码后点击存储，手动将文件后缀名改为.img文件，存储。也可以直接导入软盘使用。