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.
显示更多
