优化Sumcheck协议

本文深入探讨了SUMCHECK协议的优化,特别关注由Bagad、Dao、Domb和Thaler提出的针对字段乘法不成比例成本的问题。通过分解多线性多项式的评估过程,将与验证者交互相关的昂贵操作与可预先计算的基域操作分离,从而显著提高效率。文章详细介绍了如何使用拉格朗日插值和idx4算法来优化预计算阶段,从而减少计算量并提高性能。

介绍

在本文中,我们将回顾对 SUMCHECK 协议的一些优化,正如 Bagad、Dao、Domb 和 Thaler 最近的文章中所讨论的那样。作者解决了 字段乘法成本不成比例 的问题。在许多 SNARK 应用中,sum-check 协议在 扩张域 上运行,这些扩张域比它们的 基域 大得多。虽然被求和或计算的实际值通常是“小的”(例如,32 位整数或较小基域的元素),但涉及来自较大扩张域的元素的乘法(large-large (ll) 乘法)比那些在较小基域内的乘法(small-small (ss) 乘法)昂贵得多。这种成本差异可能非常大,有时甚至数量级。

SUMCHECK 协议快速回顾

读者可能已经知道,SUMCHECK 协议是一种可验证计算和密码学中的基本交互式证明系统,最早由 Lund、Fortnow、Karloff 和 Nisan 在 1990-1991 年左右提出。我们将首先广泛地描述其目的和典型用法,然后我们将开始研究实现的细节,其中一些巧妙的观察可以带来性能的提升。熟悉该协议的读者可以安全地跳过第一节;那些想要快速复习的读者可以阅读。

SUMCHECK 协议的主要目的是让 证明者 (P) 说服 验证者 (V)多项式求值的大量和 等于一个特定的值,而无需验证者自己计算整个和。该和通常是针对 布尔超立方体 {0,1}l{0,1}l 中的所有输入,对于一个 ll 变量多项式 gg。

验证者的核心好处是计算工作量的大幅减少:验证者可以通过在所有 2n2n 个可能的输入处评估多项式来计算和。然而,使用 SUMCHECK 协议,验证者最终只需要在较大的有限域中一个随机选择的点上评估多项式。这个随机点是从一个比 \{0,1\ }^l\{0,1\ }^l “大得多的空间”中选择的。

协议通过证明者和验证者之间的一系列交互轮次进行:

1. 初始声明: 在开始时,证明者发送一个值 C1C1,声称它等于期望的和 HH。

2. 迭代缩减: 该协议涉及 nn 轮(其中 nn 是多项式中的变量数)。在每一轮 jj(从 1 到 ll)中:

- 证明者发送一个单变量多项式 gj(Xj)gj(Xj),声称它代表原始多项式的部分和,其中前 j−1j−1 个变量已被“绑定”到验证者在先前轮次中选择的随机值,而第 jj 个变量是自由的。这个过程在每一轮中“消除了求和中的一个变量”。

- 验证者对接收到的多项式执行一致性检查,特别检查当前多项式是否与前一轮中建立的值一致(例如,第一轮中的 C1=g1(0)+g1(1)C1=g1(0)+g1(1),以及后续轮次中的 gj−1(rj−1)=gj(0)+gj(1)gj−1(rj−1)=gj(0)+gj(1))。验证者还会检查 gj(Xj)gj(Xj) 的度数是否过高。

- 如果检查通过,验证者选择一个新的随机域元素 rjrj,并将其发送给证明者。这个随机选择用于概率性地验证证明者发送的多项式。

3. 最终检查: 在最后一轮 (ll) 中,证明者发送一个单变量多项式 gl(Xl)gl(Xl),它应该是原始多项式 gg,在到目前为止为前 l−1l−1 个变量选择的所有随机 rr 值处进行求值。然后,验证者选择一个最终的随机 rlrl,并直接在完整的随机点 (r1,…,rl)(r1,…,rl) 处评估原始多项式 gg,并将此结果与 gl(rl)gl(rl) 进行比较。如果所有检查都通过,则验证者接受初始和。

该协议的一个重要特征是 验证者的消息仅仅是随机域元素,独立于输入多项式 gg(除了需要其每个变量的度数的上限以及能够在随机点评估它)。

