A Fast R1CS Normalization Method Based on Parameter Vectors

doi:10.1007/978-981-96-8892-0_26

A Fast R1CS Normalization Method Based on Parameter Vectors

2026-01-01

0

PRE

AI

DOI：10.1007/978-981-96-8892-0_26

原文链接

原文求助

摘要

En 中文

近年来，区块链的发展日益繁荣。与传统的集中式交易系统相比，区块链提供去中心化、改进的安全性和增强的透明度，从而降低成本并提高交易效率。区块链中常用的工具之一是秩-1约束系统（R1CS）。通过提供实现零知识证明的更简洁方法，R1CS进一步提升了区块链的可扩展性和安全性。本研究的目标是标准化R1CS，使任何约束组合都能转换为统一格式。此外，它能够将看似不同但本质上相似的R1CS约束集合并为一个新R1CS集，从而消除过程中的重复R1CS集并提高零知识证明创建后续步骤的效率。本研究提出了一种简洁的R1CS约束集标准化方法。对于任何R1CS约束集（包含三个矩阵A、B、C、解向量及其对应参数向量），无论原始问题由单变量或多变量表示，均可转换为唯一的标准化表示。研究利用符号和方程运算确定实际求解问题，并将各种潜在等价的R1CS约束集合并为一个。此外，我们使用流程图说明R1CS约束集标准化的过程。在实验部分，每个实验组进行了九种不同的等价变换。结果显示，所有变换均可成功转换为唯一的R1CS约束集表示。与以往的相关研究相比，R1CS标准化所需时间显著减少。

Keyword:

Zero-knowledge Proof

R1CS

Normalization

A Fast R1CS Normalization Method Based on Parameter Vectors

摘要

期刊

机构

引用论文