From 81141c3193d0aab961d5836aa9b20de0513c0a50 Mon Sep 17 00:00:00 2001 From: cgeek <cem.moreau@gmail.com> Date: Sun, 30 Dec 2018 18:04:41 +0100 Subject: [PATCH] [fix] Protocol mistake for certifications selection (BR_G44 + BR_G44.2) --- doc/Protocol.md | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/doc/Protocol.md b/doc/Protocol.md index 3568524e7..6d6fa1024 100644 --- a/doc/Protocol.md +++ b/doc/Protocol.md @@ -2265,7 +2265,7 @@ If `HEAD.number > 0`: ####### BR_G44 - ENTRY.isReplay - reducable = GLOBAL_CINDEX[issuer=ENTRY.issuer,receiver=ENTRY.receiver,expired_on=0] + reducable = GLOBAL_CINDEX[issuer=ENTRY.issuer,receiver=ENTRY.receiver] If `count(reducable) == 0`: @@ -2274,12 +2274,16 @@ If `count(reducable) == 0`: Else: ENTRY.isReplay = reduce(reducable).expired_on == 0 + +> Means: +> * if no entry exists, this cannot be a replay +> * if entries exist, then it is a replay only if the reduction is not expired yet ####### BR_G44.2 - ENTRY.isReplayable If `HEAD.number > 0 && HEAD~1.version > 10` : - reducable = GLOBAL_CINDEX[issuer=ENTRY.issuer,receiver=ENTRY.receiver,expired_on=0] + reducable = GLOBAL_CINDEX[issuer=ENTRY.issuer,receiver=ENTRY.receiver] If `count(reducable) == 0`: @@ -2294,6 +2298,10 @@ Else: EndIf +> Means: +> * if non-root block in v11: the certification is replayable if no entries exist or if their reduction is passed +> * if root or <= v10: replayability concept did not exist + ####### BR_G45 - ENTRY.sigOK ENTRY.sigOK = SIG_CHECK_CERT(REDUCE(GLOBAL_IINDEX[pub=ENTRY.receiver]), ENTRY) -- GitLab