.png){kind=icon}
返回
Constraint-Efficient Comparators via Weighted Accumulation
.png){kind=icon}
PRE
AI
DOI：10.3390/math13243959.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
本文提出了一种针对比较两个二进制数进行验证的优化方法，该方法基于秩-1约束系统（R1CS）表示，这是一种可验证计算系统的标准框架。具体而言，我们分析了实现严格比较（形式为t>K）的不同策略，其中K是已知常数，t是比较的整数输入。首先，我们分析了一种词典序方法，尽管概念上简单明了，但由于其分支逻辑导致约束数量庞大。为解决这种低效性，我们引入了一种加权累积方法，该方法计算一个累加器，其符号决定比较结果。通过为位对分配位置相关权重，并通过二次约束公式化计算，该方法消除了分支逻辑，并显著减少了约束总数。为了验证我们的设计，我们在名为circom的R1CS编译器中实现了所描述的比较算法，从而能够实际生成和分析相应的R1CS约束系统。总体而言，所提出的设计不仅确保了正确性，还展示了如何通过仔细利用R1CS结构来优化约束设置。
Keyword:
verifiable computation
rank-1 constraint system
binary comparison
constraint optimization
期刊
IF:
2.2
论文数:
3.1K
被引数:
3.6W
机构
引用论文
.png){kind=icon}
分享收藏 没有更多内容
没有更多内容