Page tree
Skip to end of metadata
Go to start of metadata

This page contains the meeting agendas and notes for the ACDC Task Force. Note that for expediency it is a single running page of notes (vs. separate Meeting Notes pages for each meeting as is typical of other ToIP Working Groups and Task Forces). Meetings are in reverse chronological order.

2021-10-11

Administration

ACDC Sessions

  • Proposed sessions
    • GLEIF vLEI  Business T S1
    • GLEIF vLEI: Demo   T S2 Distributed Multi-Sig Chained Credentials using KERI and ACDC — Phil Feairheller and Kevin Griffin
    • MicroLedger Four Provenance Logs Authentic Data EcoSystem  T S3 Robert Mitwicki
    • What is ACDC? T S4— Samuel Smith
      • KERI and ACDC Technical Session
      • Covers all the contributing specsSamuel Smith
  • Related Sessions
    • Introduction to KERI W Drummond Reed 
    • Practical Introduction to KERI: How Can I Actually Use it Today?W Phil FeairhellerKevin Griffin (Command Line Tools with KeriPy)
    • Systems Design PAC Theorem Privacy Authenticity Confidentiality  Tradespace W Th  Samuel Smith
    • Secure Attribution with KERI: How it Fixes the Broken Internet W Th — Samuel Smith
    • Zero Trust Data Management  BADA RUN vs CRUD: discovery and authorization mechanisms W or ThSamuel Smith

2021-09-27

Administration

  • We need to complete the final Lead Author assignments in the Deliverables table on the ACDC home page (<5 mins)—Samuel Smith
  • We quickly cleaned up the table so that all specs have lead authors.

Terminology

Compact Label Normalization

  • Future KERI change to use SAIDs   Revised labels for ACDC that are normalized Samuel Smith
  • See screenshot #1 below.

Microledger 

  • Robert Mitwicki 
  • He gave an explanation of microledgers based on a spec being developed at the Human Colossus Foundation—see screenshots #2 and #3 below.
  • It generalizes the idea of a KEL (key event log).
  • Samuel Smith agreed that the generalization of event logs is a good idea. His only concern is that when it is generalized, it becomes much easier to make security mistakes. That's why the KERI and ACDC specs are much tighter.
  • Robert Mitwicki is planning to give a session at IIW on microledgers.

Screenshots (for notes above)

#1

#2

#33


GLEIF VLEI update  Phil Feairheller


ACDC Sessions

  • Proposed sessions
    • GLEIF vLEI: Distributed Multi-Sig Chained Credentials using KERI and ACDC — Phil Feairheller and Kevin Griffin
    • What is ACDC? — Samuel Smith
      • KERI and ACDC Technical Session
      • Covers all the contributing specs
    • Why ACDC? (And Why Not _____?) — Robert Mitwicki
      • This would include A Feature Comparison Table
    • Secure Attribution with KERI: How it Fixes the Broken Internet — Samuel Smith
    • Practical Introduction to KERI: How Can I Actually Use it Today?
  • Related Sessions
    • GLEIF vLEI  
    • Zero Trust Data Management  BADA RUN vs CRUD: discovery and authorization mechanisms Samuel Smith
    • MicroLedger Robert Mitwicki

<next>


2021-09-13

Brief update on wiki page reorg—Drummond Reed

  • Meeting page has been broken out into a standalone page (this one)
  • A table of deliverables has been added to the ACDC home page
    • We should be sure this table is complete and kept current

IIW Strategy:  Daniel Hardman

  • Daniel: How many sessions would we like at IIW?
  • Sam: one session per day
  • Daniel: in previous IIWs, Sam had done 2-3 sessions per day
  • Sam: plan on one per day, and then possibly have a second one
  • Robert: have one technical session, and one non-technical session focused on use cases and business cases
    • Data flows, data supply chain, product supply chain
    • For example, GS1 has very specific requirements that the KERI family of specs can meet
  • Daniel: can we develop a spreadsheet showing a classic product comparison table (similar to what the DIF DIDComm WG has created for DIDComm & HTTP(S))
    • Robert liked the idea of the table being something that stresses the business
    • ACTION: Robert Mitwicki will prepare a draft of a feature comparison table before our next meeting.
    • ACTION: Drummond Reed to talk to Brent Zundel about a session about VC V2 at IIW
  • Proposed sessions
    • GLEIF: Distributed Multi-Sig Chained Credentials using KERI and ACDC — Phil Feairheller and Kevin Griffin
    • What is ACDC? — Samuel Smith
      • KERI and ACDC Technical Session
      • Covers all the contributing specs
    • Why ACDC? (And Why Not _____?) — Robert Mitwicki
      • This would include A Feature Comparison Table
    • Secure Attribution with KERI: How it Fixes the Broken Internet — Samuel Smith
    • Practical Introduction to KERI: How Can I Actually Use it Today? - 

