hfhe(超图上的pvac)预备介绍 人们经常问我们在做什么,以及这与lwe有什么不同,如果我们简要而直接地回答,可以归结为几个主要论点:我们在有限域上实现了一种大规模超图编码构造,我们的计算通过质量的总和进行编码,并通过crv和质量带(“merkle化”承诺 + 奇偶性/一致性检查)进行验证,我们没有lwe问题,没有相位噪声,也没有其引导,质量权重存在于域中,数据可靠性是通过超图结构的本质(大圈长,高稀疏性)加上关联机制来实现的,我们的“引导”是ubk置换和零混合,这与使用lwe的同事们的引导不同——我们的方法不会改变“噪声预算”,它只会消除相关性并重置操作深度,同时保留继续计算的能力。 这是一种完全不同的计算范式,对于lwe来说,它是通过cbs -> cmux树来减少引导的关键路径数量,而对于我们来说,关键路径是超边的构造,加法和乘法是可交换的,并且可以轻松地在边和字之间并行化,这更接近代数而不是逻辑电路。 我们在伪随机高度稀疏结构和大圈长的测试上构建安全框架,这完全是一个不同的世界,远离格,位于超图和着色的领域,例如,具有大圈长的着色表明,在可理解的约束下,随机构造仍然良好(在超图理论的背景下,例如lovasz局部引理风格的界限),即使面对微不足道的依赖关系,这种启发式方法支撑着这些结构的生成。乘法掩码的深度通过折叠进行控制,正确性通过带证明进行认证。我们没有标准的lwe约简。
3.6K