1/ Most zkML tries to prove an entire model at once: circuit → witness → proof. Great for demos. Hard for real systems. We needed a rethink.
204
70
245
Replies
2/ DSperse: slice + distribute JSTprove: compile + prove Each slice becomes a tiny circuit that can be proven fast, in parallel, with the best backend.
1
3
17