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.
더 보기
