Submit a story or source

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