RISC Zero RiscZeroSetVerifier & Aggregation Security Review Report

Risc0 verifiers have a SELECTOR parameter which differentiates verifier types. RiscZeroSetVerifier has a bytes4 public immutable SELECTOR; which is implemented using the image id as a parameter:

constructor(IRiscZeroVerifier verifier, bytes32 imageId, string memory _imageUrl) {
    VERIFIER = verifier;
    IMAGE_ID = imageId;
    imageUrl = _imageUrl;
 
    SELECTOR = RiscZeroSetVerifierLib.selector(imageId);
}

library RiscZeroSetVerifierLib {
    function selector(bytes32 imageId) internal pure returns (bytes4) {
        return bytes4(
            sha256(
                abi.encodePacked(
                    // tag
                    sha256("risc0.SetInclusionReceiptVerifierParameters"),
                    // down
                    imageId,
                    // down length
                    uint16(1) << 8
                )
            )
        );
    }
}

Documentation for the immutable SELECTOR variable:

/// @dev The selector is taken from the hash of the verifier parameters including the Groth16
/// verification key and the control IDs that commit to the RISC Zero circuits.

isn't aligned with the implementation.

Fix the comment to be aligned with the implementation.