ZisK v1.3.1-alpha fixes precompile and memory soundness bugs
A Polygon zkEVM proving system patch addresses soundness vulnerabilities in BLAKE2, BLAKE3, and JumpDest logic that could affect proof validity.
Topics: L1 zkEVM · Layer 2s · CROPS · Security
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.