The Duplicity Game: or why you can trust KERI Samuel M. Smith Ph.D. sam@prosapien.com 1IW Spring 2020 April 28-30 https://github.com/SmithSamuelM/Papers https://github.com/SmithSamuelM/Papers/blobjmaster/presentations/KERI2_Overview_IIW_2020_A.pdf https://github.com/SmithSamuelM/Papers/blob/masterfwhitepapers/KERI_WP_2.x.web.pdf https://github.com/decentralized-identity/keri https://github.com/decentralized-identity/keri/blobjmasterfimplementation.md https:/fhackmd.ioforhyiJkLT721v4PCPkvQiA?both
Inconsistency and Duplicity Full Sequence Establishment Non-Establishment ‘Subsequence ‘Subsequence Inception Event | —— Rotation Event Interaction Event |, : Interaction Event _ iRl s Rotation Event | v ——— Rotation Event Interaction Event | : Rotation Event Interaction Event |, : Interaction Event
Inconsistency and Duplicity Full Sequence Inconsistency vs. Duplicity Establshment Non-Estabishment Subsequence Subsequence Inception Event | ——— Rotation Event Interaction Event |, ‘ Interaction Event |_ " Rotation Event | —— Rotation Event Interaction Event |, ‘ Rotation Event Interaction Event |, | Interaction Event
Inconsistency and Duplicity Full Sequence Inconsistency vs. Duplicity Establshment Non-Estabishment i ettt bl inconsistercy: acking agreement, a two of more things i relaton to each other Inception Event v — Rotation Event Interaction Event | : Interaction Event |_ " Rotation Event e ——— Rotation Event Interaction Event | : Rotation Event Interaction Event |, : Interaction Event
Inconsistency and Duplicity Full Sequence Inconsistency vs. Duplicity Estabishment Non-Estabishment Setnent e inconsistarcy: acking agreement, as two of more things i rlaton to each other duplicity. acing in two diferent ways to diferent people conceming the same matter Inception Event | ] Rotation Event ] Interaction Event | Interaction Event | ‘ Rotation Event | Rotation Event ‘ Interaction Event |, | e 1 Rotation Event e Interaction Event |, e Interaction Event
Inconsistency and Duplicity Full Sequence Inconsistency vs. Duplicity Establshment Non-Estabishment i Soptltment i inconsistency: acking agreement, as o or more tings n reaton o each other dupiciy: acing n o diferent ways t dfeent people conceming the same malter
Inception Event Rotation Event J Internal vs. External Inconsistency
Interaction Event |, ‘
Interaction Event |_
——] Rotation Event
[ ——
Rotation Event
Interaction Event |, ‘ Rotation Event
Interaction Event |, |
Interaction Event
Inconsistency and Duplicity Full Sequence Inconsistency vs. Duplicity gi‘::!;cg‘;f: Nflgfimz:x’“ inconsistency: lacking agreement, as two or more things in relation to each other dupiity: acing in two iferent ways to diferent people conceming the same matter
Inception Event Rotation Event J Internal vs. External Inconsistency
Interaction Event :I_‘ Internally inconsistent log = not verifiable.
Interaction Event |_ : Rotation Event R Rotation Event :
Interaction Event |, Rotation Event :
Interaction Event |,
Interaction Event :
Inconsistency and Duplicity Full Sequence Inconsistency vs. Duplicity Establshment Non-Estabishment i Soptltment e inconsistency: acking agreement, as o or more tings n reaton o each other dupiciy: acing n o diferent ways t dfeent people conceming the same malter
Inception Event Rotation Event = Internal vs. External Inconsistency
Interaction Event | | Internally inconsistent log = not verifiable.
Interaction Event Log verification from self-certifying root-of-trust Rotation Event protects against internal inconsistency.
[ ——
Rotation Event |
Interaction Event |, : Rotation Event
Interaction Event |, :
Interaction Event
Inconsistency and Duplicity Full Sequence Inconsistency vs. Duplicity Establshment Non-Estabishment i Soptltment i inconsistercy: acking agreement, a two of more things i relaton to each other dupiity: acing in two iferent ways to diferent people conceming the same matter Inception Event Rotation Event = Internal vs. External Inconsistency Interaction Event | | Internally inconsistent log = not verifiable. Interaction Event Log verification from self-certifying root-of-trust Rotation Event protects against internal inconsistency. | —— Rotation Event e Externally inconsistent log with a purported Interaction Event |, : copy of log but both verifiable = duplicitous. Rotation Event Interaction Event |, | Interaction Event
Inconsistency and Duplicity Full Sequence Inconsistency vs. Duplicity Establshment Non-Estabishment i Soptltment e inconsistercy: acking agreement, a two of more things i relaton to each other dupiity: acing in two iferent ways to diferent people conceming the same matter Inception Event Rotation Event = Internal vs. External Inconsistency Interaction Event | | Internally inconsistent log = not verifiable. Interaction Event Log verification from self-certifying root-of-trust Rotation Event protects against internal inconsistency. [ il | Rotation Event e Externally inconsistent log with a purported Interaction Event |, : copy of log but both verifiable = duplicitous. Rotation Event Duplicity detection protects against . N Interaction Event external inconsistency. | TR Interaction Event
Duplicity Game kCave e
Duplicity Game Cate Contoter Log private (one-to-one) interactions
Duplicity Game Cate Gl Log wil e private (one-to-one) interactions
Duplicity Game e Contoter Log Wil 700 aigaer vaiaor Log Log private (one-to-one) interactions
Cate promises to provide a DUp'ICIty Game consistent pair-wise log. Local Consistency Guarantee Cate Corirotr Log wil Zoe aicttor vaittor Log Log private (one-to-one) interactions
Cate promises to provide a DUp'ICIty Game consistent pair-wise log. Local Consistency Guarantee Cate Corirotr Log / \ wil Zoe aicttor vaittor Log Log private (one-to-one) interactions
Cate promises to provide a DUp'ICIty Game consistent pair-wise log. Local Consistency Guarantee Cate Corirotr Log / \ wil Zoe aicttor vaittor Log Log private (one-to-one) interactions
Cate promises to provide a Duplicity Game How may Cate be duplicitous consistent pair-wise log. and not get caught? Local Consistency Guarantee Cate Corirotr Log / \ wil 700 aicttor vaittor Log Log private (one-to-one) interactions
Cate promises to provide a Duplicity Game How may Cate be duplicitous consistent pair-wise log. and not get caught? Local Consistency Guarantee Cate Contoter Log / B Log V1 Wil 700 aigaer vaiaor Log Log private (one-to-one) interactions
Cate promises to provide a Duplicity Game How may Cate be duplicitous consistent pair-wise log. and not get caught? Local Consistency Guarantee Cate Contoter Log / B LogV1 LogV2 Wil 700 aigaer vaiaor Log Log private (one-to-one) interactions
Cate promises to provide a DUp'ICIty Game How may Cate be duplicitous consistent pair-wise log. and not get caught? Local Consistency Guarantee Cate Gl Log / B Log V1 = ‘ icator vaioor Log Log private (one-to-one) interactions
Cate promises to provide a Duplicity Game How may Cate be duplicitous consistent pair-wise log. and not get caught? Local Consistency Guarantee Cate Contoter Log / Log V1 Wil 700 aigaer vaiaor Log Log private (one-to-one) interactions
Cate promises to provide a Duplicity Game How may Cate be duplicitous consistent pair-wise log. and not get caught? Local Consistency Guarantee Cate Contoter Log / A Log V1 Wil 700 aigaer vaiaor Log Log private (one-to-one) interactions
Cate promises to provide a Duplicity Game How may Cate be duplicitous consistent pair-wise log. and not get caught? Local Consistency Guarantee Cate Contoter Log / A Log V1 LogV2 Wil 700 aigaer vaiaor Log Log private (one-to-one) interactions
Duplicity Game ACfl\c e