PQ-DAS 补充材料二：V3-ext 服务器基准测试结果

liumuhui 3小时前阅读数 1 #区块链

基准测试表格

这些表格报告了最新的 V3-ext 服务器扫描结果，采用与主报告相同的基准参数，但运行在更强的服务器上：AMD EPYC 9V74 处理器、32 个逻辑 CPU（16 核，每核 2 线程）、62 GiB 内存，并支持 AVX-512。下表记录了服务器端的吞吐量、耗时、证明大小、样本大小和 VM 计数器结果，以便与主报告中的本地 PC 测量结果进行对比。

表 1. Blob 大小扫描

固定参数：$\ell=1024$，$n=14$，打开的 cells $=19$，WHIR log 逆速率 $=1$。
变量参数：blob 大小，其中 $c$ 按比例缩放，使得 $\ell=m/c$ 保持不变。

Profile	Blob 大小	$k$	$m$	$c$	$\ell$	载荷	承诺大小	证明大小	样本大小	编码 + 提交	证明者预处理	LeanVM 证明	验证者重建	LeanVM 验证	验证打开	重建	VM 周期	Poseidon16 调用	ExtensionOp 调用	LeanVM 证明吞吐量	Full DAS 吞吐量	结果
`blob-ext-14`	1x	8192	16384	16	1024	2170 KiB	0.47 KB	417.67 KB	86.26 KB	0.023s	0.089s	2.057s	0.086s	0.051s	0.001s	0.029s	943222	152577	229376	1054.78 KiB/s	679.53 KiB/s	通过
`blob-ext-2x-14`	2x	16384	32768	32	1024	4340 KiB	0.47 KB	441.44 KB	169.14 KB	0.033s	0.112s	3.851s	0.111s	0.053s	0.002s	0.057s	1373302	295937	458752	1126.89 KiB/s	747.88 KiB/s	通过
`blob-ext-4x-14`	4x	32768	65536	64	1024	8680 KiB	0.47 KB	464.17 KB	335.61 KB	0.061s	0.161s	7.419s	0.161s	0.056s	0.004s	0.119s	2233462	582657	917504	1170.00 KiB/s	788.78 KiB/s	通过

表 2. 2x Blob 大小下的 Cell 大小扫描

固定参数：blob 大小 $=2x$，$n=14$，$k=16384$，$m=32768$，WHIR log 逆速率 $=1$。
变量参数：cell 大小 $c$，它会改变 $\ell=m/c$、$t=k/c$ 以及打开的 cell 数量。

Profile	$c$	$\ell$	$t$	打开的 cells	$\log_2\nu_{\rm rep}$	载荷	承诺大小	证明大小	样本大小	编码 + 提交	证明者预处理	LeanVM 证明	验证者重建	LeanVM 验证	验证打开	重建	VM 周期	Poseidon16 调用	ExtensionOp 调用	LeanVM 证明吞吐量	Full DAS 吞吐量	结果
`blob-ext-2x-c16-14`	16	2048	1024	29	-58.625	4340 KiB	0.47 KB	443.55 KB	131.83 KB	0.055s	0.175s	3.928s	0.170s	0.054s	0.002s	0.060s	1886326	305153	458752	1104.98 KiB/s	721.16 KiB/s	通过
`blob-ext-2x-14`	32	1024	512	19	-83.398	4340 KiB	0.47 KB	441.44 KB	169.14 KB	0.033s	0.113s	3.782s	0.112s	0.054s	0.002s	0.057s	1373302	295937	458752	1147.42 KiB/s	756.57 KiB/s	通过
`blob-ext-2x-c64-14`	64	512	256	14	-97.448	4340 KiB	0.47 KB	440.94 KB	246.90 KB	0.031s	0.085s	3.749s	0.084s	0.054s	0.002s	0.055s	1116790	291329	458752	1157.78 KiB/s	767.04 KiB/s	通过
`blob-ext-2x-c128-14`	128	256	128	11	-57.495	4340 KiB	0.47 KB	416.99 KB	386.32 KB	0.030s	0.080s	3.468s	0.080s	0.054s	0.003s	0.054s	988534	289025	458752	1251.33 KiB/s	806.22 KiB/s	通过

