-
Notifications
You must be signed in to change notification settings - Fork 6
Home
Ned Smith edited this page Aug 14, 2023
·
24 revisions
- On composition (this complements the discussion in issue #95)
- On multiple vs single measurements environments
- Notes about appraisal flows
- On PR#49
- Verification schematics
- Composite device modelling using (extended)
domain-membership-triples - Composite device modelling using tags
- Modelling Conditional Endorsements Versioning
- Verifier Examples with Verifier Staging