[FIX] Fix missing dependency in proof.js