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

Initial APIs for storing E2E room keys #2731

Closed
wants to merge 30 commits into from
Closed
Show file tree
Hide file tree
Changes from 25 commits
Commits
Show all changes
30 commits
Select commit Hold shift + click to select a range
824b339
total WIP skeleton for /room_keys API
ara4n Dec 5, 2017
e558f21
interim WIP checkin; doesn't build yet
ara4n Dec 5, 2017
7983840
make it work and fix pep8
ara4n Dec 5, 2017
602b647
document the API
ara4n Dec 5, 2017
552934e
implement /room_keys/version too (untested)
ara4n Dec 6, 2017
124efee
make /room_keys/version work
ara4n Dec 6, 2017
3e98a00
blindly incorporate PR review - needs testing & fixing
ara4n Dec 18, 2017
356829c
rename room_key_version table correctly, and fix opt args
ara4n Dec 18, 2017
59aa35b
Merge branch 'develop' into matthew/e2e_backups
ara4n Dec 24, 2017
ace298f
actually spell example right
ara4n Dec 24, 2017
a658f4e
fix factoring out of _should_replace_room_key
ara4n Dec 24, 2017
dee6849
add storage docstring; remove unused set_e2e_room_keys
ara4n Dec 24, 2017
a22968d
more docstring for the e2e_room_keys rest
ara4n Dec 24, 2017
98fcffd
add a tonne of docstring; make upload_room_keys properly assert version
ara4n Dec 27, 2017
fecfa63
add a tonne of docstring; make upload_room_keys properly assert version
ara4n Dec 27, 2017
1aa87fc
fix typos
ara4n Dec 27, 2017
68e9cfe
fix flakes
ara4n Dec 27, 2017
eb1a429
switch get_current_version_info back to being get_version_info
ara4n Dec 31, 2017
ef75daf
improve docstring
ara4n Dec 31, 2017
3a8d9ab
don't needlessly return user_id
ara4n Dec 31, 2017
7ab77f6
first cut at a UT
ara4n Dec 31, 2017
843ce19
fix idiocies and so make tests pass
ara4n Dec 31, 2017
4fdd02f
linting
ara4n Dec 31, 2017
10cec6f
implement remaining tests and make them work
ara4n Dec 31, 2017
ebfaeac
flake8
ara4n Dec 31, 2017
1976540
support DELETE /version with no args
ara4n Jan 7, 2018
4cd381d
404 nicely if you try to interact with a missing current version
ara4n Jan 7, 2018
e3bc9f2
use parse_string
ara4n Jan 7, 2018
c199970
missing import
ara4n Jan 7, 2018
f27afe1
missing import
ara4n Jan 7, 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
22 changes: 22 additions & 0 deletions synapse/api/errors.py
Original file line number Diff line number Diff line change
Expand Up @@ -48,6 +48,7 @@ class Codes(object):
THREEPID_NOT_FOUND = "M_THREEPID_NOT_FOUND"
INVALID_USERNAME = "M_INVALID_USERNAME"
SERVER_NOT_TRUSTED = "M_SERVER_NOT_TRUSTED"
WRONG_ROOM_KEYS_VERSION = "M_WRONG_ROOM_KEYS_VERSION"


class CodeMessageException(RuntimeError):
Expand Down Expand Up @@ -249,6 +250,27 @@ 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

def error_dict(self):
return cs_error(
self.msg,
self.errcode,
current_version=self.current_version,
)


def cs_exception(exception):
if isinstance(exception, CodeMessageException):
return exception.error_dict()
Expand Down
281 changes: 281 additions & 0 deletions synapse/handlers/e2e_room_keys.py
Original file line number Diff line number Diff line change
@@ -0,0 +1,281 @@
# -*- coding: utf-8 -*-
# Copyright 2017 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 twisted.internet import defer

from synapse.api.errors import StoreError, SynapseError, RoomKeysVersionError
from synapse.util.async 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):
Copy link
Member

Choose a reason for hiding this comment

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

Would be good to have a quick comment on the handler to say what its responsible for. A two line description would probably be good enough,

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

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")
Copy link
Member

Choose a reason for hiding this comment

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

Might be worth commenting on what this protects

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


@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.

Returns:
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.

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._get_version_info_unlocked(user_id)
except StoreError as e:
if e.code == 404:
raise SynapseError(404, "Version '%s' not found" % (version,))
else:
raise e

if version_info['version'] != version:
# Check that the version we're trying to upload actually exists
try:
version_info = yield self._get_version_info_unlocked(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 e

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

Choose a reason for hiding this comment

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

I'd be tempted to do some of the different rooms concurrently, given its in a 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.

i think this is preemie optimisation; we don't even have a flow yet where the bulk upload is used. so have added a comment instead.


@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 e

if E2eRoomKeysHandler._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
)

@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']:
pass
elif (
room_key['first_message_index'] <
current_room_key['first_message_index']
):
pass
elif room_key['forwarded_count'] < current_room_key['forwarded_count']:
pass
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._get_version_info_unlocked(user_id, version)
defer.returnValue(res)

@defer.inlineCallbacks
def _get_version_info_unlocked(self, user_id, version=None):
"""Get the info about a given version of the user's backup
without obtaining the upload_linearizer lock. For params see get_version_info
"""

results = yield self.store.get_e2e_room_keys_version_info(user_id, version)
defer.returnValue(results)

@defer.inlineCallbacks
def delete_version(self, user_id, version):
"""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 @@ -41,6 +41,7 @@
auth,
receipts,
read_marker,
room_keys,
keys,
tokenrefresh,
tags,
Expand Down Expand Up @@ -92,6 +93,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