Succinct Verification of Compressed Sigma Protocols in the Updatable SRS setting