ACDC Specification Strategy:  Daniel Hardman

  • SAID spec—Sam Smith
  • IXP spec—Phil Feairheller
  • PXP spec—Phil Feairheller
  • PTel spec—Phil Feairheller
  • CESR spec—Sam Smith
  • CESR proof spec—Phil Feairheller
  • AID spec—Sam Smith
  • ACDC spec—Sam Smith
  • SIS spec—Robert Mitwiki
  • ACTION: Drummond Reed to update the ACDC home page deliverable table with these leads

General Discussion:

  • Suggestion is that KERI is too large to be a single spec, so break it into smaller specs.
  • For example, CESR can be broken out into a separate composable serialization spec.
  • And you separate out identifier specs.
  • Once you take the identifier formats and composable streaming format out, then KERI becomes a definition of events.
  • We also talked about the future of the W3C Verifiable Credentials spec—Brent Zundel is working on the charter for the V2 Working Group
    • What is being discussed is the possibility of the new WG taking a "Big Tent" approach
    • In that case, ACDC would be one of the "branches" or "options" or "families" of a W3C VC V2 compliant
    • The big question is whether others that would be in that big tent would be tolerant (or even welcoming) of having the ACDC family under the tent
  • Sam brought up the question of how KERI and ACDC deal with dynamic data
    • DIDs and DID documents try to be dynamic and VCs try to be dynamic, but neither does it with strong security
    • KERI and ACDC have a way of handling dynamic data with a zero-trust security model
    • Robert talked about how KELs can essentially act as microledgers ("single node blockchains") to trace the changes in state to any kind of data set
    • Sam agreed to you need both authentity, monotinicity, and protection from replay event logs
      • DID docs use the CRUD model
      • This requires using the RUN model (Read, Update, Nullify)
  • ACTION: Drummond Reed to ask Elisa to change the ACDC meeting to auto-record

2021-08-30

Details of how GLEIF is using ACDC and associated specs. Placeholder spec repositories at https://github.com/WebOfTrust

Specs WoT

KeyStorage keeping.py module Manager and Keeper classes encrypted secrets

vLEI Credentials rely on the following specifications:

  1. JSON Required https://datatracker.ietf.org/doc/html/rfc7159
  2. JSON Schema Version 2020-12 https://json-schema.org/draft/2020-12/json-schema-core.html
  3. Composable Event Streaming Representation (CESR) Specification https://github.com/WebOfTrust/cesr
  4. Attributable Identifiers (Autonomic Identifiers, AIDs,SCIDs) for Issuers and Holders using the did:keri Method (secure attribution) https://github.com/WebOfTrust/aid
  5. KERI Decentralized Identifiers (AIDs) did:keri Specification https://github.com/WebOfTrust/did-keri
  6. Self Addressing Identifiers (SAIDs) https://github.com/WebOfTrust/said
  7. Schema Immutability Specification (SIS) https://github.com/WebOfTrust/sis
  8. Composable Event Streaming Representation (CESR) Proof Format https://github.com/WebOfTrust/cesr-acdc-proof
  9. ToIP Authentic Chained Data Container (ACDC) Specification https://github.com/trustoverip/TSS0033-technology-stack-acdc
    1. (Informative) JSON required as defined in https://www.w3.org/TR/vc-data-model/#json
      1. Exception @context MUST NOT be included.
  10. Issuance Exchange Protocol Specification for ACDC and KERI (Key Event Receipt Infrastructure)
  11. Presentation Exchange Protocol Specification for ACDC and KERI
    1. WACI PEx https://github.com/decentralized-identity/waci-presentation-exchang
  12. Public Transaction Event Log (PTEL) Specification


Core Components of KERI  Robert Mitwicki

Key Provanance Log -> KEL
Self-Certifying Identifier -> SCI, keri prefix
Self-Addressing Identifier → SAI
General purpose registry -> TEL
Secure communication proctocol CESR/DIDComm?
Self Describing cryptograhic material encoding - CESR/Multicodec/CDE/JOSE/COSE
Key Storage


