多项式矩阵运算的亚线性通信验证协议
摘要：设计和分析用于验证环F[x]上的矩阵计算正确性的新协议。为了提高效率，并且因为我们要验证的许多属性是针对主理想域上的矩阵的，我们不能简单地依赖先前开发的针对域上的矩阵的线性代数协议。我们的协议是交互式的，通常是随机的，并且在Prover和Verifier之间进行了恒定次数的通信轮。我们致力于将通信成本最小化，以使协议期间发送的数据量明显小于要验证的结果的大小，这在组合协议或某些多方设置中非常有用。我们主要使用的工具是引用现有线性代数验证协议和一种新的协议，用于验证给定矩阵的F[x]-行空间中的给定向量。
作者：David Lucas, Vincent Neiger, Cl''ement Pernet, Daniel S. Roche, Johan Rosenkilde
论文ID：1807.01272
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2019-12-12