ZisK v1.4.0-alpha fixes soundness bugs, unifies the proof format and speeds up GPU proving, breaking compatibility with 1.3.1

ZisK, a system for proving computations are correct, fixed bugs that could undermine proof validity and changed its proof format, so tools built on 1.3.1 must be updated.

protocol1h agopermalink suggest a link

This permalink is the canonical link for this story. It updates as new coverage joins the cluster. Know a post that belongs here? Suggest a link.