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.
もっと見る
