We have been aggressively optimizing our GPU execution to reduce the cost of our polynomial commitments. This is the dominating cost (asymptotically and concretely) of most proof systems.
However, as of these most recent benchmarks, the costs of our commitment scheme are now
The first sub-second ZK coprocessor just got even faster 🤯
We’re excited to share the latest Proof of SQL benchmarks, which show a ~40% increase in performance since the repo was made available on GitHub in June.
You can now prove analytic queries against…
🟣 100k rows of