表 3. 2x Blob 大小下的行数扫描

固定参数：blob 大小 $=2x$，$c=32$，$k=16384$，$m=32768$，$\ell=1024$，$t=512$，打开的 cells $=19$，WHIR log 逆速率 $=1$。
变量参数：行数 $n$。

Profile	$n$	载荷	承诺大小	证明大小	样本大小	编码 + 提交	证明者预处理	LeanVM 证明	验证者重建	LeanVM 验证	验证打开	重建	VM 周期	Poseidon16 调用	ExtensionOp 调用	LeanVM 证明吞吐量	Full DAS 吞吐量	结果
`blob-ext-2x-1`	1	310 KiB	0.06 KB	329.96 KB	14.79 KB	0.010s	0.115s	0.492s	0.111s	0.044s	0.000s	0.040s	146529	20991	32768	630.39 KiB/s	314.08 KiB/s	通过
`blob-ext-2x-2`	2	620 KiB	0.09 KB	327.86 KB	26.82 KB	0.009s	0.110s	0.742s	0.111s	0.047s	0.001s	0.042s	241764	41983	65536	835.67 KiB/s	462.30 KiB/s	通过
`blob-ext-2x-4`	4	1240 KiB	0.16 KB	357.86 KB	50.48 KB	0.013s	0.111s	1.349s	0.111s	0.051s	0.001s	0.046s	432232	83967	131072	919.38 KiB/s	568.58 KiB/s	通过
`blob-ext-2x-6`	6	1860 KiB	0.22 KB	387.92 KB	74.32 KB	0.018s	0.112s	1.729s	0.112s	0.051s	0.001s	0.048s	650371	128001	196608	1075.53 KiB/s	666.33 KiB/s	通过
`blob-ext-2x-8`	8	2480 KiB	0.28 KB	380.83 KB	97.73 KB	0.021s	0.112s	2.564s	0.112s	0.053s	0.001s	0.050s	812144	167935	262144	967.32 KiB/s	645.25 KiB/s	通过
`blob-ext-2x-10`	10	3100 KiB	0.34 KB	384.35 KB	121.64 KB	0.026s	0.112s	2.859s	0.111s	0.053s	0.001s	0.053s	996506	216069	327680	1084.44 KiB/s	711.60 KiB/s	通过
`blob-ext-2x-12`	12	3720 KiB	0.41 KB	409.32 KB	145.36 KB	0.029s	0.113s	3.351s	0.111s	0.053s	0.002s	0.054s	1184904	256003	393216	1109.95 KiB/s	732.90 KiB/s	通过
`blob-ext-2x-14`	14	4340 KiB	0.47 KB	441.44 KB	169.14 KB	0.033s	0.113s	3.823s	0.111s	0.053s	0.002s	0.057s	1373302	295937	458752	1135.29 KiB/s	751.41 KiB/s	通过
`blob-ext-2x-15`	15	4650 KiB	0.50 KB	440.92 KB	180.98 KB	0.034s	0.113s	3.877s	0.112s	0.053s	0.002s	0.058s	1467501	315904	491520	1199.36 KiB/s	782.96 KiB/s	通过
`blob-ext-2x-16`	16	4960 KiB	0.53 KB	400.77 KB	192.86 KB	0.036s	0.113s	4.952s	0.112s	0.056s	0.002s	0.060s	1561700	335871	524288	1001.68 KiB/s	697.41 KiB/s	通过
`blob-ext-2x-18`	18	5580 KiB	0.59 KB	402.35 KB	216.86 KB	0.042s	0.114s	5.087s	0.113s	0.056s	0.003s	0.063s	1954079	392205	589824	1096.83 KiB/s	746.96 KiB/s	通过
`blob-ext-2x-20`	20	6200 KiB	0.66 KB	430.44 KB	240.73 KB	0.045s	0.114s	6.232s	0.113s	0.056s	0.003s	0.065s	2117901	432139	655360	994.82 KiB/s	701.21 KiB/s	通过
`blob-ext-2x-22`	22	6820 KiB	0.72 KB	431.98 KB	264.39 KB	0.049s	0.115s	6.370s	0.114s	0.056s	0.003s	0.067s	2281723	472073	720896	1070.71 KiB/s	741.45 KiB/s	通过
`blob-ext-2x-24`	24	7440 KiB	0.78 KB	431.25 KB	288.17 KB	0.052s	0.115s	6.493s	0.117s	0.056s	0.002s	0.068s	2445545	512007	786432	1145.89 KiB/s	779.85 KiB/s	通过
`blob-ext-2x-26`	26	8060 KiB	0.84 KB	464.33 KB	311.82 KB	0.056s	0.114s	7.326s	0.114s	0.056s	0.003s	0.071s	2609367	551941	851968	1100.24 KiB/s	760.50 KiB/s	通过
`blob-ext-2x-28`	28	8680 KiB	0.91 KB	464.93 KB	335.64 KB	0.060s	0.114s	7.393s	0.113s	0.056s	0.002s	0.073s	2773189	591875	917504	1174.15 KiB/s	797.69 KiB/s	通过
`blob-ext-2x-30`	30	9300 KiB	0.97 KB	464.86 KB	359.20 KB	0.065s	0.114s	7.528s	0.114s	0.056s	0.003s	0.075s	2937011	631809	983040	1235.45 KiB/s	827.63 KiB/s	通过
`blob-ext-2x-32`	32	9920 KiB	1.03 KB	427.46 KB	383.23 KB	0.067s	0.114s	9.510s	0.115s	0.058s	0.003s	0.077s	3098784	671743	1048576	1043.08 KiB/s	738.80 KiB/s	通过

