Why ZK Proving Markets Keep Failing: The Termination Trap | Hacker News Reader