Cysic Venus v0.3.1 patches signed remainder soundness bug in arithmetic circuits

A fix to the proving system prevents forged non-zero remainders from being accepted, requiring regenerated keys but preserving proof compatibility with existing verifiers.

protocol22d 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.

Cysic Venus v0.3.1 patches signed remainder soundness bug in arithmetic circuits · ethernews.org