表 4. WHIR 速率扫描

固定候选：blob-ext-2x-14 和 blob-ext-4x-14。
变量参数：WHIR log 逆速率 $r\in{1,2}$。

Profile	WHIR log 逆速率	载荷	承诺大小	证明大小	样本大小	编码 + 提交	证明者预处理	LeanVM 证明	验证者重建	LeanVM 验证	验证打开	重建	VM 周期	Poseidon16 调用	ExtensionOp 调用	LeanVM 证明吞吐量	Full DAS 吞吐量	结果
`blob-ext-2x-14`	1	4340 KiB	0.47 KB	441.44 KB	169.14 KB	0.035s	0.114s	3.888s	0.111s	0.053s	0.002s	0.057s	1373302	295937	458752	1116.34 KiB/s	742.74 KiB/s	通过
`blob-ext-2x-14`	2	4340 KiB	0.47 KB	292.73 KB	169.14 KB	0.033s	0.112s	4.617s	0.110s	0.034s	0.002s	0.057s	1373302	295937	458752	940.03 KiB/s	667.73 KiB/s	通过
`blob-ext-4x-14`	1	8680 KiB	0.47 KB	464.17 KB	335.61 KB	0.061s	0.161s	7.467s	0.161s	0.056s	0.003s	0.121s	2233462	582657	917504	1162.45 KiB/s	785.34 KiB/s	通过
`blob-ext-4x-14`	2	8680 KiB	0.47 KB	305.97 KB	335.61 KB	0.061s	0.161s	9.025s	0.162s	0.036s	0.003s	0.121s	2233462	582657	917504	961.73 KiB/s	692.17 KiB/s	通过

表 5. 4x Blob 大小下的 Cell 大小扫描

固定参数：blob 大小 $=4x$，$n=14$，$k=32768$，$m=65536$，WHIR log 逆速率 $=1$。
变量参数：cell 大小 $c$，它会改变 $\ell=m/c$、$t=k/c$ 以及打开的 cell 数量。

