Zero-knowledge
Posts with this tag
Posts
-
King Halo: When a Zero-Knowledge Circuit Forgets to Constrain the Path Length
A write-up of the crypto challenge King Halo from WannaGame Championship 2025, where a Halo2 Merkle circuit verifies a path without constraining its length, so an empty path reduces the whole proof to leaf equals root and membership is never proved at all.
