finish the proof in bitcoin on script evaluator