Relationship between ACDC and W3C VC 2.0 (Daniel Hardman)

   Not RDF Triples

    Compact IoT credentials

   Futures:

           Collaborate  W3C VC  Big Tent

            Go our own way with ToIP/IETF ACDC  

            Suck the Air Strategy ToIP/IETF ACDC


2021-08-16

OCA as a SAID based Schema Immutability specification

More details on ToIP glossary wiki facility

HCF working with ESSIF on Rules section of ACDC  https://github.com/decentralised-dataexchange/automated-data-agreements


2021-08-02

Issues with security privacy suggested pull request (Daniel Hardman)

Terminology (Daniel Hardman)

      How to formally manage terminology in Specs:  (Other group)  create terms wiki

      GitHub.com/trustoverip/acdc-tf-terms/wiki/  Create new page

      Glossary may be auto-generated from the wiki using the TT tool. (python)

Order of creation of SAIDs  (Daniel Hardman)

Degree of Saidification (Sam Smith)

Continue discussion on Schema and SAIDs

IGrant Data Agreement with ACDC (Robert Mitwicki)

GLEIF ACDC vs VC models

LPG model

Calendar of ToIP Meetings

2021-07-19

Continue discussion on Schema and SAIDs

LPG model

2021-06-28

Alignment with VC data model

Multiple Endorsers

Continue discussion on Schema and SAIDs

2021-06-21

Phil talk about JSON Schema and SAID

Change meeting time ?

Proof signature

Alignment with VC data model

Multiple Endorsers

2021-06-07

discussed and refined example in index.md  of draft spec.  Decided that certain blocks in VC MUST use SAI (self addressing identifiers) so that can reason about the data using the identifier.

This allows compactness and secure universal verifiability. Either the block is explicitly included or instead of the block a SAID.

The schema is nested with SAI blocks for the corresponding blocks in the VC

schema of data payload

schema of rules

2021-05-17

Write spec outline

Abstract Model

Two concrete implementations. One VC Linked-Data with  schema.org with security caveats, the Other JSON and immutable JSON-Schema

Example Spec Outline

https://w3c-ccg.github.io/vc-json-schemas/

Abstract

Introduction

Terminology

Specification
    Overview

        Security

        Guarantees

        Storage

        Versioning

    Definition

Versioning Guidelines

     Revision

     Model

Extensibility

Examples

     Verifiable Credentials

Drawbacks

Alternatives

Security & Privacy Considerations

Interoperability

      Security

      Semantics

Index
     Terms defined by this specification

References

     Informative References

https://github.com/trustoverip/WP0035-decentralized-resource-identifiers

High-Level Summary

Abstract

Motivation

Scope

Problem Statement

Solution

References

2021-05-10

Semantic inference and reasoning under uncertainty

https://github.com/SmithSamuelM/Papers/blob/master/whitepapers/VC_Enhancement_Strategy.md

Work Item for next week write spec outline

2021-03-26

OCA (Overlays Capture Architecture)  Robert Mitwicki    (input and semantic WG at ToIP)  standard

Deck: https://docs.google.com/presentation/d/17DS11jHQm3jGAUXCNwP5qFUBJrw7tcKiSGMgH2k0giA/edit?usp=sharing

OCA Article: https://humancolossus.foundation/blog/cjzegoi58xgpfzwxyrqlroy48dihwz
OCA editor: https://editor.oca.argo.colossi.network/
OCA spec draft: https://github.com/the-human-colossus-foundation/oca-spec

JSON-LD Security EndState Sam

Proposal Identifiers  Sam

MetaDiscussion Daniel

         RoadMap

         Hypothesis

Continue Discussion

Notes about ADC and its structure: https://hackmd.io/RX8ZAycxQhSpGZgBfRzqbg

2021-03-01

Data Item Model