在深入了解内部机制之前,让我们谈谈符号。为了简洁起见,并使我们的生活更轻松,当变量的数量和涉及的维度从上下文中清楚时,我们将简化符号。在本文中,我们专注于 ℓℓ 个变量 X1,X2,…XℓX1,X2,…Xℓ 的多项式,但为了简单起见,我们采用

f(X1,X2,…Xℓ)=f(X)f(X1,X2,…Xℓ)=f(X)

作为标准符号。当这些 ℓℓ 个变量被分割时,我们也使用单个字母来表示它的肢,例如我们将 XX 分割成三个部分

(X1,X2,…Xℓ)=(Y1,Y2,…Yi−1,Xi,x′i+1,…x′ℓ)(X1,X2,…Xℓ)=(Y1,Y2,…Yi−1,Xi,xi+1′,…xℓ′)

我们简单地使用 (Y,Xi,x′)(Y,Xi,x′) 来减少繁琐的索引。

设置

作者关注 SUMCHECK 的一个特定设置,在各种上下文中很有用:他们将注意力缩小到多项式 gg (SUMCHECK 声明的对象) 可以写成 dd 个多重线性多项式的乘积的情况

g(X)=d∏k=1pk(X)g(X)=∏k=1dpk(X)

其中,多重线性多项式是指一个 ℓℓ 变量多项式,使得它的每个单项式具有以下特征:每个变量的幂要么是 0,要么是 1。这些多项式非常有用,并且以不同的形式出现在整个域理论文献中,最近又重新出现在 Ben Diamond 和 Jim Posen 的 BINIUS 工作中,成为有用的对象。对于不熟悉的读者,我们建议快速阅读我们关于这些对象的自成一体的入门指南多重线性多项式:基本生存指南

仔细观察

所考虑的优化的关键观察在于认识到证明者在第 i−thi−th 轮中发送的多项式:

si(Xi)=∑x′∈{0,1}ℓ−id∏k=1p(r,Xi,x′)si(Xi)=∑x′∈{0,1}ℓ−i∏k=1dp(r,Xi,x′)

实际上是变量 XiXi 上单变量多项式的和。多项式在证明者和验证者之间传递的方式通常是通过传递它们在一组适当的集合上的求值。从 sisi 在足够大的集合上的求值中,验证者能够从接收到的数据中重构多项式。

求值集应该有多大?嗯,这个问题在很多年前就被代数基本定理回答了:对于一个度为 deg(f)deg(f) 的多项式 ff,有 deg(f)+1deg(f)+1 个求值来完全重构其系数就足够了。因此,证明者需要向验证者发送 deg(si)i+1deg(si)i+1 个求值,现在问题变成了发送元素

si(u)=∑x′∈{0,1}ℓ−id∏k=1p(r,u,x′)si(u)=∑x′∈{0,1}ℓ−i∏k=1dp(r,u,x′)

对于至少 deg(si)i+1deg(si)i+1 大小的集合中的所有 uu。

关键见解

关键的见解是,对于每个 si(u)si(u) 求和的元素,即

d∏k=1pk(r,u,x′)∏k=1dpk(r,u,x′)

不仅是多重线性因子求值的乘积,而且:在每个被加数中都存在 不同类型的求值

i. 一方面,因子 pkpk 在其前 i−1i−1 个变量中,于 r=(r1,r2,…ri−1)r=(r1,r2,…ri−1) 处求值 - 这些求值涉及与验证者的交互,因为它们使用来自比布尔立方体大得多的空间的随机元素(通常是基域的域扩展),由验证者选择。这些挑战的表示和代数操作比基域要求的占用更多的内存和时间。在 BDDT 的上下文中,它们涉及 llll 和 lsls(large-large 和 large-small)乘法。

ii. 另一方面,我们有 uu,它仅仅是一个基域元素,并且因子 pkpk 在布尔超立方体 {0,1}ℓ−i{0,1}ℓ−i 中的点处的求值,对应于最后的 ℓ−iℓ−i 个变量:这些求值不需要与验证者的交互,并且至关重要的是,不涉及基域的扩展中的元素。这些被认为是 ssss 乘法,因为它们被认为是基域元素。

这个观察给出了以下想法:如果可以将这些求值解耦,那么可能会有一些改进性能的空间:不依赖于与验证者交互的求值可以作为预处理阶段的一部分离线完成,然后可以在线处理涉及随机挑战的求值......

