Skip to content
This repository has been archived by the owner on Apr 26, 2024. It is now read-only.

E2E backups #4019

Merged
merged 47 commits into from
Oct 15, 2018
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
47 commits
Select commit Hold shift + click to select a range
53ace90
total WIP skeleton for /room_keys API
ara4n Dec 5, 2017
0bc4627
interim WIP checkin; doesn't build yet
ara4n Dec 5, 2017
6b8c07a
make it work and fix pep8
ara4n Dec 5, 2017
cf1e200
document the API
ara4n Dec 5, 2017
8ae64b2
implement /room_keys/version too (untested)
ara4n Dec 6, 2017
69e51c7
make /room_keys/version work
ara4n Dec 6, 2017
0abb205
blindly incorporate PR review - needs testing & fixing
ara4n Dec 18, 2017
cac0253
rename room_key_version table correctly, and fix opt args
ara4n Dec 18, 2017
ca0b052
fix factoring out of _should_replace_room_key
ara4n Dec 24, 2017
8d14598
add storage docstring; remove unused set_e2e_room_keys
ara4n Dec 24, 2017
9f500cb
more docstring for the e2e_room_keys rest
ara4n Dec 24, 2017
9f0791b
add a tonne of docstring; make upload_room_keys properly assert version
ara4n Dec 27, 2017
14b3da6
add a tonne of docstring; make upload_room_keys properly assert version
ara4n Dec 27, 2017
234611f
fix typos
ara4n Dec 27, 2017
982edca
fix flakes
ara4n Dec 27, 2017
5e42c45
switch get_current_version_info back to being get_version_info
ara4n Dec 31, 2017
93d174b
improve docstring
ara4n Dec 31, 2017
b5eee51
don't needlessly return user_id
ara4n Dec 31, 2017
174be58
first cut at a UT
ara4n Dec 31, 2017
15d513f
fix idiocies and so make tests pass
ara4n Dec 31, 2017
f6a3067
linting
ara4n Dec 31, 2017
fe87890
implement remaining tests and make them work
ara4n Dec 31, 2017
edc427a
flake8
ara4n Dec 31, 2017
72788cf
support DELETE /version with no args
ara4n Jan 7, 2018
66a4ca1
404 nicely if you try to interact with a missing current version
ara4n Jan 7, 2018
54ac18e
use parse_string
ara4n Jan 7, 2018
f0cede5
missing import
ara4n Jan 7, 2018
4f7064f
missing import
ara4n Jan 7, 2018
8550a7e
allow auth_data to be any JSON instead of a string
uhoreg Aug 21, 2018
42a394c
allow session_data to be any JSON instead of just a string
uhoreg Aug 21, 2018
83caead
Merge branch 'develop' into e2e_backups
uhoreg Aug 24, 2018
16a31c6
update to newer Synapse APIs
uhoreg Aug 25, 2018
3801b8a
try to make flake8 and isort happy
uhoreg Sep 6, 2018
bc74925
WIP e2e key backups
dbkr Sep 13, 2018
497444f
Don't reuse backup versions
dbkr Oct 5, 2018
0c905ee
be python3 compatible
dbkr Oct 9, 2018
f4a4dbc
Apparently this blank line is Very Important
dbkr Oct 9, 2018
dc045ef
Merge remote-tracking branch 'origin/develop' into dbkr/e2e_backups
dbkr Oct 9, 2018
d3464ce
isort
dbkr Oct 9, 2018
d34657e
Add changelog
dbkr Oct 9, 2018
b8d9e10
Fix mergefail
dbkr Oct 9, 2018
83e72bb
PR feedback pt. 1
dbkr Oct 12, 2018
86ef976
Split /room_keys/version into 2 servlets
dbkr Oct 12, 2018
bddfad2
Don't mangle exceptions
dbkr Oct 12, 2018
306361b
Misc PR feedback bits
dbkr Oct 12, 2018
8c0ff02
Linting soothes the savage PEP8 monster
dbkr Oct 12, 2018
a45f2c3
missed one
dbkr Oct 12, 2018
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions changelog.d/4019.feature
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
Add support for end-to-end key backup (MSC1687)
15 changes: 15 additions & 0 deletions synapse/api/errors.py
Original file line number Diff line number Diff line change
Expand Up @@ -59,6 +59,7 @@ class Codes(object):
RESOURCE_LIMIT_EXCEEDED = "M_RESOURCE_LIMIT_EXCEEDED"
UNSUPPORTED_ROOM_VERSION = "M_UNSUPPORTED_ROOM_VERSION"
INCOMPATIBLE_ROOM_VERSION = "M_INCOMPATIBLE_ROOM_VERSION"
WRONG_ROOM_KEYS_VERSION = "M_WRONG_ROOM_KEYS_VERSION"


class CodeMessageException(RuntimeError):
Expand Down Expand Up @@ -312,6 +313,20 @@ def error_dict(self):
)