Profile	$c$	$\ell$	$t$	打开的 cells	$\log_2\nu_{\rm rep}$	载荷	承诺大小	证明大小	样本大小	编码 + 提交	证明者预处理	LeanVM 证明	验证者重建	LeanVM 验证	验证打开	重建	VM 周期	Poseidon16 调用	ExtensionOp 调用	LeanVM 证明吞吐量	Full DAS 吞吐量	结果
`blob-ext-4x-c16-14`	16	4096	2048	50	-110.560	8680 KiB	0.47 KB	465.85 KB	227.45 KB	0.078s	0.344s	7.649s	0.332s	0.058s	0.002s	0.129s	3772534	610305	917504	1134.75 KiB/s	748.94 KiB/s	通过
`blob-ext-4x-c32-14`	32	2048	1024	29	-58.625	8680 KiB	0.47 KB	464.75 KB	258.86 KB	0.065s	0.219s	7.373s	0.219s	0.056s	0.002s	0.122s	2746486	591873	917504	1177.24 KiB/s	784.37 KiB/s	通过
`blob-ext-4x-14`	64	1024	512	19	-83.398	8680 KiB	0.47 KB	464.17 KB	335.61 KB	0.061s	0.162s	7.336s	0.164s	0.056s	0.003s	0.118s	2233462	582657	917504	1183.20 KiB/s	794.57 KiB/s	通过
`blob-ext-4x-c128-14`	128	512	256	14	-97.448	8680 KiB	0.47 KB	440.29 KB	491.99 KB	0.059s	0.133s	6.657s	0.133s	0.056s	0.004s	0.118s	1976950	578049	917504	1303.89 KiB/s	850.63 KiB/s	通过

表 6. 4x Blob 大小下的行数扫描

固定参数：blob 大小 $=4x$，$c=32$，$k=32768$，$m=65536$，$\ell=2048$，$t=1024$，打开的 cells $=29$，WHIR log 逆速率 $=1$。
变量参数：行数 $n$。

Profile	$n$	载荷	承诺大小	证明大小	样本大小	编码 + 提交	证明者预处理	LeanVM 证明	验证者重建	LeanVM 验证	验证打开	重建	VM 周期	Poseidon16 调用	ExtensionOp 调用	LeanVM 证明吞吐量	Full DAS 吞吐量	结果
`blob-ext-4x-c32-1`	1	620 KiB	0.06 KB	355.07 KB	23.08 KB	0.015s	0.225s	0.873s	0.218s	0.048s	0.001s	0.088s	292961	41983	65536	710.40 KiB/s	362.74 KiB/s	通过
`blob-ext-4x-c32-2`	2	1240 KiB	0.09 KB	362.45 KB	41.43 KB	0.019s	0.217s	1.434s	0.217s	0.051s	0.001s	0.091s	483428	83967	131072	865.01 KiB/s	499.29 KiB/s	通过
`blob-ext-4x-c32-4`	4	2480 KiB	0.16 KB	379.29 KB	77.30 KB	0.025s	0.218s	2.556s	0.218s	0.054s	0.001s	0.095s	864360	167935	262144	970.44 KiB/s	612.68 KiB/s	通过
`blob-ext-4x-c32-6`	6	3720 KiB	0.22 KB	409.45 KB	113.83 KB	0.034s	0.218s	3.344s	0.218s	0.054s	0.002s	0.102s	1300611	256001	393216	1112.44 KiB/s	704.41 KiB/s	通过
`blob-ext-4x-c32-8`	8	4960 KiB	0.28 KB	403.03 KB	150.05 KB	0.042s	0.219s	4.924s	0.219s	0.056s	0.002s	0.108s	1624176	335871	524288	1007.40 KiB/s	679.79 KiB/s	通过
`blob-ext-4x-c32-10`	10	6200 KiB	0.34 KB	405.74 KB	186.71 KB	0.050s	0.220s	5.527s	0.219s	0.056s	0.002s	0.114s	1992858	432133	655360	1121.69 KiB/s	743.80 KiB/s	通过
`blob-ext-4x-c32-12`	12	7440 KiB	0.41 KB	431.20 KB	222.49 KB	0.058s	0.220s	6.512s	0.219s	0.057s	0.002s	0.119s	2369672	512003	786432	1142.46 KiB/s	761.97 KiB/s	通过
`blob-ext-4x-c32-14`	14	8680 KiB	0.47 KB	464.75 KB	258.86 KB	0.066s	0.221s	7.509s	0.219s	0.056s	0.003s	0.123s	2746486	591873	917504	1155.96 KiB/s	774.67 KiB/s	通过
`blob-ext-4x-c32-16`	16	9920 KiB	0.53 KB	428.29 KB	295.14 KB	0.073s	0.220s	9.604s	0.221s	0.059s	0.003s	0.128s	3123300	671743	1048576	1032.88 KiB/s	722.79 KiB/s	通过

