NDSS 2025 – MTZK: Testing And Exploring Bugs In Zero-Knowledge (ZK) Compilers
ID: afb0310d-d2e7-54e0-9291-60191d3c2f4e
STIX ID: report--afb0310d-d2e7-54e0-9291-60191d3c2f4e
Feed Name: Security Boulevard
Threat Score
MTZK: Testing and Exploring Bugs in Zero-Knowledge (ZK) Compilers describes a metamorphic testing framework that mutates ZK DSL inputs to detect incorrect compilations in ZK compilers; the evaluation across four industrial compilers uncovered 21 bugs (15 patched) and shows potential exploit scenarios where invalid proofs could be accepted, creating security and financial risks for blockchain/privacy-preserving systems.
Your team is not currently subscribed to this feed. You must subscribe to it in order to see this post.