class RoomKeysVersionError(SynapseError):
"""A client has tried to upload to a non-current version of the room_keys store
"""
def __init__(self, current_version):
"""
Args:
current_version (str): the current version of the store they should have used
"""
super(RoomKeysVersionError, self).__init__(
403, "Wrong room_keys version", Codes.WRONG_ROOM_KEYS_VERSION
)
self.current_version = current_version


class IncompatibleRoomVersionError(SynapseError):
"""A server is trying to join a room whose version it does not support."""

Expand Down
289 changes: 289 additions & 0 deletions synapse/handlers/e2e_room_keys.py
Original file line number Diff line number Diff line change
@@ -0,0 +1,289 @@
# -*- coding: utf-8 -*-
# Copyright 2017, 2018 New Vector Ltd
#
# 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.

import logging

from six import iteritems

from twisted.internet import defer

from synapse.api.errors import RoomKeysVersionError, StoreError, SynapseError
from synapse.util.async_helpers import Linearizer

logger = logging.getLogger(__name__)


class E2eRoomKeysHandler(object):
"""
Implements an optional realtime backup mechanism for encrypted E2E megolm room keys.
This gives a way for users to store and recover their megolm keys if they lose all
their clients. It should also extend easily to future room key mechanisms.
The actual payload of the encrypted keys is completely opaque to the handler.
"""

def __init__(self, hs):
self.store = hs.get_datastore()

# Used to lock whenever a client is uploading key data. This prevents collisions
# between clients trying to upload the details of a new session, given all
# clients belonging to a user will receive and try to upload a new session at
# roughly the same time. Also used to lock out uploads when the key is being
# changed.
self._upload_linearizer = Linearizer("upload_room_keys_lock")

@defer.inlineCallbacks
def get_room_keys(self, user_id, version, room_id=None, session_id=None):
"""Bulk get the E2E room keys for a given backup, optionally filtered to a given
room, or a given session.
See EndToEndRoomKeyStore.get_e2e_room_keys for full details.

Args:
user_id(str): the user whose keys we're getting
version(str): the version ID of the backup we're getting keys from
room_id(string): room ID to get keys for, for None to get keys for all rooms
session_id(string): session ID to get keys for, for None to get keys for all
sessions
Returns:
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can you also add Args section, giving types (and description if not obvious)

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

(And the same for the other functions.)

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

done

A deferred list of dicts giving the session_data and message metadata for
these room keys.
"""

# we deliberately take the lock to get keys so that changing the version
# works atomically
with (yield self._upload_linearizer.queue(user_id)):
results = yield self.store.get_e2e_room_keys(
user_id, version, room_id, session_id
)

if results['rooms'] == {}:
raise SynapseError(404, "No room_keys found")

defer.returnValue(results)

@defer.inlineCallbacks
def delete_room_keys(self, user_id, version, room_id=None, session_id=None):
"""Bulk delete the E2E room keys for a given backup, optionally filtered to a given
room or a given session.
See EndToEndRoomKeyStore.delete_e2e_room_keys for full details.

Args:
user_id(str): the user whose backup we're deleting
version(str): the version ID of the backup we're deleting
room_id(string): room ID to delete keys for, for None to delete keys for all
rooms
session_id(string): session ID to delete keys for, for None to delete keys
for all sessions
Returns:
A deferred of the deletion transaction
"""

# lock for consistency with uploading
with (yield self._upload_linearizer.queue(user_id)):
yield self.store.delete_e2e_room_keys(user_id, version, room_id, session_id)

@defer.inlineCallbacks
def upload_room_keys(self, user_id, version, room_keys):
"""Bulk upload a list of room keys into a given backup version, asserting
that the given version is the current backup version. room_keys are merged
into the current backup as described in RoomKeysServlet.on_PUT().

Args:
user_id(str): the user whose backup we're setting
version(str): the version ID of the backup we're updating
room_keys(dict): a nested dict describing the room_keys we're setting:

{
"rooms": {
"!abc:matrix.org": {
"sessions": {
"c0ff33": {
"first_message_index": 1,
"forwarded_count": 1,
"is_verified": false,
"session_data": "SSBBTSBBIEZJU0gK"
}
}
}
}
}

Raises:
SynapseError: with code 404 if there are no versions defined
RoomKeysVersionError: if the uploaded version is not the current version
"""

# TODO: Validate the JSON to make sure it has the right keys.

# XXX: perhaps we should use a finer grained lock here?
with (yield self._upload_linearizer.queue(user_id)):

# Check that the version we're trying to upload is the current version
try:
version_info = yield self.store.get_e2e_room_keys_version_info(user_id)
except StoreError as e:
if e.code == 404:
raise SynapseError(404, "Version '%s' not found" % (version,))
else:
raise

if version_info['version'] != version:
# Check that the version we're trying to upload actually exists
try:
version_info = yield self.store.get_e2e_room_keys_version_info(
user_id, version,
)
# if we get this far, the version must exist
raise RoomKeysVersionError(current_version=version_info['version'])
except StoreError as e:
if e.code == 404:
raise SynapseError(404, "Version '%s' not found" % (version,))
else:
raise

