Completed security proof for RTOPE.