Updated to use new interactive proof mode.