好消息是,Bagad、Dao Domb 和 Thaler 通过巧妙地使用(再次)内插的概念成功地追求了这一系列想法:可以将多项式表示为 基内插多项式 的和,这些多项式可以 预先计算,更重要的是,可以在 基域 的任意大的子集上定义;然后,可以通过评估这些辅助多项式而不是原始多项式来计算对任何所需挑战的求值。

为了了解如何进行这种解耦,让我们举一个非常简单的例子。假设验证者要求我们在一个随机挑战 rr 处评估一个多项式 ff。为了具体起见,设

f(x)=2x2−3x+1f(x)=2x2−3x+1

以下是我们如何使用内插来执行此任务:由于 ff 的次数为 2,我们需要至少 3 个点来评估 ff。让我们选择集合

{0,1,2}{0,1,2}

首先,我们需要找到多项式 f(x)f(x) 中每个点的值

  • f(0)=2(0)2−3(0)+1=1f(0)=2(0)2−3(0)+1=1
  • f(1)=2(1)2−3(1)+1=0f(1)=2(1)2−3(1)+1=0
  • f(2)=2(2)2−3(2)+1=8−6+1=3f(2)=2(2)2−3(2)+1=8−6+1=3

其次,我们为集合 {0,1,2}{0,1,2} 构建 Lagrange 基:它有三个度为 2 的多项式

{L0,L1,L2}{L0,L1,L2}

就像规范基一样工作:每个基多项式 Lj(x)Lj(x) 具有特殊属性

Li(j)=1 if j=i,Li(j)=0 if j≠i,Li(j)=1 if j=i,Li(j)=0 if j≠i,

众所周知,用于生成此类多项式的 Lagrange 公式产生

  • L0(x)L0(x):(与 x0=0x0=0 关联):L0(x)=0.5x2−1.5x+1L0(x)=0.5x2−1.5x+1
  • L1(x)L1(x):(与 x1=1x1=1 关联):L1(x)=−x2+2xL1(x)=−x2+2x
  • L2(x)L2(x):(与 x2=2x2=2 关联):L2(x)=0.5x2−0.5xL2(x)=0.5x2−0.5x

这三个多项式构成了集合 {0,1,2}{0,1,2} 的 拉格朗日基

最后,Lagrange 多项式被构造为这些基多项式的加权和,其中每个权重是该函数在对应点的值。我们有

f(x)=f(0)⋅L0(x)+f(1)⋅L1(x)+f(2)⋅L2(x)f(x)=f(0)⋅L0(x)+f(1)⋅L1(x)+f(2)⋅L2(x)

这是

f(x)=1⋅(0.5x2−1.5x+1)+0⋅(−x2+2x)+3⋅(0.5x2−0.5x)f(x)=1⋅(0.5x2−1.5x+1)+0⋅(−x2+2x)+3⋅(0.5x2−0.5x)

现在我们准备观察 ff 可以表示为多项式组合(独立于 rr 的选择 并且相对于 ff 是辅助的),权重是 ff 在由证明者选择的基域点的求值。从这个意义上讲,这些标量的计算也独立于与验证者的交互,并且可以在预处理阶段完成。

只有在这个阶段,验证者才会移交随机挑战 rr,证明者不是通过评估 ff 本身而是通过评估基多项式LiLi 在 rr 处 来计算 f(r)f(r)

f(r)=f(0)L0(r)+f(1)L1(r)+f(2)L2(2)f(r)=f(0)L0(r)+f(1)L1(r)+f(2)L2(2)

关键点是:FF 在随机挑战上的求值将被转移到辅助多项式的求值,这些辅助多项式可以被预先计算,并将集中更多的计算负担。

当然,通过使用单变量 Lagrange 基的张量积,可以将此想法推广到多元多项式。例如,假设我们需要计算多项式

f(Y1,Y2)=Y1(2+Y2)2f(Y1,Y2)=Y1(2+Y2)2

作为 Y1Y1 中的多项式,它的次数为 1,作为 Y2Y2 中的多项式,它的次数为 2。我们现在将考虑在网格 {0,1,2}2{0,1,2}2 上内插 ff;下一步是找到与单变量 Lagrange 多项式起相同作用的二元多项式。毫不奇怪,如果我们考虑单变量基

{L0,L1,L2}{L0,L1,L2}

