Hardware: 12cores CPU(2.5GHz) and 2*NVIDIA T4
Proving time for 2²⁶ gates: 4.5min
The total proving time grows linearly with gates_count, but since the gates count is always re-sized into 2^n for FFT computation, so the proving time is 2x, when n increase by 2x(sometimes less).
The time can be also reduced with more GPUs, such as with 4*T4, it can be further reduced to 2.25min.
Cuda PTX(parallel thread execution) assembly can be embeded in the Kernel.
Basic one such as
asm("add.s32 %0, %1, %2;" : "=r"(i) : "r"(j), "r"(k));
“%0” is the first parameter, and etc. “%%” is used to denote %.
“=” modifier in “=r” specifies that the register is written to.
Before migrating Ethereum Dapps from L1 to L2, it’s important to know the change in gas fee in advance.
Ethereum gas tracker provides real-time gas fee cost.
TL;DR: a Plonk GPU version, which achieves at lease 6X performance of the CPU version.
The zero knowledge proof algorithm Plonk is potentially the one for Layer2 rollup in Ethereum and privacy protection in Blockchain. It has unique combination of features, such as: one trusted setup for all later-on applications…