Labels

Pull requests that update a dependency file

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Issues for tracking the formal modelling of the protocol

Good for newcomers

Extra attention is needed

This doesn't seem right

Pull requests that update javascript code

Issues for tracking protocol research and choices

Further information is requested

Pull requests that update rust code

Potential and confirmed security issues