Skip to content

Commit

Permalink
Update cddl/attest-key-triple-record.cddl
Browse files Browse the repository at this point in the history 
Co-authored-by: Henk Birkholz <[email protected]>
  • Loading branch information
@deeglaze @henkbirkholz
deeglaze and henkbirkholz authored Nov 13, 2024
1 parent 7b0c099 commit cdde887
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions cddl/attest-key-triple-record.cddl
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,8 @@
attest-key-triple-record = [
environment: environment-map
key-list: [ + $crypto-key-type-choice ]
? mkey: $measured-element-type-choice
? authority-list: [ + $crypto-key-type-choice ]
non-empty<{
? &(mkey: 0) => $measured-element-type-choice,
? &(authorized-by: 2) => [ + $crypto-key-type-choice ]
}>
]

2 comments on commit cdde887

@henkbirkholz
Copy link
Member

Choose a reason for hiding this comment

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

I am not sure how this suggestion got merged. It should have been just a suggestion.

@nedmsmith
Copy link
Collaborator

Choose a reason for hiding this comment

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

I don't know. It's fixed now.

Please sign in to comment.