Succinct
@SuccinctLabs
Prove what's real
Joined August 2022
106 Following 135.4K Followers
Great work from the team at @fractalyze_io on constraint evaluation without an interpreter.
Contributions like this move proving forward for everyone!
(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.
Show more
