.png){kind=icon}
返回
Study of Arithmetization Methods for STARKs
.png){kind=icon}
OA
AI
DOI：10.1007/s00145-025-09567-0.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
本文探讨了STARKs中计算完整性声明的算术化处理的两种解决方案，即代数中间表示（AIR）及其预处理变体（PAIR）。研究随后聚焦于它们对Reed-Solomon邻近测试的可靠性影响。通过比较这两种方法，提供了它们的理论基础，并推导了低阶邻近测试的阶数界限。研究表明，使用PAIR会增加Reed-Solomon邻近测试的阶数界限，从而影响其可靠性和复杂性。然而，通过使用多个选择器列来降低阶数界限的可能性也得到了探索，即采用基于选择器值分解的方法。聚焦性能优化，该工作通过定性比较两种算术化方法各组件的计算需求，特别是它们对低阶扩展的影响。论文得出结论：虽然PAIR可能简化约束执行，但它可以轻松转换为AIR，且需要通过系统测试和基准测试来确定特定应用场景下哪种方法更优。这项工作应能揭示每种方法的优缺点，帮助STARKs领域的研究人员和从业者做出明智的设计选择。
Keyword:
STARKs
Arithmetization
AIR
Preprocessed AIR
RPT
Degree bound
Selector columns
期刊
J
IF:
2.2
论文数:
29
被引数:
2.5K
.png){kind=icon}
没有更多内容