并定义 Li,j(Y1,Y2)=Li(Y1)Lj(Y2)Li,j(Y1,Y2)=Li(Y1)Lj(Y2),然后集合

L={Li,j:(i,j)∈{0,1,2}2}L={Li,j:(i,j)∈{0,1,2}2}

将验证

Li,j(a,b)=1 if ,(a,b)=(i,j),Li,j(a,b)=0 if ,(a,b)≠(i,j)Li,j(a,b)=1 if ,(a,b)=(i,j),Li,j(a,b)=0 if ,(a,b)≠(i,j)

所以

f(Y1,Y2)=∑(i,j)∈{0,1,2}2f(i,j)Li,j(Y1,Y2)f(Y1,Y2)=∑(i,j)∈{0,1,2}2f(i,j)Li,j(Y1,Y2)

向前推进

因此,在解释以下内容时,先前的讨论将在 SUMCHECK 协议中实现

d∏k=1pk(r,Xi,x′)∏k=1dpk(r,Xi,x′)

对于固定在布尔超立方体 {0,1}ℓ−i{0,1}ℓ−i 和 uu 在基域的方便子集中的 x′x′ ,作为多项式的求值

Fu,x′(Y1,Y2,…,Yi−1)=d∏k=1pk(Y,u,x′)Fu,x′(Y1,Y2,…,Yi−1)=∏k=1dpk(Y,u,x′)

在随机挑战 r=(r1,r2,…ri−1)r=(r1,r2,…ri−1) 处。同样,为了简单起见,我们将采用更合理的表示法

F(Y)=d∏k=1pk(Y,u,x′)F(Y)=∏k=1dpk(Y,u,x′)

同样在这一点上,我们将一般地假设每个因子 pkpk 实际上都包含 XiXi 作为一个变量;在这种情况下,证明者需要评估的多项式 si(Xi)si(Xi) 的次数为 dd,因此我们需要至少 d+1d+1 个元素的子集来评估这样一个多项式。

为具体起见,假设我们选择基域中具有 d+1d+1 个点的子集 UdUd。然后我们将考虑网格

Gg=Ud×⋯×Ud=UidGg=Ud×⋯×Ud=Udi

来构建我们的拉格朗日多元多项式 Lv(Y)Lv(Y) 与 v∈Gdv∈Gd。为简单起见,我们从网格的表示法中省略了 ii。

现在使用多元 Lagrange 基内插 FF 会将此 FF 转换为由具有小坐标的网格点 v∈Gdv∈Gd 索引的和,并用在基域元素处 FF 的求值加权

F(Y)=∑v∈GdF(v)Lv(Y)F(Y)=∑v∈GdF(v)Lv(Y)

现在在查看 si(u)si(u) 的时候,请记住我们需要在最后 ℓ−1ℓ−1 个坐标的超立方体上求和,并且 uu 现在是 XiXi 变量的求值。这里的关键是,我们意识到 超立方体上的求和与来自内插的求和很好地相互作用:我们现在将明确 F 与 uu 和 x′x′ 的依赖关系

si(u)=∑x′∈{0,1}ℓ−iFu,x′(r)=∑x′∈{0,1}ℓ−i∑v∈GdFu,x′(v)Lv(r)=∑v∈Gd⎛⎝∑x′∈{0,1}ℓ−iFu,x′(v)⎞⎠Lv(r)si(u)=∑x′∈{0,1}ℓ−iFu,x′(r)=∑x′∈{0,1}ℓ−i∑v∈GdFu,x′(v)Lv(r)=∑v∈Gd(∑x′∈{0,1}ℓ−iFu,x′(v))Lv(r)

从这个表达式中,我们能够看到为什么这种策略有效:要发送给验证者的期望值 si(u)si(u) 仅仅是预先计算的插值多项式的线性组合,涉及大的乘法(因为它们依赖于随机挑战),这些多项式由超立方体索引的总和加权,是预先计算的在基域网格向量上的取值,也就是 系数。

此线性组合中的系数称为 累加器,主要是因为它们是一个总和。对于每个固定的 v∈Gdv∈Gd 和 uu,则

∑x′∈{0,1}ℓ−iF(v)=∑x′∈{0,1}ℓ−1d∏k=1pk(v,u,x′)=Ai(v,u)∑x′∈{0,1}ℓ−iF(v)=∑x′∈{0,1}ℓ−1∏k=1dpk(v,u,x′)=Ai(v,u)

