update proof for to include image inputs