2016-01-06 23:26:29 -05:00
|
|
|
# Copyright 2015, 2016 OpenMarket Ltd
|
2020-01-31 11:50:13 -05:00
|
|
|
# Copyright 2020 The Matrix.org Foundation C.I.C.
|
2015-02-03 10:00:42 -05:00
|
|
|
#
|
|
|
|
# Licensed under the Apache License, Version 2.0 (the "License");
|
|
|
|
# you may not use this file except in compliance with the License.
|
|
|
|
# You may obtain a copy of the License at
|
|
|
|
#
|
|
|
|
# http://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
#
|
|
|
|
# Unless required by applicable law or agreed to in writing, software
|
|
|
|
# distributed under the License is distributed on an "AS IS" BASIS,
|
|
|
|
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
|
|
# See the License for the specific language governing permissions and
|
|
|
|
# limitations under the License.
|
2017-09-19 07:20:11 -04:00
|
|
|
import logging
|
2018-09-03 20:09:12 -04:00
|
|
|
from collections import namedtuple
|
2020-02-28 07:31:07 -05:00
|
|
|
from typing import Iterable, List
|
2015-02-03 10:00:42 -05:00
|
|
|
|
2018-07-09 02:09:20 -04:00
|
|
|
from twisted.internet import defer
|
2020-02-28 07:31:07 -05:00
|
|
|
from twisted.internet.defer import Deferred, DeferredList
|
|
|
|
from twisted.python.failure import Failure
|
2018-07-09 02:09:20 -04:00
|
|
|
|
2019-04-01 05:24:38 -04:00
|
|
|
from synapse.api.constants import MAX_DEPTH, EventTypes, Membership
|
2018-07-09 02:09:20 -04:00
|
|
|
from synapse.api.errors import Codes, SynapseError
|
2020-03-19 08:22:56 -04:00
|
|
|
from synapse.api.room_versions import EventFormatVersions, RoomVersion
|
2017-09-19 07:20:11 -04:00
|
|
|
from synapse.crypto.event_signing import check_event_content_hash
|
2020-02-28 07:31:07 -05:00
|
|
|
from synapse.crypto.keyring import Keyring
|
2020-02-07 10:30:04 -05:00
|
|
|
from synapse.events import EventBase, make_event_from_dict
|
2020-05-14 13:24:01 -04:00
|
|
|
from synapse.events.utils import prune_event, validate_canonicaljson
|
2018-07-13 15:53:01 -04:00
|
|
|
from synapse.http.servlet import assert_params_in_dict
|
2019-07-03 10:07:04 -04:00
|
|
|
from synapse.logging.context import (
|
|
|
|
PreserveLoggingContext,
|
2020-03-24 10:45:33 -04:00
|
|
|
current_context,
|
2019-07-03 10:07:04 -04:00
|
|
|
make_deferred_yieldable,
|
|
|
|
)
|
2020-01-31 11:50:13 -05:00
|
|
|
from synapse.types import JsonDict, get_domain_from_id
|
2015-02-03 10:00:42 -05:00
|
|
|
|
|
|
|
logger = logging.getLogger(__name__)
|
|
|
|
|
|
|
|
|
2020-09-04 06:54:56 -04:00
|
|
|
class FederationBase:
|
2016-06-15 10:12:59 -04:00
|
|
|
def __init__(self, hs):
|
2018-03-12 10:07:39 -04:00
|
|
|
self.hs = hs
|
|
|
|
|
|
|
|
self.server_name = hs.hostname
|
|
|
|
self.keyring = hs.get_keyring()
|
2017-09-26 14:20:23 -04:00
|
|
|
self.spam_checker = hs.get_spam_checker()
|
2018-03-12 10:07:39 -04:00
|
|
|
self.store = hs.get_datastore()
|
|
|
|
self._clock = hs.get_clock()
|
2016-06-15 10:12:59 -04:00
|
|
|
|
2020-03-19 08:22:56 -04:00
|
|
|
def _check_sigs_and_hash(
|
|
|
|
self, room_version: RoomVersion, pdu: EventBase
|
|
|
|
) -> Deferred:
|
2019-07-03 10:07:04 -04:00
|
|
|
return make_deferred_yieldable(
|
2019-01-29 12:21:48 -05:00
|
|
|
self._check_sigs_and_hashes(room_version, [pdu])[0]
|
2017-09-19 20:32:42 -04:00
|
|
|
)
|
2015-06-26 04:52:24 -04:00
|
|
|
|
2020-02-28 07:31:07 -05:00
|
|
|
def _check_sigs_and_hashes(
|
2020-03-19 08:22:56 -04:00
|
|
|
self, room_version: RoomVersion, pdus: List[EventBase]
|
2020-02-28 07:31:07 -05:00
|
|
|
) -> List[Deferred]:
|
2017-09-19 07:20:11 -04:00
|
|
|
"""Checks that each of the received events is correctly signed by the
|
|
|
|
sending server.
|
|
|
|
|
|
|
|
Args:
|
2020-02-28 07:31:07 -05:00
|
|
|
room_version: The room version of the PDUs
|
|
|
|
pdus: the events to be checked
|
2015-02-03 10:00:42 -05:00
|
|
|
|
|
|
|
Returns:
|
2020-02-28 07:31:07 -05:00
|
|
|
For each input event, a deferred which:
|
2017-09-19 07:20:11 -04:00
|
|
|
* returns the original event if the checks pass
|
|
|
|
* returns a redacted version of the event (if the signature
|
|
|
|
matched but the hash did not)
|
|
|
|
* throws a SynapseError if the signature check failed.
|
2019-07-03 10:07:04 -04:00
|
|
|
The deferreds run their callbacks in the sentinel
|
2015-02-03 10:00:42 -05:00
|
|
|
"""
|
2019-01-29 12:21:48 -05:00
|
|
|
deferreds = _check_sigs_on_pdus(self.keyring, room_version, pdus)
|
2015-06-26 04:52:24 -04:00
|
|
|
|
2020-03-24 10:45:33 -04:00
|
|
|
ctx = current_context()
|
2017-09-19 07:20:11 -04:00
|
|
|
|
2020-12-11 14:05:15 -05:00
|
|
|
@defer.inlineCallbacks
|
2020-02-28 07:31:07 -05:00
|
|
|
def callback(_, pdu: EventBase):
|
2019-07-03 10:07:04 -04:00
|
|
|
with PreserveLoggingContext(ctx):
|
2017-09-19 20:32:42 -04:00
|
|
|
if not check_event_content_hash(pdu):
|
2018-09-06 18:56:47 -04:00
|
|
|
# let's try to distinguish between failures because the event was
|
|
|
|
# redacted (which are somewhat expected) vs actual ball-tampering
|
|
|
|
# incidents.
|
|
|
|
#
|
|
|
|
# This is just a heuristic, so we just assume that if the keys are
|
|
|
|
# about the same between the redacted and received events, then the
|
|
|
|
# received event was probably a redacted copy (but we then use our
|
|
|
|
# *actual* redacted copy to be on the safe side.)
|
|
|
|
redacted_event = prune_event(pdu)
|
2018-09-13 10:33:16 -04:00
|
|
|
if set(redacted_event.keys()) == set(pdu.keys()) and set(
|
2020-06-15 07:03:36 -04:00
|
|
|
redacted_event.content.keys()
|
|
|
|
) == set(pdu.content.keys()):
|
2018-09-06 18:56:47 -04:00
|
|
|
logger.info(
|
|
|
|
"Event %s seems to have been redacted; using our redacted "
|
|
|
|
"copy",
|
|
|
|
pdu.event_id,
|
|
|
|
)
|
|
|
|
else:
|
|
|
|
logger.warning(
|
|
|
|
"Event %s content has been tampered, redacting",
|
|
|
|
pdu.event_id,
|
|
|
|
)
|
|
|
|
return redacted_event
|
2017-09-19 20:32:42 -04:00
|
|
|
|
2020-12-11 14:05:15 -05:00
|
|
|
result = yield defer.ensureDeferred(
|
|
|
|
self.spam_checker.check_event_for_spam(pdu)
|
|
|
|
)
|
|
|
|
|
|
|
|
if result:
|
2019-10-31 06:23:24 -04:00
|
|
|
logger.warning(
|
2017-09-19 20:32:42 -04:00
|
|
|
"Event contains spam, redacting %s: %s",
|
|
|
|
pdu.event_id,
|
|
|
|
pdu.get_pdu_json(),
|
|
|
|
)
|
2018-09-03 20:09:12 -04:00
|
|
|
return prune_event(pdu)
|
2017-09-19 20:32:42 -04:00
|
|
|
|
|
|
|
return pdu
|
2015-06-26 04:52:24 -04:00
|
|
|
|
2020-02-28 07:31:07 -05:00
|
|
|
def errback(failure: Failure, pdu: EventBase):
|
2015-06-26 04:52:24 -04:00
|
|
|
failure.trap(SynapseError)
|
2019-07-03 10:07:04 -04:00
|
|
|
with PreserveLoggingContext(ctx):
|
2019-10-31 06:23:24 -04:00
|
|
|
logger.warning(
|
2018-09-06 18:56:47 -04:00
|
|
|
"Signature check failed for %s: %s",
|
|
|
|
pdu.event_id,
|
|
|
|
failure.getErrorMessage(),
|
2017-09-19 20:32:42 -04:00
|
|
|
)
|
2015-06-26 04:52:24 -04:00
|
|
|
return failure
|
2015-02-03 10:00:42 -05:00
|
|
|
|
2018-09-03 20:09:12 -04:00
|
|
|
for deferred, pdu in zip(deferreds, pdus):
|
2015-06-26 04:52:24 -04:00
|
|
|
deferred.addCallbacks(
|
2018-09-03 20:09:12 -04:00
|
|
|
callback, errback, callbackArgs=[pdu], errbackArgs=[pdu]
|
2015-02-03 10:00:42 -05:00
|
|
|
)
|
|
|
|
|
2015-06-26 04:52:24 -04:00
|
|
|
return deferreds
|
2017-12-30 13:40:19 -05:00
|
|
|
|
|
|
|
|
2021-05-20 11:25:11 -04:00
|
|
|
class PduToCheckSig(namedtuple("PduToCheckSig", ["pdu", "sender_domain", "deferreds"])):
|
2018-09-03 20:09:12 -04:00
|
|
|
pass
|
|
|
|
|
|
|
|
|
2020-02-28 07:31:07 -05:00
|
|
|
def _check_sigs_on_pdus(
|
2020-03-19 08:22:56 -04:00
|
|
|
keyring: Keyring, room_version: RoomVersion, pdus: Iterable[EventBase]
|
2020-02-28 07:31:07 -05:00
|
|
|
) -> List[Deferred]:
|
2018-09-03 20:09:12 -04:00
|
|
|
"""Check that the given events are correctly signed
|
|
|
|
|
|
|
|
Args:
|
2020-02-28 07:31:07 -05:00
|
|
|
keyring: keyring object to do the checks
|
|
|
|
room_version: the room version of the PDUs
|
|
|
|
pdus: the events to be checked
|
2018-09-03 20:09:12 -04:00
|
|
|
|
|
|
|
Returns:
|
2020-02-28 07:31:07 -05:00
|
|
|
A Deferred for each event in pdus, which will either succeed if
|
2018-09-03 20:09:12 -04:00
|
|
|
the signatures are valid, or fail (with a SynapseError) if not.
|
|
|
|
"""
|
|
|
|
|
|
|
|
# we want to check that the event is signed by:
|
|
|
|
#
|
2019-01-29 17:35:36 -05:00
|
|
|
# (a) the sender's server
|
2018-09-03 20:09:12 -04:00
|
|
|
#
|
|
|
|
# - except in the case of invites created from a 3pid invite, which are exempt
|
|
|
|
# from this check, because the sender has to match that of the original 3pid
|
|
|
|
# invite, but the event may come from a different HS, for reasons that I don't
|
|
|
|
# entirely grok (why do the senders have to match? and if they do, why doesn't the
|
|
|
|
# joining server ask the inviting server to do the switcheroo with
|
|
|
|
# exchange_third_party_invite?).
|
|
|
|
#
|
|
|
|
# That's pretty awful, since redacting such an invite will render it invalid
|
|
|
|
# (because it will then look like a regular invite without a valid signature),
|
|
|
|
# and signatures are *supposed* to be valid whether or not an event has been
|
|
|
|
# redacted. But this isn't the worst of the ways that 3pid invites are broken.
|
|
|
|
#
|
2019-01-29 17:35:36 -05:00
|
|
|
# (b) for V1 and V2 rooms, the server which created the event_id
|
|
|
|
#
|
2018-09-03 20:09:12 -04:00
|
|
|
# let's start by getting the domain for each pdu, and flattening the event back
|
|
|
|
# to JSON.
|
2019-01-29 12:21:48 -05:00
|
|
|
|
2018-09-03 20:09:12 -04:00
|
|
|
pdus_to_check = [
|
|
|
|
PduToCheckSig(
|
|
|
|
pdu=p,
|
|
|
|
sender_domain=get_domain_from_id(p.sender),
|
|
|
|
deferreds=[],
|
|
|
|
)
|
|
|
|
for p in pdus
|
|
|
|
]
|
|
|
|
|
2019-01-29 12:21:48 -05:00
|
|
|
# First we check that the sender event is signed by the sender's domain
|
|
|
|
# (except if its a 3pid invite, in which case it may be sent by any server)
|
|
|
|
pdus_to_check_sender = [p for p in pdus_to_check if not _is_invite_via_3pid(p.pdu)]
|
2018-09-03 20:09:12 -04:00
|
|
|
|
2021-05-20 11:25:11 -04:00
|
|
|
more_deferreds = keyring.verify_events_for_server(
|
2019-06-05 05:38:25 -04:00
|
|
|
[
|
|
|
|
(
|
|
|
|
p.sender_domain,
|
2021-05-20 11:25:11 -04:00
|
|
|
p.pdu,
|
2020-03-19 08:22:56 -04:00
|
|
|
p.pdu.origin_server_ts if room_version.enforce_key_validity else 0,
|
2019-06-05 05:38:25 -04:00
|
|
|
)
|
|
|
|
for p in pdus_to_check_sender
|
|
|
|
]
|
|
|
|
)
|
2018-09-03 20:09:12 -04:00
|
|
|
|
2019-04-25 15:53:10 -04:00
|
|
|
def sender_err(e, pdu_to_check):
|
2019-04-25 17:17:59 -04:00
|
|
|
errmsg = "event id %s: unable to verify signature for sender %s: %s" % (
|
2019-04-25 15:53:10 -04:00
|
|
|
pdu_to_check.pdu.event_id,
|
|
|
|
pdu_to_check.sender_domain,
|
2019-04-25 16:08:12 -04:00
|
|
|
e.getErrorMessage(),
|
2019-04-25 15:53:10 -04:00
|
|
|
)
|
2019-10-28 08:43:23 -04:00
|
|
|
raise SynapseError(403, errmsg, Codes.FORBIDDEN)
|
2019-04-25 15:53:10 -04:00
|
|
|
|
2018-09-03 20:09:12 -04:00
|
|
|
for p, d in zip(pdus_to_check_sender, more_deferreds):
|
2019-04-25 15:53:10 -04:00
|
|
|
d.addErrback(sender_err, p)
|
2018-09-03 20:09:12 -04:00
|
|
|
p.deferreds.append(d)
|
|
|
|
|
2019-01-29 12:21:48 -05:00
|
|
|
# now let's look for events where the sender's domain is different to the
|
|
|
|
# event id's domain (normally only the case for joins/leaves), and add additional
|
|
|
|
# checks. Only do this if the room version has a concept of event ID domain
|
2019-04-01 05:24:38 -04:00
|
|
|
# (ie, the room version uses old-style non-hash event IDs).
|
2020-03-19 08:22:56 -04:00
|
|
|
if room_version.event_format == EventFormatVersions.V1:
|
2019-01-29 12:21:48 -05:00
|
|
|
pdus_to_check_event_id = [
|
|
|
|
p
|
|
|
|
for p in pdus_to_check
|
|
|
|
if p.sender_domain != get_domain_from_id(p.pdu.event_id)
|
|
|
|
]
|
|
|
|
|
2021-05-20 11:25:11 -04:00
|
|
|
more_deferreds = keyring.verify_events_for_server(
|
2019-06-05 05:38:25 -04:00
|
|
|
[
|
|
|
|
(
|
|
|
|
get_domain_from_id(p.pdu.event_id),
|
2021-05-20 11:25:11 -04:00
|
|
|
p.pdu,
|
2020-03-19 08:22:56 -04:00
|
|
|
p.pdu.origin_server_ts if room_version.enforce_key_validity else 0,
|
2019-06-05 05:38:25 -04:00
|
|
|
)
|
|
|
|
for p in pdus_to_check_event_id
|
|
|
|
]
|
|
|
|
)
|
2019-01-29 12:21:48 -05:00
|
|
|
|
2019-04-25 15:53:10 -04:00
|
|
|
def event_err(e, pdu_to_check):
|
2019-04-25 17:17:59 -04:00
|
|
|
errmsg = (
|
|
|
|
"event id %s: unable to verify signature for event id domain: %s"
|
|
|
|
% (pdu_to_check.pdu.event_id, e.getErrorMessage())
|
2019-04-25 15:53:10 -04:00
|
|
|
)
|
2019-10-28 08:43:23 -04:00
|
|
|
raise SynapseError(403, errmsg, Codes.FORBIDDEN)
|
2019-04-25 15:53:10 -04:00
|
|
|
|
2019-01-29 12:21:48 -05:00
|
|
|
for p, d in zip(pdus_to_check_event_id, more_deferreds):
|
2019-04-25 15:53:10 -04:00
|
|
|
d.addErrback(event_err, p)
|
2019-01-29 12:21:48 -05:00
|
|
|
p.deferreds.append(d)
|
|
|
|
|
2018-09-03 20:09:12 -04:00
|
|
|
# replace lists of deferreds with single Deferreds
|
|
|
|
return [_flatten_deferred_list(p.deferreds) for p in pdus_to_check]
|
|
|
|
|
|
|
|
|
2020-02-28 07:31:07 -05:00
|
|
|
def _flatten_deferred_list(deferreds: List[Deferred]) -> Deferred:
|
2019-01-29 12:21:48 -05:00
|
|
|
"""Given a list of deferreds, either return the single deferred,
|
|
|
|
combine into a DeferredList, or return an already resolved deferred.
|
2018-09-03 20:09:12 -04:00
|
|
|
"""
|
|
|
|
if len(deferreds) > 1:
|
|
|
|
return DeferredList(deferreds, fireOnOneErrback=True, consumeErrors=True)
|
2019-01-29 12:21:48 -05:00
|
|
|
elif len(deferreds) == 1:
|
2018-09-03 20:09:12 -04:00
|
|
|
return deferreds[0]
|
2019-01-29 12:21:48 -05:00
|
|
|
else:
|
|
|
|
return defer.succeed(None)
|
2018-09-03 20:09:12 -04:00
|
|
|
|
|
|
|
|
2020-02-28 07:31:07 -05:00
|
|
|
def _is_invite_via_3pid(event: EventBase) -> bool:
|
2018-09-03 20:09:12 -04:00
|
|
|
return (
|
|
|
|
event.type == EventTypes.Member
|
|
|
|
and event.membership == Membership.INVITE
|
|
|
|
and "third_party_invite" in event.content
|
|
|
|
)
|
|
|
|
|
|
|
|
|
2020-01-31 11:50:13 -05:00
|
|
|
def event_from_pdu_json(
|
|
|
|
pdu_json: JsonDict, room_version: RoomVersion, outlier: bool = False
|
|
|
|
) -> EventBase:
|
|
|
|
"""Construct an EventBase from an event json received over federation
|
2017-12-30 13:40:19 -05:00
|
|
|
|
|
|
|
Args:
|
2020-01-31 11:50:13 -05:00
|
|
|
pdu_json: pdu as received over federation
|
|
|
|
room_version: The version of the room this event belongs to
|
|
|
|
outlier: True to mark this event as an outlier
|
2017-12-30 13:40:19 -05:00
|
|
|
|
|
|
|
Raises:
|
2018-05-01 11:19:39 -04:00
|
|
|
SynapseError: if the pdu is missing required fields or is otherwise
|
|
|
|
not a valid matrix event
|
2017-12-30 13:40:19 -05:00
|
|
|
"""
|
2017-12-30 13:40:19 -05:00
|
|
|
# we could probably enforce a bunch of other fields here (room_id, sender,
|
|
|
|
# origin, etc etc)
|
2019-01-29 12:21:48 -05:00
|
|
|
assert_params_in_dict(pdu_json, ("type", "depth"))
|
2018-05-01 11:19:39 -04:00
|
|
|
|
|
|
|
depth = pdu_json["depth"]
|
2020-06-16 08:51:47 -04:00
|
|
|
if not isinstance(depth, int):
|
2018-05-01 11:19:39 -04:00
|
|
|
raise SynapseError(400, "Depth %r not an intger" % (depth,), Codes.BAD_JSON)
|
|
|
|
|
|
|
|
if depth < 0:
|
|
|
|
raise SynapseError(400, "Depth too small", Codes.BAD_JSON)
|
|
|
|
elif depth > MAX_DEPTH:
|
|
|
|
raise SynapseError(400, "Depth too large", Codes.BAD_JSON)
|
|
|
|
|
2020-05-14 13:24:01 -04:00
|
|
|
# Validate that the JSON conforms to the specification.
|
|
|
|
if room_version.strict_canonicaljson:
|
|
|
|
validate_canonicaljson(pdu_json)
|
|
|
|
|
2020-02-07 10:30:04 -05:00
|
|
|
event = make_event_from_dict(pdu_json, room_version)
|
2017-12-30 13:40:19 -05:00
|
|
|
event.internal_metadata.outlier = outlier
|
|
|
|
|
|
|
|
return event
|