event_auth.py 36 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993
  1. # Copyright 2014 - 2016 OpenMarket Ltd
  2. # Copyright 2020 The Matrix.org Foundation C.I.C.
  3. #
  4. # Licensed under the Apache License, Version 2.0 (the "License");
  5. # you may not use this file except in compliance with the License.
  6. # You may obtain a copy of the License at
  7. #
  8. # http://www.apache.org/licenses/LICENSE-2.0
  9. #
  10. # Unless required by applicable law or agreed to in writing, software
  11. # distributed under the License is distributed on an "AS IS" BASIS,
  12. # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  13. # See the License for the specific language governing permissions and
  14. # limitations under the License.
  15. import logging
  16. import typing
  17. from typing import Any, Collection, Dict, Iterable, List, Optional, Set, Tuple, Union
  18. from canonicaljson import encode_canonical_json
  19. from signedjson.key import decode_verify_key_bytes
  20. from signedjson.sign import SignatureVerifyException, verify_signed_json
  21. from typing_extensions import Protocol
  22. from unpaddedbase64 import decode_base64
  23. from synapse.api.constants import (
  24. MAX_PDU_SIZE,
  25. EventContentFields,
  26. EventTypes,
  27. JoinRules,
  28. Membership,
  29. )
  30. from synapse.api.errors import AuthError, EventSizeError, SynapseError
  31. from synapse.api.room_versions import (
  32. KNOWN_ROOM_VERSIONS,
  33. EventFormatVersions,
  34. RoomVersion,
  35. )
  36. from synapse.storage.databases.main.events_worker import EventRedactBehaviour
  37. from synapse.types import MutableStateMap, StateMap, UserID, get_domain_from_id
  38. if typing.TYPE_CHECKING:
  39. # conditional imports to avoid import cycle
  40. from synapse.events import EventBase
  41. from synapse.events.builder import EventBuilder
  42. logger = logging.getLogger(__name__)
  43. class _EventSourceStore(Protocol):
  44. async def get_events(
  45. self,
  46. event_ids: Collection[str],
  47. redact_behaviour: EventRedactBehaviour,
  48. get_prev_content: bool = False,
  49. allow_rejected: bool = False,
  50. ) -> Dict[str, "EventBase"]:
  51. ...
  52. def validate_event_for_room_version(event: "EventBase") -> None:
  53. """Ensure that the event complies with the limits, and has the right signatures
  54. NB: does not *validate* the signatures - it assumes that any signatures present
  55. have already been checked.
  56. NB: it does not check that the event satisfies the auth rules (that is done in
  57. check_auth_rules_for_event) - these tests are independent of the rest of the state
  58. in the room.
  59. NB: This is used to check events that have been received over federation. As such,
  60. it can only enforce the checks specified in the relevant room version, to avoid
  61. a split-brain situation where some servers accept such events, and others reject
  62. them. See also EventValidator, which contains extra checks which are applied only to
  63. locally-generated events.
  64. Args:
  65. event: the event to be checked
  66. Raises:
  67. SynapseError if there is a problem with the event
  68. """
  69. _check_size_limits(event)
  70. if not hasattr(event, "room_id"):
  71. raise AuthError(500, "Event has no room_id: %s" % event)
  72. # check that the event has the correct signatures
  73. sender_domain = get_domain_from_id(event.sender)
  74. is_invite_via_3pid = (
  75. event.type == EventTypes.Member
  76. and event.membership == Membership.INVITE
  77. and "third_party_invite" in event.content
  78. )
  79. # Check the sender's domain has signed the event
  80. if not event.signatures.get(sender_domain):
  81. # We allow invites via 3pid to have a sender from a different
  82. # HS, as the sender must match the sender of the original
  83. # 3pid invite. This is checked further down with the
  84. # other dedicated membership checks.
  85. if not is_invite_via_3pid:
  86. raise AuthError(403, "Event not signed by sender's server")
  87. if event.format_version in (EventFormatVersions.V1,):
  88. # Only older room versions have event IDs to check.
  89. event_id_domain = get_domain_from_id(event.event_id)
  90. # Check the origin domain has signed the event
  91. if not event.signatures.get(event_id_domain):
  92. raise AuthError(403, "Event not signed by sending server")
  93. is_invite_via_allow_rule = (
  94. event.room_version.msc3083_join_rules
  95. and event.type == EventTypes.Member
  96. and event.membership == Membership.JOIN
  97. and EventContentFields.AUTHORISING_USER in event.content
  98. )
  99. if is_invite_via_allow_rule:
  100. authoriser_domain = get_domain_from_id(
  101. event.content[EventContentFields.AUTHORISING_USER]
  102. )
  103. if not event.signatures.get(authoriser_domain):
  104. raise AuthError(403, "Event not signed by authorising server")
  105. async def check_state_independent_auth_rules(
  106. store: _EventSourceStore,
  107. event: "EventBase",
  108. ) -> None:
  109. """Check that an event complies with auth rules that are independent of room state
  110. Runs through the first few auth rules, which are independent of room state. (Which
  111. means that we only need to them once for each received event)
  112. Args:
  113. store: the datastore; used to fetch the auth events for validation
  114. event: the event being checked.
  115. Raises:
  116. AuthError if the checks fail
  117. """
  118. # Implementation of https://spec.matrix.org/v1.2/rooms/v9/#authorization-rules
  119. # 1. If type is m.room.create:
  120. if event.type == EventTypes.Create:
  121. _check_create(event)
  122. # 1.5 Otherwise, allow
  123. return
  124. # 2. Reject if event has auth_events that: ...
  125. auth_events = await store.get_events(
  126. event.auth_event_ids(),
  127. redact_behaviour=EventRedactBehaviour.as_is,
  128. allow_rejected=True,
  129. )
  130. room_id = event.room_id
  131. auth_dict: MutableStateMap[str] = {}
  132. expected_auth_types = auth_types_for_event(event.room_version, event)
  133. for auth_event_id in event.auth_event_ids():
  134. auth_event = auth_events.get(auth_event_id)
  135. # we should have all the auth events by now, so if we do not, that suggests
  136. # a synapse programming error
  137. if auth_event is None:
  138. raise RuntimeError(
  139. f"Event {event.event_id} has unknown auth event {auth_event_id}"
  140. )
  141. # We need to ensure that the auth events are actually for the same room, to
  142. # stop people from using powers they've been granted in other rooms for
  143. # example.
  144. if auth_event.room_id != room_id:
  145. raise AuthError(
  146. 403,
  147. "During auth for event %s in room %s, found event %s in the state "
  148. "which is in room %s"
  149. % (event.event_id, room_id, auth_event_id, auth_event.room_id),
  150. )
  151. k = (auth_event.type, auth_event.state_key)
  152. # 2.1 ... have duplicate entries for a given type and state_key pair
  153. if k in auth_dict:
  154. raise AuthError(
  155. 403,
  156. f"Event {event.event_id} has duplicate auth_events for {k}: {auth_dict[k]} and {auth_event_id}",
  157. )
  158. # 2.2 ... have entries whose type and state_key don’t match those specified by
  159. # the auth events selection algorithm described in the server
  160. # specification.
  161. if k not in expected_auth_types:
  162. raise AuthError(
  163. 403,
  164. f"Event {event.event_id} has unexpected auth_event for {k}: {auth_event_id}",
  165. )
  166. # We also need to check that the auth event itself is not rejected.
  167. if auth_event.rejected_reason:
  168. raise AuthError(
  169. 403,
  170. "During auth for event %s: found rejected event %s in the state"
  171. % (event.event_id, auth_event.event_id),
  172. )
  173. auth_dict[k] = auth_event_id
  174. # 3. If event does not have a m.room.create in its auth_events, reject.
  175. creation_event = auth_dict.get((EventTypes.Create, ""), None)
  176. if not creation_event:
  177. raise AuthError(403, "No create event in auth events")
  178. def check_state_dependent_auth_rules(
  179. event: "EventBase",
  180. auth_events: Iterable["EventBase"],
  181. ) -> None:
  182. """Check that an event complies with auth rules that depend on room state
  183. Runs through the parts of the auth rules that check an event against bits of room
  184. state.
  185. Note:
  186. - it's fine for use in state resolution, when we have already decided whether to
  187. accept the event or not, and are now trying to decide whether it should make it
  188. into the room state
  189. - when we're doing the initial event auth, it is only suitable in combination with
  190. a bunch of other tests (including, but not limited to, check_state_independent_auth_rules).
  191. Args:
  192. event: the event being checked.
  193. auth_events: the room state to check the events against.
  194. Raises:
  195. AuthError if the checks fail
  196. """
  197. # there are no state-dependent auth rules for create events.
  198. if event.type == EventTypes.Create:
  199. logger.debug("Allowing! %s", event)
  200. return
  201. auth_dict = {(e.type, e.state_key): e for e in auth_events}
  202. # additional check for m.federate
  203. creating_domain = get_domain_from_id(event.room_id)
  204. originating_domain = get_domain_from_id(event.sender)
  205. if creating_domain != originating_domain:
  206. if not _can_federate(event, auth_dict):
  207. raise AuthError(403, "This room has been marked as unfederatable.")
  208. # 4. If type is m.room.aliases
  209. if (
  210. event.type == EventTypes.Aliases
  211. and event.room_version.special_case_aliases_auth
  212. ):
  213. # 4a. If event has no state_key, reject
  214. if not event.is_state():
  215. raise AuthError(403, "Alias event must be a state event")
  216. if not event.state_key:
  217. raise AuthError(403, "Alias event must have non-empty state_key")
  218. # 4b. If sender's domain doesn't matches [sic] state_key, reject
  219. sender_domain = get_domain_from_id(event.sender)
  220. if event.state_key != sender_domain:
  221. raise AuthError(
  222. 403, "Alias event's state_key does not match sender's domain"
  223. )
  224. # 4c. Otherwise, allow.
  225. logger.debug("Allowing! %s", event)
  226. return
  227. # 5. If type is m.room.membership
  228. if event.type == EventTypes.Member:
  229. _is_membership_change_allowed(event.room_version, event, auth_dict)
  230. logger.debug("Allowing! %s", event)
  231. return
  232. _check_event_sender_in_room(event, auth_dict)
  233. # Special case to allow m.room.third_party_invite events wherever
  234. # a user is allowed to issue invites. Fixes
  235. # https://github.com/vector-im/vector-web/issues/1208 hopefully
  236. if event.type == EventTypes.ThirdPartyInvite:
  237. user_level = get_user_power_level(event.user_id, auth_dict)
  238. invite_level = get_named_level(auth_dict, "invite", 0)
  239. if user_level < invite_level:
  240. raise AuthError(403, "You don't have permission to invite users")
  241. else:
  242. logger.debug("Allowing! %s", event)
  243. return
  244. _can_send_event(event, auth_dict)
  245. if event.type == EventTypes.PowerLevels:
  246. _check_power_levels(event.room_version, event, auth_dict)
  247. if event.type == EventTypes.Redaction:
  248. check_redaction(event.room_version, event, auth_dict)
  249. if (
  250. event.type == EventTypes.MSC2716_INSERTION
  251. or event.type == EventTypes.MSC2716_BATCH
  252. or event.type == EventTypes.MSC2716_MARKER
  253. ):
  254. check_historical(event.room_version, event, auth_dict)
  255. logger.debug("Allowing! %s", event)
  256. def _check_size_limits(event: "EventBase") -> None:
  257. if len(event.user_id) > 255:
  258. raise EventSizeError("'user_id' too large")
  259. if len(event.room_id) > 255:
  260. raise EventSizeError("'room_id' too large")
  261. if event.is_state() and len(event.state_key) > 255:
  262. raise EventSizeError("'state_key' too large")
  263. if len(event.type) > 255:
  264. raise EventSizeError("'type' too large")
  265. if len(event.event_id) > 255:
  266. raise EventSizeError("'event_id' too large")
  267. if len(encode_canonical_json(event.get_pdu_json())) > MAX_PDU_SIZE:
  268. raise EventSizeError("event too large")
  269. def _check_create(event: "EventBase") -> None:
  270. """Implementation of the auth rules for m.room.create events
  271. Args:
  272. event: The `m.room.create` event to be checked
  273. Raises:
  274. AuthError if the event does not pass the auth rules
  275. """
  276. assert event.type == EventTypes.Create
  277. # 1.1 If it has any previous events, reject.
  278. if event.prev_event_ids():
  279. raise AuthError(403, "Create event has prev events")
  280. # 1.2 If the domain of the room_id does not match the domain of the sender,
  281. # reject.
  282. sender_domain = get_domain_from_id(event.sender)
  283. room_id_domain = get_domain_from_id(event.room_id)
  284. if room_id_domain != sender_domain:
  285. raise AuthError(403, "Creation event's room_id domain does not match sender's")
  286. # 1.3 If content.room_version is present and is not a recognised version, reject
  287. room_version_prop = event.content.get("room_version", "1")
  288. if room_version_prop not in KNOWN_ROOM_VERSIONS:
  289. raise AuthError(
  290. 403,
  291. "room appears to have unsupported version %s" % (room_version_prop,),
  292. )
  293. # 1.4 If content has no creator field, reject.
  294. if EventContentFields.ROOM_CREATOR not in event.content:
  295. raise AuthError(403, "Create event lacks a 'creator' property")
  296. def _can_federate(event: "EventBase", auth_events: StateMap["EventBase"]) -> bool:
  297. creation_event = auth_events.get((EventTypes.Create, ""))
  298. # There should always be a creation event, but if not don't federate.
  299. if not creation_event:
  300. return False
  301. return creation_event.content.get(EventContentFields.FEDERATE, True) is True
  302. def _is_membership_change_allowed(
  303. room_version: RoomVersion, event: "EventBase", auth_events: StateMap["EventBase"]
  304. ) -> None:
  305. """
  306. Confirms that the event which changes membership is an allowed change.
  307. Args:
  308. room_version: The version of the room.
  309. event: The event to check.
  310. auth_events: The current auth events of the room.
  311. Raises:
  312. AuthError if the event is not allowed.
  313. """
  314. membership = event.content["membership"]
  315. # Check if this is the room creator joining:
  316. if len(event.prev_event_ids()) == 1 and Membership.JOIN == membership:
  317. # Get room creation event:
  318. key = (EventTypes.Create, "")
  319. create = auth_events.get(key)
  320. if create and event.prev_event_ids()[0] == create.event_id:
  321. if create.content["creator"] == event.state_key:
  322. return
  323. target_user_id = event.state_key
  324. creating_domain = get_domain_from_id(event.room_id)
  325. target_domain = get_domain_from_id(target_user_id)
  326. if creating_domain != target_domain:
  327. if not _can_federate(event, auth_events):
  328. raise AuthError(403, "This room has been marked as unfederatable.")
  329. # get info about the caller
  330. key = (EventTypes.Member, event.user_id)
  331. caller = auth_events.get(key)
  332. caller_in_room = caller and caller.membership == Membership.JOIN
  333. caller_invited = caller and caller.membership == Membership.INVITE
  334. caller_knocked = (
  335. caller
  336. and room_version.msc2403_knocking
  337. and caller.membership == Membership.KNOCK
  338. )
  339. # get info about the target
  340. key = (EventTypes.Member, target_user_id)
  341. target = auth_events.get(key)
  342. target_in_room = target and target.membership == Membership.JOIN
  343. target_banned = target and target.membership == Membership.BAN
  344. key = (EventTypes.JoinRules, "")
  345. join_rule_event = auth_events.get(key)
  346. if join_rule_event:
  347. join_rule = join_rule_event.content.get("join_rule", JoinRules.INVITE)
  348. else:
  349. join_rule = JoinRules.INVITE
  350. user_level = get_user_power_level(event.user_id, auth_events)
  351. target_level = get_user_power_level(target_user_id, auth_events)
  352. invite_level = get_named_level(auth_events, "invite", 0)
  353. ban_level = get_named_level(auth_events, "ban", 50)
  354. logger.debug(
  355. "_is_membership_change_allowed: %s",
  356. {
  357. "caller_in_room": caller_in_room,
  358. "caller_invited": caller_invited,
  359. "caller_knocked": caller_knocked,
  360. "target_banned": target_banned,
  361. "target_in_room": target_in_room,
  362. "membership": membership,
  363. "join_rule": join_rule,
  364. "target_user_id": target_user_id,
  365. "event.user_id": event.user_id,
  366. },
  367. )
  368. if Membership.INVITE == membership and "third_party_invite" in event.content:
  369. if not _verify_third_party_invite(event, auth_events):
  370. raise AuthError(403, "You are not invited to this room.")
  371. if target_banned:
  372. raise AuthError(403, "%s is banned from the room" % (target_user_id,))
  373. return
  374. # Require the user to be in the room for membership changes other than join/knock.
  375. # Note that the room version check for knocking is done implicitly by `caller_knocked`
  376. # and the ability to set a membership of `knock` in the first place.
  377. if Membership.JOIN != membership and Membership.KNOCK != membership:
  378. # If the user has been invited or has knocked, they are allowed to change their
  379. # membership event to leave
  380. if (
  381. (caller_invited or caller_knocked)
  382. and Membership.LEAVE == membership
  383. and target_user_id == event.user_id
  384. ):
  385. return
  386. if not caller_in_room: # caller isn't joined
  387. raise AuthError(403, "%s not in room %s." % (event.user_id, event.room_id))
  388. if Membership.INVITE == membership:
  389. # TODO (erikj): We should probably handle this more intelligently
  390. # PRIVATE join rules.
  391. # Invites are valid iff caller is in the room and target isn't.
  392. if target_banned:
  393. raise AuthError(403, "%s is banned from the room" % (target_user_id,))
  394. elif target_in_room: # the target is already in the room.
  395. raise AuthError(403, "%s is already in the room." % target_user_id)
  396. else:
  397. if user_level < invite_level:
  398. raise AuthError(403, "You don't have permission to invite users")
  399. elif Membership.JOIN == membership:
  400. # Joins are valid iff caller == target and:
  401. # * They are not banned.
  402. # * They are accepting a previously sent invitation.
  403. # * They are already joined (it's a NOOP).
  404. # * The room is public.
  405. # * The room is restricted and the user meets the allows rules.
  406. if event.user_id != target_user_id:
  407. raise AuthError(403, "Cannot force another user to join.")
  408. elif target_banned:
  409. raise AuthError(403, "You are banned from this room")
  410. elif join_rule == JoinRules.PUBLIC:
  411. pass
  412. elif (
  413. room_version.msc3083_join_rules and join_rule == JoinRules.RESTRICTED
  414. ) or (
  415. room_version.msc3787_knock_restricted_join_rule
  416. and join_rule == JoinRules.KNOCK_RESTRICTED
  417. ):
  418. # This is the same as public, but the event must contain a reference
  419. # to the server who authorised the join. If the event does not contain
  420. # the proper content it is rejected.
  421. #
  422. # Note that if the caller is in the room or invited, then they do
  423. # not need to meet the allow rules.
  424. if not caller_in_room and not caller_invited:
  425. authorising_user = event.content.get(
  426. EventContentFields.AUTHORISING_USER
  427. )
  428. if authorising_user is None:
  429. raise AuthError(403, "Join event is missing authorising user.")
  430. # The authorising user must be in the room.
  431. key = (EventTypes.Member, authorising_user)
  432. member_event = auth_events.get(key)
  433. _check_joined_room(member_event, authorising_user, event.room_id)
  434. authorising_user_level = get_user_power_level(
  435. authorising_user, auth_events
  436. )
  437. if authorising_user_level < invite_level:
  438. raise AuthError(403, "Join event authorised by invalid server.")
  439. elif (
  440. join_rule == JoinRules.INVITE
  441. or (room_version.msc2403_knocking and join_rule == JoinRules.KNOCK)
  442. or (
  443. room_version.msc3787_knock_restricted_join_rule
  444. and join_rule == JoinRules.KNOCK_RESTRICTED
  445. )
  446. ):
  447. if not caller_in_room and not caller_invited:
  448. raise AuthError(403, "You are not invited to this room.")
  449. else:
  450. # TODO (erikj): may_join list
  451. # TODO (erikj): private rooms
  452. raise AuthError(403, "You are not allowed to join this room")
  453. elif Membership.LEAVE == membership:
  454. # TODO (erikj): Implement kicks.
  455. if target_banned and user_level < ban_level:
  456. raise AuthError(403, "You cannot unban user %s." % (target_user_id,))
  457. elif target_user_id != event.user_id:
  458. kick_level = get_named_level(auth_events, "kick", 50)
  459. if user_level < kick_level or user_level <= target_level:
  460. raise AuthError(403, "You cannot kick user %s." % target_user_id)
  461. elif Membership.BAN == membership:
  462. if user_level < ban_level or user_level <= target_level:
  463. raise AuthError(403, "You don't have permission to ban")
  464. elif room_version.msc2403_knocking and Membership.KNOCK == membership:
  465. if join_rule != JoinRules.KNOCK and (
  466. not room_version.msc3787_knock_restricted_join_rule
  467. or join_rule != JoinRules.KNOCK_RESTRICTED
  468. ):
  469. raise AuthError(403, "You don't have permission to knock")
  470. elif target_user_id != event.user_id:
  471. raise AuthError(403, "You cannot knock for other users")
  472. elif target_in_room:
  473. raise AuthError(403, "You cannot knock on a room you are already in")
  474. elif caller_invited:
  475. raise AuthError(403, "You are already invited to this room")
  476. elif target_banned:
  477. raise AuthError(403, "You are banned from this room")
  478. else:
  479. raise AuthError(500, "Unknown membership %s" % membership)
  480. def _check_event_sender_in_room(
  481. event: "EventBase", auth_events: StateMap["EventBase"]
  482. ) -> None:
  483. key = (EventTypes.Member, event.user_id)
  484. member_event = auth_events.get(key)
  485. _check_joined_room(member_event, event.user_id, event.room_id)
  486. def _check_joined_room(
  487. member: Optional["EventBase"], user_id: str, room_id: str
  488. ) -> None:
  489. if not member or member.membership != Membership.JOIN:
  490. raise AuthError(
  491. 403, "User %s not in room %s (%s)" % (user_id, room_id, repr(member))
  492. )
  493. def get_send_level(
  494. etype: str, state_key: Optional[str], power_levels_event: Optional["EventBase"]
  495. ) -> int:
  496. """Get the power level required to send an event of a given type
  497. The federation spec [1] refers to this as "Required Power Level".
  498. https://matrix.org/docs/spec/server_server/unstable.html#definitions
  499. Args:
  500. etype: type of event
  501. state_key: state_key of state event, or None if it is not
  502. a state event.
  503. power_levels_event: power levels event
  504. in force at this point in the room
  505. Returns:
  506. power level required to send this event.
  507. """
  508. if power_levels_event:
  509. power_levels_content = power_levels_event.content
  510. else:
  511. power_levels_content = {}
  512. # see if we have a custom level for this event type
  513. send_level = power_levels_content.get("events", {}).get(etype)
  514. # otherwise, fall back to the state_default/events_default.
  515. if send_level is None:
  516. if state_key is not None:
  517. send_level = power_levels_content.get("state_default", 50)
  518. else:
  519. send_level = power_levels_content.get("events_default", 0)
  520. return int(send_level)
  521. def _can_send_event(event: "EventBase", auth_events: StateMap["EventBase"]) -> bool:
  522. power_levels_event = get_power_level_event(auth_events)
  523. send_level = get_send_level(event.type, event.get("state_key"), power_levels_event)
  524. user_level = get_user_power_level(event.user_id, auth_events)
  525. if user_level < send_level:
  526. raise AuthError(
  527. 403,
  528. "You don't have permission to post that to the room. "
  529. + "user_level (%d) < send_level (%d)" % (user_level, send_level),
  530. )
  531. # Check state_key
  532. if hasattr(event, "state_key"):
  533. if event.state_key.startswith("@"):
  534. if event.state_key != event.user_id:
  535. raise AuthError(403, "You are not allowed to set others state")
  536. return True
  537. def check_redaction(
  538. room_version_obj: RoomVersion,
  539. event: "EventBase",
  540. auth_events: StateMap["EventBase"],
  541. ) -> bool:
  542. """Check whether the event sender is allowed to redact the target event.
  543. Returns:
  544. True if the the sender is allowed to redact the target event if the
  545. target event was created by them.
  546. False if the sender is allowed to redact the target event with no
  547. further checks.
  548. Raises:
  549. AuthError if the event sender is definitely not allowed to redact
  550. the target event.
  551. """
  552. user_level = get_user_power_level(event.user_id, auth_events)
  553. redact_level = get_named_level(auth_events, "redact", 50)
  554. if user_level >= redact_level:
  555. return False
  556. if room_version_obj.event_format == EventFormatVersions.V1:
  557. redacter_domain = get_domain_from_id(event.event_id)
  558. if not isinstance(event.redacts, str):
  559. return False
  560. redactee_domain = get_domain_from_id(event.redacts)
  561. if redacter_domain == redactee_domain:
  562. return True
  563. else:
  564. event.internal_metadata.recheck_redaction = True
  565. return True
  566. raise AuthError(403, "You don't have permission to redact events")
  567. def check_historical(
  568. room_version_obj: RoomVersion,
  569. event: "EventBase",
  570. auth_events: StateMap["EventBase"],
  571. ) -> None:
  572. """Check whether the event sender is allowed to send historical related
  573. events like "insertion", "batch", and "marker".
  574. Returns:
  575. None
  576. Raises:
  577. AuthError if the event sender is not allowed to send historical related events
  578. ("insertion", "batch", and "marker").
  579. """
  580. # Ignore the auth checks in room versions that do not support historical
  581. # events
  582. if not room_version_obj.msc2716_historical:
  583. return
  584. user_level = get_user_power_level(event.user_id, auth_events)
  585. historical_level = get_named_level(auth_events, "historical", 100)
  586. if user_level < historical_level:
  587. raise AuthError(
  588. 403,
  589. 'You don\'t have permission to send send historical related events ("insertion", "batch", and "marker")',
  590. )
  591. def _check_power_levels(
  592. room_version_obj: RoomVersion,
  593. event: "EventBase",
  594. auth_events: StateMap["EventBase"],
  595. ) -> None:
  596. user_list = event.content.get("users", {})
  597. # Validate users
  598. for k, v in user_list.items():
  599. try:
  600. UserID.from_string(k)
  601. except Exception:
  602. raise SynapseError(400, "Not a valid user_id: %s" % (k,))
  603. try:
  604. int(v)
  605. except Exception:
  606. raise SynapseError(400, "Not a valid power level: %s" % (v,))
  607. key = (event.type, event.state_key)
  608. current_state = auth_events.get(key)
  609. if not current_state:
  610. return
  611. user_level = get_user_power_level(event.user_id, auth_events)
  612. # Check other levels:
  613. levels_to_check: List[Tuple[str, Optional[str]]] = [
  614. ("users_default", None),
  615. ("events_default", None),
  616. ("state_default", None),
  617. ("ban", None),
  618. ("redact", None),
  619. ("kick", None),
  620. ("invite", None),
  621. ]
  622. old_list = current_state.content.get("users", {})
  623. for user in set(list(old_list) + list(user_list)):
  624. levels_to_check.append((user, "users"))
  625. old_list = current_state.content.get("events", {})
  626. new_list = event.content.get("events", {})
  627. for ev_id in set(list(old_list) + list(new_list)):
  628. levels_to_check.append((ev_id, "events"))
  629. # MSC2209 specifies these checks should also be done for the "notifications"
  630. # key.
  631. if room_version_obj.limit_notifications_power_levels:
  632. old_list = current_state.content.get("notifications", {})
  633. new_list = event.content.get("notifications", {})
  634. for ev_id in set(list(old_list) + list(new_list)):
  635. levels_to_check.append((ev_id, "notifications"))
  636. old_state = current_state.content
  637. new_state = event.content
  638. for level_to_check, dir in levels_to_check:
  639. old_loc = old_state
  640. new_loc = new_state
  641. if dir:
  642. old_loc = old_loc.get(dir, {})
  643. new_loc = new_loc.get(dir, {})
  644. if level_to_check in old_loc:
  645. old_level: Optional[int] = int(old_loc[level_to_check])
  646. else:
  647. old_level = None
  648. if level_to_check in new_loc:
  649. new_level: Optional[int] = int(new_loc[level_to_check])
  650. else:
  651. new_level = None
  652. if new_level is not None and old_level is not None:
  653. if new_level == old_level:
  654. continue
  655. if dir == "users" and level_to_check != event.user_id:
  656. if old_level == user_level:
  657. raise AuthError(
  658. 403,
  659. "You don't have permission to remove ops level equal "
  660. "to your own",
  661. )
  662. # Check if the old and new levels are greater than the user level
  663. # (if defined)
  664. old_level_too_big = old_level is not None and old_level > user_level
  665. new_level_too_big = new_level is not None and new_level > user_level
  666. if old_level_too_big or new_level_too_big:
  667. raise AuthError(
  668. 403, "You don't have permission to add ops level greater than your own"
  669. )
  670. def get_power_level_event(auth_events: StateMap["EventBase"]) -> Optional["EventBase"]:
  671. return auth_events.get((EventTypes.PowerLevels, ""))
  672. def get_user_power_level(user_id: str, auth_events: StateMap["EventBase"]) -> int:
  673. """Get a user's power level
  674. Args:
  675. user_id: user's id to look up in power_levels
  676. auth_events:
  677. state in force at this point in the room (or rather, a subset of
  678. it including at least the create event and power levels event.
  679. Returns:
  680. the user's power level in this room.
  681. """
  682. power_level_event = get_power_level_event(auth_events)
  683. if power_level_event:
  684. level = power_level_event.content.get("users", {}).get(user_id)
  685. if level is None:
  686. level = power_level_event.content.get("users_default", 0)
  687. if level is None:
  688. return 0
  689. else:
  690. return int(level)
  691. else:
  692. # if there is no power levels event, the creator gets 100 and everyone
  693. # else gets 0.
  694. # some things which call this don't pass the create event: hack around
  695. # that.
  696. key = (EventTypes.Create, "")
  697. create_event = auth_events.get(key)
  698. if create_event is not None and create_event.content["creator"] == user_id:
  699. return 100
  700. else:
  701. return 0
  702. def get_named_level(auth_events: StateMap["EventBase"], name: str, default: int) -> int:
  703. power_level_event = get_power_level_event(auth_events)
  704. if not power_level_event:
  705. return default
  706. level = power_level_event.content.get(name, None)
  707. if level is not None:
  708. return int(level)
  709. else:
  710. return default
  711. def _verify_third_party_invite(
  712. event: "EventBase", auth_events: StateMap["EventBase"]
  713. ) -> bool:
  714. """
  715. Validates that the invite event is authorized by a previous third-party invite.
  716. Checks that the public key, and keyserver, match those in the third party invite,
  717. and that the invite event has a signature issued using that public key.
  718. Args:
  719. event: The m.room.member join event being validated.
  720. auth_events: All relevant previous context events which may be used
  721. for authorization decisions.
  722. Return:
  723. True if the event fulfills the expectations of a previous third party
  724. invite event.
  725. """
  726. if "third_party_invite" not in event.content:
  727. return False
  728. if "signed" not in event.content["third_party_invite"]:
  729. return False
  730. signed = event.content["third_party_invite"]["signed"]
  731. for key in {"mxid", "token"}:
  732. if key not in signed:
  733. return False
  734. token = signed["token"]
  735. invite_event = auth_events.get((EventTypes.ThirdPartyInvite, token))
  736. if not invite_event:
  737. return False
  738. if invite_event.sender != event.sender:
  739. return False
  740. if event.user_id != invite_event.user_id:
  741. return False
  742. if signed["mxid"] != event.state_key:
  743. return False
  744. if signed["token"] != token:
  745. return False
  746. for public_key_object in get_public_keys(invite_event):
  747. public_key = public_key_object["public_key"]
  748. try:
  749. for server, signature_block in signed["signatures"].items():
  750. for key_name in signature_block.keys():
  751. if not key_name.startswith("ed25519:"):
  752. continue
  753. verify_key = decode_verify_key_bytes(
  754. key_name, decode_base64(public_key)
  755. )
  756. verify_signed_json(signed, server, verify_key)
  757. # We got the public key from the invite, so we know that the
  758. # correct server signed the signed bundle.
  759. # The caller is responsible for checking that the signing
  760. # server has not revoked that public key.
  761. return True
  762. except (KeyError, SignatureVerifyException):
  763. continue
  764. return False
  765. def get_public_keys(invite_event: "EventBase") -> List[Dict[str, Any]]:
  766. public_keys = []
  767. if "public_key" in invite_event.content:
  768. o = {"public_key": invite_event.content["public_key"]}
  769. if "key_validity_url" in invite_event.content:
  770. o["key_validity_url"] = invite_event.content["key_validity_url"]
  771. public_keys.append(o)
  772. public_keys.extend(invite_event.content.get("public_keys", []))
  773. return public_keys
  774. def auth_types_for_event(
  775. room_version: RoomVersion, event: Union["EventBase", "EventBuilder"]
  776. ) -> Set[Tuple[str, str]]:
  777. """Given an event, return a list of (EventType, StateKey) that may be
  778. needed to auth the event. The returned list may be a superset of what
  779. would actually be required depending on the full state of the room.
  780. Used to limit the number of events to fetch from the database to
  781. actually auth the event.
  782. """
  783. if event.type == EventTypes.Create:
  784. return set()
  785. auth_types = {
  786. (EventTypes.PowerLevels, ""),
  787. (EventTypes.Member, event.sender),
  788. (EventTypes.Create, ""),
  789. }
  790. if event.type == EventTypes.Member:
  791. membership = event.content["membership"]
  792. if membership in [Membership.JOIN, Membership.INVITE, Membership.KNOCK]:
  793. auth_types.add((EventTypes.JoinRules, ""))
  794. auth_types.add((EventTypes.Member, event.state_key))
  795. if membership == Membership.INVITE:
  796. if "third_party_invite" in event.content:
  797. key = (
  798. EventTypes.ThirdPartyInvite,
  799. event.content["third_party_invite"]["signed"]["token"],
  800. )
  801. auth_types.add(key)
  802. if room_version.msc3083_join_rules and membership == Membership.JOIN:
  803. if EventContentFields.AUTHORISING_USER in event.content:
  804. key = (
  805. EventTypes.Member,
  806. event.content[EventContentFields.AUTHORISING_USER],
  807. )
  808. auth_types.add(key)
  809. return auth_types