Re: [MLS] question about group contexts and deriving epoch secrets

I think “new GroupContext” and “provisional GroupContext” are synonyms.

Creating the Commit:
 - Use the confirmed transcript hash (old intermediate transcript hash combined with new commit content from current MLSPlaintext)
 - Create new provisional GroupContext with new provisional epoch (old epoch  + 1), new tree hash (after proposals were applied to old tree) and confirmed transcript hash from above

Applying a Commit as an existing member:
 - Same as creating a Commit

Joining a group from a Welcome message:
- Create GroupContext with epoch from GroupInfo, tree hash from GroupInfo and confirmed transcript hash from GroupInfo

Does that answer the question?

If you think the spec is wrong/confusing feel free to file a PR.

Raphael

> On 9. Feb 2021, at 00:45, Hubert Chathi <hubertc@matrix.org> wrote:
> 
> When deriving the epoch secret, you do "ExpandWithLabel(., "epoch", GroupContext_[n], KDF.Nh)", so you need a GroupContext.  As far as I can tell, there appears to be a contradiction about which GroupContext to use: in the "Key Schedule" section (Line 1404), it says to use "The GroupContext object for current epoch", but in the "Commit" section under the part talking about a group member who applies a Commit message (Line 2660), it says to use the provisional GroupContext.  (The part talking about the group member who creates the Commit message doesn't say which GroupContext to use.)  If we are supposed to use the "new" GroupContext (after applying both the proposals and the update), but if we are supposed to use the provisional GroupContext, then I don't think that a new member has access to the tree_hash or confirmed_transcript_hash to create the GroupContext needed to derive the epoch secret.  So it seems like the "new" GroupContext should be correct, but Line 2660 is pretty expli
> cit about using the provisional GroupContext.
> 
> _______________________________________________
> MLS mailing list
> MLS@ietf.org
> https://www.ietf.org/mailman/listinfo/mls