这些都不依赖于与验证者的交互,因此可以方便地离线处理。要计算的累加器的数量取决于多项式 si(Xi)si(Xi) 的次数度数,并且可以通过假设它是度度为 dd 的多项式来通用地解决该问题,或通过在每一轮中细化来决定有多少个因子确实包含感兴趣的变量。

优化预计算阶段

现在由于网格中元素的索引性质和系数的结构,仍然可以在预计算阶段完成大量工作。作者提出了一种称为 idx4idx4 的算法 - 简而言之,它是一种选择规则。它的功能是确定乘积项对哪些累加器 Ai(v,u)Ai(v,u) 有贡献,从而使该项只需计算一次,然后有效地重复使用。

目标:重用计算。 优化不是为每个累加器重新计算所有乘积,而是让每个 PP 只计算一次,然后将其分发给所有相应的累加器。idx4idx4 函数是决定“每个产品 PP 去哪里”的机制。

你可以将 idx4idx4 视为模式匹配或解构函数。它的工作是获取评估前缀 ββ,并查看它适合多少个有效的累加器模式。

  • 输入: 前缀 β=(β1,…,βl)β=(β1,…,βl),其中每个 βjβj 属于评估点集 UdUd。
  • 过程: 对于每一轮 ii(从 11 到 ll),idx4idx4 尝试将 ββ 分解为三个部分,这些部分与累加器 Ai(v,u)Ai(v,u) 的结构匹配:
  1. v=(β1,…,βi−1)v=(β1,…,βi−1):对应于先前几轮挑战的前缀。
  2. u=βiu=βi:当前轮 ii 的评估点。
  3. y=(βi+1,…,βl)y=(βi+1,…,βl):前缀的后缀。
    • 关键选择条件: 选择规则很简单:仅当后缀 yy 仅由 二进制值(0 和 1) 组成时,给定轮 ii 的解构才有效。如果 yy 中的任何元素是非二进制的,则前缀 ββ 不会贡献给任何轮 ii 的累加器。
    • 输出: 该函数返回可以从输入 ββ 形成的所有有效元组 (i,v,u,y)(i,v,u,y) 的集合。

此选择过程在预计算阶段进行,典型的流程如下:

  1. 该算法遍历每个可能的评估前缀 β∈(Ud)lβ∈(Ud)l。
  2. 对于给定的 ββ,它计算乘积项 P=∏dk=1pk(β,x′′)P=∏k=1dpk(β,x″)。
  3. 它调用函数 idx4(β)idx4(β) 以获取目标索引集 II。
  4. 最后,它遍历 II 中的每个元组 (i,v,u,y)(i,v,u,y) 并将 PP 的值添加到相应的累加器 Ai(v,u)Ai(v,u)。

内插的选择

我们的文章扩展了通过 Lagrange 插值分离不同类型的评估的一般原理。但是,BDDT 更深入地研究了细节并稍微修改了所涉及的插值基础,以利用 gg 的因子实际上是 多重线性 多项式这一事实。

作者提出的 Lagrange 内插的变体使用其在 dd 个不同点的评估加上其前导(最高度)系数来重构一个度为 dd 的多项式,而不是典型的 d+1d+1 个评估。该前导系数被称为 无穷大处的评估,并表示为 s(∞)s(∞)。

然后用于内插的公式变为:

s(X)=a⋅d∏k=1(X−xk)+d∑k=1s(xk)⋅L{xi},k(X)s(X)=a⋅∏k=1d(X−xk)+∑k=1ds(xk)⋅L{xi},k(X)

其中:

  • aa 是 s(X)s(X) 的前导系数,也表示为 s(∞)s(∞)。
  • x1,…,xdx1,…,xd 是 dd 个不同的评估点。
  • s(xk)s(xk) 是 s(X)s(X) 在点 xkxk 处的评估。
  • L{xi},k(X)L{xi},k(X) 是点集 {x1,…,xd}{x1,…,xd} 的第 k 个 Lagrange 基多项式。

让我们举一个例子,并表明这实际上成立。

玩具示例:2 次多项式