Authentic Data Item = Attestation 

     Data Controller ID:   DID namespace controller

           Attestation ID: (in order to reason with data)(IETF RATS Alignment) ID of the Attributable Item Attestion.

             Derived DID from DID namespace

              Derived from Data Item Content (such as https://iscc.codes)(correlate attestations)

                 Verifiable Registry of Data Item

       Data Attributes:{NonAuthentic Attributes}

        Data Controller Signature on Data Item: (nonredudiable, integral) 

Data Mesh Meetup

2021-03-01

MKDocs GitHub

https://github.com/trustoverip/TSS0033-technology-stack-acdc

https://tools.ietf.org/html/draft-ietf-tls-subcerts-10

Delegation chain separate from identity chain

hiding part of the chain

privacy in both direction walking back up to the root and privacy walking down from the  root

2021-02-15

Followup on getting repo setup in MkDocs

Use Cases Selected:

Supply Chain (Mitwicki)

GLEIF (Smith and Reed)

Delegation (Hardman)

Data Source Provenance (Hardman and Smith)

IoT  (Hardjono)

Next task

Create proposals for chaining semantics with syntax.  (assume Verifiable Credential Based)

Express each use case in each chaining proposal.

Iterate on proposals.

Open Question:

Syntax should at least support Trees and DAGs  (Directed Acyclic Graphs) not merely linear chain

Should syntax also support cyclical graphs.

2021-02-01

Finalize choice of MkDocs vs SpecUp: Decided on MKDocs:

   Action Item: Sam work with TOIP to setup GitHub repo with MkDocs

EiDas Links: (See 2021-02-01)  Robert Mitwicki.  Discussion of SSI etc in EiDAS

Relation to Legal Framework for Digital Signatures

https://en.wikipedia.org/wiki/Electronic_signatures_and_law

https://acrobat.adobe.com/content/dam/doc-cloud/en/pdfs/adobe-sign-us-guide-e-signatures-wp-ue.pdf

UETA  https://www.uniformlaws.org/committees/community-home?CommunityKey=2c04b76c-2b7d-4399-977e-d5876ba7e034

ESIGN  Act  https://www.fdic.gov/regulations/compliance/manual/10/X-3.1.pdf

EiDAS

       Advanced Electronic Signature  Qualified Electronic Signature  Notaries  with Certificate = Handwrittern Signature

Review Use Cases:

Semantic Containers: Pauls Knowles Semantic Container.  Nested Forms. Consent.

Distinguish between different types of containers as part of specification for ACDC

2021-01-18

Action Item Robert Mitwicki add information on EIDAS  regulation  allows for linking.

Discussed CCG Meeting on ZCap vs VC Authorization

Discussed Use Cases  

MkDocs vs Spec Up  (Tables?)

Action Item Sam review and present at next meeting

2021-01-04

Use Case Summaries

GLEIF vLEI  https://hackmd.io/dlnfd8xOSqmD90v4Y6mzFQ  (Sam Smith ProSapien)

Supply Chain  https://hackmd.io/vYztT346RC-m34aVmFB7vg (Robert Mitwiki Human Colossus )

Global ID for life https://hackmd.io/vYztT346RC-m34aVmFB7vg (IdNum - Robert) 

Digital Immunization Passport https://hackmd.io/vYztT346RC-m34aVmFB7vg (Robert) 

Authorizations for Encrypted Backups use_case.md (Charles Cunningham Eugeniu Rusu Jolocom)

Guardianship Chain of Credentials (Evernym  Daniel and Drummond)

Delegating Access to Rented Car (Evernym)

Provenancing Inherited Attributes (Daniel Hardman Evernym ProSapien)

Delegation of Certification Authority PKI Certificate Like Chaining  (Ned Smith Intel)

Object Capabilities Like Authorizations (See authorizations for encrypted backups) 

Critical Supply Chain Provenancing (Carsten Stoecker Spherity)

Open Accredited Market Participation Energy Market  (Jolocom)

Provenance Virtuous Supply Chains Conscious Consumers Demand Pull  

Data Supply Chain Provenance

Data Supply Chain Consent Provenance Consented Data Privacy  (Samuel Smith ProSapien)

Content Distrubution Networks (copyright, acknowledgement, usage, attribution)  (Thomas Hardjano MIT)

IoT Onboarding Devices (Ned Smith Intel, Thomas Hardjano MIT)

Attestation Chaining

Anonymized Data Chains - https://hackmd.io/vYztT346RC-m34aVmFB7vg

Representing business processes/entity lifecycles with SSI - Representing Lifecycles of Entities using States + SSI.pdf

Attribution Chaining Semantic Super Semantic

     Secure Attribution of statement to controller of a decentralized identifier

     A securely attributed chaining statement links two securely attributed statements together

     A chaining statement is a special case statement whose semantics are to securely linked by attribution.

     This chaining may be applied recursively.

     The chained statements that are not chaining statements may convey sub-semantics such as authorization, delegation, attestation, provenance, etc.

     Attribution Verification Types:  Nonrepudiable Signatures. ZKPs. Anonymized Data.

Certificate Result Certification 

    Certifying the result of a decision  

    Verifiable Algorithm

    CoSWID Tags  IETF

  • No labels