[发明专利]针对marlin零知识证明协议的矩阵计算装置、方法及设备

权利要求书

1.一种针对marlin零知识证明协议的矩阵计算装置，其特征在于，所述装置包括：

数据存储器，用于存储marlin零知识证明协议中的第一电路矩阵A、第二电路矩阵B和第三电路矩阵C；

矩阵编码器，用于根据电路矩阵A、B、C的稀疏性特点，以及所述marlin零知识证明协议中的运算需求，分别对电路矩阵A、B、C进行行列位置索引编码，得到电路矩阵A、B、C的行列索引信息，并将每个所述行列索引信息存入所述数据存储器；

有限域数据计算器，用于根据所述运算需求，按照每个所述行列索引信息读取相应电路矩阵中非零元素的位置信息和数值信息，进行有限域的矩阵计算。

2.如权利要求1所述的针对marlin零知识证明协议的矩阵计算装置，其特征在于，所述矩阵编码器具体用于：

遍历电路矩阵M每一行、每一列的非零元素个数，其中，M∈{A,B,C}；

根据遍历结果构建第一存储表、行指针数组、第二存储表和列指针数组，其中，所述第一存储表存储所述电路矩阵M每一行非零元素的列号和非零数值，所述行指针数组中的指针指向所述第一存储表中存储的所述电路矩阵M对应行的首个非零元素，所述第二存储表存储所述电路矩阵M每一列非零元素的行号和指向所述第一存储表中对应非零数值的指针，所述列指针数组中的指针指向所述第二存储表中存储的所述电路矩阵M对应列的首个非零元素；

基于所述第一存储表、所述行指针数组、所述第二存储表和所述列指针数组得到所述电路矩阵M的行列索引信息。

3.如权利要求1所述的针对marlin零知识证明协议的矩阵计算装置，其特征在于，所述矩阵编码器具体用于：

遍历电路矩阵M每一行、每一列的非零元素个数，其中，M∈{A,B,C}；

根据遍历结果构建第一存储表、行指针数组、第二存储表和列指针数组，其中，所述第一存储表存储所述电路矩阵M每一行非零元素的列号和指向所述第二存储表中对应非零数值的指针，所述行指针数组中的指针指向所述第一存储表中存储的所述电路矩阵M对应行的首个非零元素，所述第二存储表存储所述电路矩阵M每一列非零元素的行号和非零数值，所述列指针数组中的指针指向所述第二存储表中存储的所述电路矩阵M对应列的首个非零元素；

基于所述第一存储表、所述行指针数组、所述第二存储表和所述列指针数组得到所述电路矩阵M的行列索引信息。

4.如权利要求2或3所述的针对marlin零知识证明协议的矩阵计算装置，其特征在于，所述有限域数据计算器的数量为多个，且多个所述有限域数据计算器并行设置。

5.如权利要求4所述的针对marlin零知识证明协议的矩阵计算装置，其特征在于，针对电路矩阵点乘输入向量的情况，每个所述有限域数据计算器负责所述电路矩阵的多行与所述输入向量的点乘计算，所述有限域数据计算器在进行所述电路矩阵的第u1行与所述输入向量的点乘计算时，具体用于：

初始化第一结果向量的每个位置值为0，根据所述行指针数组和所述第一存储表得到所述电路矩阵第u1行每个非零元素的列号和非零数值，并根据所述第u1行每个非零元素的列号得到所述输入向量对应的数值，以及将非零数值与对应的输入向量数值进行有限域乘法计算，并与初始化的所述第一结果向量中对应位置值进行有限域加法计算。

6.如权利要求4所述的针对marlin零知识证明协议的矩阵计算装置，其特征在于，针对输入向量点乘电路矩阵的情况，每个所述有限域数据计算器负责所述输入向量与所述电路矩阵的多列的点乘计算，所述有限域数据计算器在进行所述输入向量与所述电路矩阵的第u2列的点乘计算时，具体用于：

初始化第二结果向量的每个位置值为0，根据所述列指针数组、所述第二存储表和所述第一存储表得到所述电路矩阵第u2列每个非零元素的行号和非零数值，并根据所述第u2列每个非零元素的列号得到所述输入向量对应的数值，以及将非零数值与对应的输入向量数值进行有限域乘法计算，并与初始化的所述第二结果向量中对应位置值进行有限域加法计算。