# go through the room_keys.
# XXX: this should/could be done concurrently, given we're in a lock.
for room_id, room in iteritems(room_keys['rooms']):
for session_id, session in iteritems(room['sessions']):
yield self._upload_room_key(
user_id, version, room_id, session_id, session
)

@defer.inlineCallbacks
def _upload_room_key(self, user_id, version, room_id, session_id, room_key):
"""Upload a given room_key for a given room and session into a given
version of the backup. Merges the key with any which might already exist.

Args:
user_id(str): the user whose backup we're setting
version(str): the version ID of the backup we're updating
room_id(str): the ID of the room whose keys we're setting
session_id(str): the session whose room_key we're setting
room_key(dict): the room_key being set
"""

# get the room_key for this particular row
current_room_key = None
try:
current_room_key = yield self.store.get_e2e_room_key(
user_id, version, room_id, session_id
)
except StoreError as e:
if e.code == 404:
pass
else:
raise

if self._should_replace_room_key(current_room_key, room_key):
yield self.store.set_e2e_room_key(
user_id, version, room_id, session_id, room_key
)
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Does this not want to be in the lock?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

where by lock you mean try block? I don't think so as the try is just catching 404s from the get.


@staticmethod
def _should_replace_room_key(current_room_key, room_key):
"""
Determine whether to replace a given current_room_key (if any)
with a newly uploaded room_key backup

Args:
current_room_key (dict): Optional, the current room_key dict if any
room_key (dict): The new room_key dict which may or may not be fit to
replace the current_room_key

Returns:
True if current_room_key should be replaced by room_key in the backup
"""

if current_room_key:
# spelt out with if/elifs rather than nested boolean expressions
# purely for legibility.

if room_key['is_verified'] and not current_room_key['is_verified']:
return True
elif (
room_key['first_message_index'] <
current_room_key['first_message_index']
):
return True
elif room_key['forwarded_count'] < current_room_key['forwarded_count']:
return True
else:
return False
return True

@defer.inlineCallbacks
def create_version(self, user_id, version_info):
"""Create a new backup version. This automatically becomes the new
backup version for the user's keys; previous backups will no longer be
writeable to.

Args:
user_id(str): the user whose backup version we're creating
version_info(dict): metadata about the new version being created

{
"algorithm": "m.megolm_backup.v1",
"auth_data": "dGhpcyBzaG91bGQgYWN0dWFsbHkgYmUgZW5jcnlwdGVkIGpzb24K"
}

Returns:
A deferred of a string that gives the new version number.
"""

# TODO: Validate the JSON to make sure it has the right keys.

# lock everyone out until we've switched version
with (yield self._upload_linearizer.queue(user_id)):
new_version = yield self.store.create_e2e_room_keys_version(
user_id, version_info
)
defer.returnValue(new_version)

@defer.inlineCallbacks
def get_version_info(self, user_id, version=None):
"""Get the info about a given version of the user's backup

Args:
user_id(str): the user whose current backup version we're querying
version(str): Optional; if None gives the most recent version
otherwise a historical one.
Raises:
StoreError: code 404 if the requested backup version doesn't exist
Returns:
A deferred of a info dict that gives the info about the new version.

{
"version": "1234",
"algorithm": "m.megolm_backup.v1",
"auth_data": "dGhpcyBzaG91bGQgYWN0dWFsbHkgYmUgZW5jcnlwdGVkIGpzb24K"
}
"""

with (yield self._upload_linearizer.queue(user_id)):
res = yield self.store.get_e2e_room_keys_version_info(user_id, version)
defer.returnValue(res)

@defer.inlineCallbacks
def delete_version(self, user_id, version=None):
"""Deletes a given version of the user's e2e_room_keys backup

Args:
user_id(str): the user whose current backup version we're deleting
version(str): the version id of the backup being deleted
Raises:
StoreError: code 404 if this backup version doesn't exist
"""

with (yield self._upload_linearizer.queue(user_id)):
yield self.store.delete_e2e_room_keys_version(user_id, version)
2 changes: 2 additions & 0 deletions synapse/rest/__init__.py
Original file line number Diff line number Diff line change
Expand Up @@ -46,6 +46,7 @@
receipts,
register,
report_event,
room_keys,
sendtodevice,
sync,
tags,
Expand Down Expand Up @@ -102,6 +103,7 @@ def register_servlets(client_resource, hs):
auth.register_servlets(hs, client_resource)
receipts.register_servlets(hs, client_resource)
read_marker.register_servlets(hs, client_resource)
room_keys.register_servlets(hs, client_resource)
keys.register_servlets(hs, client_resource)
tokenrefresh.register_servlets(hs, client_resource)
tags.register_servlets(hs, client_resource)
Expand Down
Loading