Ryan Kim
@chokobole33
Create bigger values from confidential & verifiable computation
加入 August 2013
578 正在關注 263 粉絲
(1 / 8)
Zerocheck is the biggest cost in SP1's GPU prover: ~67% of a shard. Its hot core is one kernel, evaluating AIR constraints.
Every zkVM interprets that kernel. We compiled it, with a real compiler.
2.34× faster, stage 191.5 → 135.3 ms.
顯示更多
