Draft: draft-ietf-mls-protocol

Commentary: Note : There 's a consistency issue around Derive - Secret , for which I filed for follow - up . 
 Here 's the Weekly Digest for : - - Last week 4 issues were created . Of these , 0 issues have been closed and 4 issues are still open . : greenheart : , by : greenheart : , by : greenheart : , by : greenheart : , by - - Last week , 14 pull requests were created , updated or merged . Last week , 8 pull requests were updated . : yellowheart : , by : yellowheart : , by : yellowheart : , by : yellowheart : , by : yellowheart : , by : yellowheart : , by : yellowheart : , by : yellowheart : , by Last week , 6 pull requests were merged . : purpleheart : , by : purpleheart : , by : purpleheart : , by : purpleheart : , by : purpleheart : , by : purpleheart : , by - - Last week there were 10 commits . : hammerandwrench : by : hammerandwrench : by : hammerandwrench : by : hammerandwrench : by : hammerandwrench : by : hammerandwrench : by : hammerandwrench : by : hammerandwrench : by : hammerandwrench : by : hammerandwrench : by - - Last week there were 3 contributors . : bustinsilhouette : : bustinsilhouette : : bustinsilhouette : - - Last week there were no stargazers . - - Last week there were no releases . - - That 's all for last week , please < kbd : eyes : Watch</kbdand < kbd : star : Star</kbdthe repository to receive next weekly updates . : smiley : You can also . 
 On the one hand ... On the other hand ... We probably want Derive - Secret to have a third argument for the GroupContext , or define that Derive - Secret always takes the current group context . 
 I would much prefer to go back to the TLS definition , we do n't need the thing at all , this is an implementation artifact ... Definition we use for TLS and the symbolic proof in the formal model : 
 Ps : because is quite long in MLS , we directly pass to instead . 
 Here 's the Weekly Digest for : - - Last week 11 issues were created . Of these , 1 issues have been closed and 10 issues are still open . : greenheart : , by : greenheart : , by : greenheart : , by : greenheart : , by : greenheart : , by : greenheart : , by : greenheart : , by : greenheart : , by : greenheart : , by : greenheart : , by : heart : , by : speaker : , by It received 2 comments . - - Last week , 11 pull requests were created , updated or merged . Last week , 6 pull requests were opened . : greenheart : , by : greenheart : , by : greenheart : , by : greenheart : , by : greenheart : , by : greenheart : , by Last week , 4 pull requests were updated . : yellowheart : , by : yellowheart : , by : yellowheart : , by : yellowheart : , by Last week , 1 pull request was merged . : purpleheart : , by - - Last week there were 2 commits . : hammerandwrench : by : hammerandwrench : by - - Last week there were 2 contributors . : bustinsilhouette : : bustin_silhouette : - - Last week there were 2 stagazers . : star : : star : You all are the stars ! : star2 : - - Last week there were no releases . - - That 's all for last week , please < kbd : eyes : Watch</kbdand < kbd : star : Star</kbdthe repository to receive next weekly updates . : smiley : You can also . 
 Here 's the Weekly Digest for : - - Last week 2 issues were created . Of these , 0 issues have been closed and 2 issues are still open . : greenheart : , by : greenheart : , by - - Last week , 8 pull requests were created , updated or merged . Last week , 1 pull request was opened . : greenheart : , by Last week , 5 pull requests were updated . : yellowheart : , by : yellowheart : , by : yellowheart : , by : yellowheart : , by : yellowheart : , by Last week , 2 pull requests were merged . : purpleheart : , by : purpleheart : , by - - Last week there were 2 commits . : hammerandwrench : by : hammerandwrench : by - - Last week there was 1 contributor . : bustinsilhouette : - - Last week there was 1 stargazer . : star : You are the star ! : star2 : - - Last week there were no releases . - - That 's all for last week , please < kbd : eyes : Watch</kbdand < kbd : star : Star</kbdthe repository to receive next weekly updates . : smiley : You can also . 
 Here 's the Weekly Digest for : - - Last week 2 issues were created . Of these , 1 issues have been closed and 1 issues are still open . : greenheart : , by : heart : , by : +1 : , by It received : +1 : x1 , : smile :  , : tada :  and : heart :  . : speaker : , by It received 1 comments . - - Last week , 3 pull requests were created , updated or merged . Last week , 1 pull request was opened . : greenheart : , by Last week , 1 pull request was updated . : yellowheart : , by Last week , 1 pull request was merged . : purpleheart : , by - - Last week there were 2 commits . : hammerandwrench : by : hammerandwrench : by - - Last week there were 2 contributors . : bustinsilhouette : : bustinsilhouette : - - Last week there were 3 stagazers . : star : : star : : star : You all are the stars ! : star2 : - - Last week there were no releases . - - That 's all for last week , please < kbd : eyes : Watch</kbdand < kbd : star : Star</kbdthe repository to receive next weekly updates . : smiley : You can also .
Paragraph (version B):
The main MLS key schedule provides an "exporter_secret" which can be
used by an application as the basis to derive new secrets called
"exported_value" outside the MLS layer.
Paragraph (version B):
The context used for the derivation of the "exported_value" MAY be
empty while each application SHOULD provide a unique label as an
input of the HKDF-Expand-Label for each use case.  This is to prevent
two exported outputs from being generated with the same values and
used for different functionalities.
Paragraph (version B):
The exported values are bound to the Group epoch from which the
"exporter_secret" is derived, hence reflects a particular state of
the Group.
Paragraph (version B):
It is RECOMMENDED for the application generating exported values to
refresh those values after a group operation is processed.