# 10 Papers that shaped modern zero-knowledge proofs 

Source: https://www.zksecurity.xyz/blog/posts/ten-zk-papers
Kiwi News: https://news.kiwistand.com/stories/10-Papers-that-shaped-modern-zero-knowledge-proofs?index=0x674dcc19b65cd0fd85b2dbba75597cefe7ffe05bcddd98c634bcb0b8525de5cf2021b77e
Submitted by sileo.eth on 2024-12-02 UTC, 3 upvotes, 0 comments

▸ scanning circuits/poseidon.circom

▸ reasoning about constraint completeness…

⚑

Under-Constrained Signal

Missing range check lets a prover forge isZero.

▸ drafting proof-of-concept witness…

✓ forged witness satisfies all constraints

▸ scanning circuits/merkle.circom

▸ comparing witness generator against constraints…

⚑

Unconstrained Path Selector

Left/right bit is assigned with <-- but never forced to be boolean.

▸ checking nullifier derivation in circuits/withdraw.circom…

● 3 findings · 2 critical