||2 months ago|
|.github/workflows||6 months ago|
|img||2 months ago|
|include/tls_config||1 year ago|
|lib||2 months ago|
|src||2 months ago|
|test||1 year ago|
|zephyr||2 months ago|
|.clang-format||8 months ago|
|.gitignore||6 months ago|
|LICENSE||2 years ago|
|README.md||2 months ago|
|basestation.py||2 years ago|
|platformio.ini||6 months ago|
This project aims to add support the Exposure Notification (EN) protocol for tracing contacts from Apple and Google on low-power wristbands. It maintains full compatibility with smartphone Apps based on the EN protocol.
Note: this is a proof of concept and not ready for production
- Builds on Zephyr OS targetting the NRF52 BLE SOCs
- Easy project setup using PlatformIO
- Sends and receives exposure beacons as specified by Google and Apple for Covid Contact Tracing
- Rolling, encrypted, anonymous beacons
- Compatible with Apple iOS and Android phones
- With rolling proximity identifiers and encrypted metadata
- Proximity identifiers and BLE addresses change every 10 minutes
- Stores own keys for 14 days
- Stores contacts of more than 5 minute duration
- Upon infection upload keys to a public database
- Retrieve keys of infections from database
- computes rolling proximity identifiers
- compares to stored contacts to check for exposure
Note: as we for now do not use the flash for key storage, this currently only works on nrf52480 or you can just store a very small number of keys. Moving the keys to flash is on the TODO list and will fix this.
This project is based on platformIO for an easy setup process, see: https://platformio.org/platformio-ide.
To run the tests for the desktop environment select the task test for desktop or run:
platformio test -e desktop
- Store long-term contacts in flash
The devices need to be initialized:
- Fix entropy: keys are always the same on boot up
- Synchronize time
- Set device name, user id or so in Flash (-> persistend configuration)
- Extend beyond the simple (existing) basestation
- Synchronize time
- Get infections from DB, Check their signatures
- Secure GATT services and authentication of base statation in general
- Read keys form national databases
- Functions to extract keys from googles official exposure key export file format are already implemented
- For full integration the keys have to be downloaded from the national servers (due to limited memory an intermediate server which provides small batches of keys is advised)
- Also the keys have to checked against the stored contacts (for this the
extract_keys.chas to be implemented)
Extract Keys from Device
In case of an infection, the keys need to be extracted from the device:
- Secure extraction of keys (Base version existing)
Device Updates Over the Air (OTA)
Securely updating many running devices over the air with signed firmware will greatly improve maintainability. Related feature branch: feature/ota
- extensive logging: crash, reboot, battery level, charging state, contacts, memory useage, flash usage
- Energy efficiency
- set scanning interval to the correct value, for now we just use the default
- set advertisement interval, correct value, for now we just use the default: should be 200-270 milliseconds
- set transmit power and store this in the corona beacons
- extensive compatibility testing with Apple iOS and Android devices
- BLE advertisements sets
- Contininous integration testing
- More platforms: with display etc.
Possible platforms for real-world deployment many, as many of the cheap fitness trackers base on NRF52 or chips with similar capabilities. However, many would need the firmware to be shipped to manufactures.
- Watch UI
- Pine Time could be good for testing
A basic visual interface based on LVGL is included.
It can be tested on POSIX-compliant platforms by building it with the
SDL must be installed to provide a virtual display.
Exposure Key Extraction
Exposure keys can be unpacked from their protocol buffer.
The unpacking can be tested, by setting the
TEST_UNPACK_KEYS_N=n config variables.
The test will run first thing at startup and output the time, it took unpacking and iterating over the keys.