表 7. LeanVM 预编译基准测试

Profile	$n$	载荷	承诺大小	证明大小	样本大小	编码 + 提交	证明者预处理	LeanVM 证明	验证者重建	LeanVM 验证	验证打开	重建	VM 周期	Poseidon16 调用	ExtensionOp 调用	LeanVM 证明吞吐量	Full DAS 吞吐量	结果
`blob-ext-2x-15`	15	4650 KiB	0.50 KB	400.56 KB	180.98 KB	0.043s	0.066s	3.393s	0.065s	0.053s	0.002s	0.058s	6	315904	491520	1370.57 KiB/s	868.19 KiB/s	通过
`blob-ext-2x-c128-14`	14	4340 KiB	0.47 KB	400.07 KB	386.32 KB	0.030s	0.065s	3.214s	0.065s	0.053s	0.005s	0.054s	6	289025	458752	1350.36 KiB/s	851.90 KiB/s	通过
`blob-ext-2x-30`	30	9300 KiB	0.97 KB	420.91 KB	359.20 KB	0.063s	0.066s	6.438s	0.064s	0.056s	0.003s	0.074s	6	631809	983040	1444.50 KiB/s	926.82 KiB/s	通过
`blob-ext-4x-c128-14`	14	8680 KiB	0.47 KB	421.18 KB	491.99 KB	0.060s	0.114s	6.238s	0.115s	0.056s	0.005s	0.117s	6	578049	917504	1391.57 KiB/s	890.96 KiB/s	通过
`blob-ext-4x-14`	14	8680 KiB	0.47 KB	420.08 KB	335.61 KB	0.062s	0.114s	6.224s	0.115s	0.056s	0.003s	0.119s	6	582657	917504	1394.65 KiB/s	894.65 KiB/s	通过

总结

在这些扫描中，LeanVM 证明吞吐量最高的是 blob-ext-4x-c128-14，为 1303.89 KiB/s；它也是 Full DAS 吞吐量最高的点，为 850.63 KiB/s。
在这些扫描中，2x 场景的最佳点是 cell 大小扫描中的 blob-ext-2x-c128-14，LeanVM 证明吞吐量为 1251.33 KiB/s，Full DAS 吞吐量为 806.22 KiB/s。
2x 行数扫描的最佳点是 blob-ext-2x-30，LeanVM 证明吞吐量为 1235.45 KiB/s，Full DAS 吞吐量为 827.63 KiB/s。
将 WHIR log 逆速率设为 2 会减小证明大小，但总体更慢：在 2x 情况下，Full DAS 吞吐量从 742.74 降至 667.73 KiB/s；在 4x 情况下，从 785.34 降至 692.17 KiB/s。
在此次服务器运行中，较大的 cell 有助于提高证明吞吐量。在 4x、$n=14$ 的情况下，将 $c$ 从 64 增加到 128，尽管样本大小更大，Full DAS 吞吐量仍从 794.57 提高到 850.63 KiB/s。
表 7 中的 LeanVM 预编译结果是服务器测量中表现最好的数据：blob-ext-2x-30 达到了 1444.50 KiB/s 的 LeanVM 证明吞吐量和 926.82 KiB/s 的 Full DAS 吞吐量，而 blob-ext-4x-14 紧随其后，分别为 1394.65 KiB/s 和 894.65 KiB/s。