让我们取多项式 s(X)=3X2−5X+2s(X)=3X2−5X+2。在 BDDT 方法中,要完全编码该多项式,我们只需要 只有 2 个评估和前导系数

  1. 我们首先收集必要的信息:

    • 无穷大处的评估: 前导系数为 a=3a=3。因此,s(∞)=3s(∞)=3。
    • 评估点: 我们选择两个不同的点,例如,x1=0x1=0 和 x2=1x2=1。
    • 评估:

      a. s(0)=3(0)2−5(0)+2=2s(0)=3(0)2−5(0)+2=2

      b. s(1)=3(1)2−5(1)+2=0s(1)=3(1)2−5(1)+2=0

  2. 现在我们构造内插基:

    • 点 0,10,1 的 Lagrange 基多项式为:

      a. L1(X)=X−10−1=1−XL1(X)=X−10−1=1−X

      b. L2(X)=X−01−0=XL2(X)=X−01−0=X

    • 对于 d=2d=2 的内插公式为:s(X)=s(∞)⋅(X−x1)(X−x2)+s(x1)L1(X)+s(x2)L2(X)s(X)=s(∞)⋅(X−x1)(X−x2)+s(x1)L1(X)+s(x2)L2(X)
    • 代入值:

      s(X)=3⋅(X−0)(X−1)+2⋅(1−X)+0⋅(X)s(X)=3⋅(X−0)(X−1)+2⋅(1−X)+0⋅(X)

    • 简化:

      s(X)=3(X2−X)+2−2Xs(X)=3(X2−X)+2−2X

      s(X)=3X2−3X+2−2Xs(X)=3X2−3X+2−2X

      s(X)=3X2−5X+2s(X)=3X2−5X+2

      结果与原始多项式匹配。

出于实际目的,BDDT 专注于形式为 Ud={∞,0,1,2,…d−1}Ud={∞,0,1,2,…d−1} 的评估集来内插度为 dd 的多项式。

多项式乘积的 s(∞)s(∞) 计算

进行此修改的原因是多项式乘积的前导系数始终易于计算:分配律确保

s(X)=p(X)q(X)⟹s(∞)=p(∞)q(∞)s(X)=p(X)q(X)⟹s(∞)=p(∞)q(∞)

也就是说——乘积的前导系数是前导系数的乘积。此外,对于线性多项式 pi(X)pi(X),其前导系数可以计算为其在 1 和 0 处的评估之差:pi(1)−pi(0)pi(1)−pi(0)。

因此,公式为:

s(∞)=d∏i=1pi(∞)=d∏i=1(pi(1)−pi(0))s(∞)=∏i=1dpi(∞)=∏i=1d(pi(1)−pi(0))

示例:

设 s(X)=p1(X)⋅p2(X)s(X)=p1(X)⋅p2(X),其中:

- p1(X)=2X+3p1(X)=2X+3

- p2(X)=5X−4p2(X)=5X−4

  1. 计算每个因子的 pi(∞)pi(∞):
    • p1(∞)=p1(1)−p1(0)=(2(1)+3)−(2(0)+3)=5−3=2p1(∞)=p1(1)−p1(0)=(2(1)+3)−(2(0)+3)=5−3=2。(p1p1 的前导系数是 2)。
    • p2(∞)=p2(1)−p2(0)=(5(1)−4)−(5(0)−4)=1−(−4)=5p2(∞)=p2(1)−p2(0)=(5(1)−4)−(5(0)−4)=1−(−4)=5。(p2p2 的前导系数是 5)。
  2. 计算 s(∞)s(∞): s(∞)=p1(∞)⋅p2(∞)=2⋅5=10s(∞)=p1(∞)⋅p2(∞)=2⋅5=10
  3. 验证:

让我们将多项式相乘来明确地找到 s(X)s(X):s(X)=(2X+3)(5X−4)=10X2−8X+15X−12=10X2+7X−12s(X)=(2X+3)(5X−4)=10X2−8X+15X−12=10X2+7X−12

s(X)s(X) 的前导系数是 10,这证实了该规则完美运行。

  • 原文链接: blog.lambdaclass.com/opt...
  • 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还请包涵~
点赞 0
收藏 0
分享
本文参与登链社区写作激励计划 ,好文好收益,欢迎正在阅读的你也加入。

0 条评论

请先 登录 后评论
lambdaclass
lambdaclass
LambdaClass是一家风险投资工作室,致力于解决与分布式系统、机器学习、编译器和密码学相关的难题。