From 9b1de5931ed5cd1159403fc016f725858d8b6027 Mon Sep 17 00:00:00 2001 From: Sanaz Date: Tue, 12 Jan 2021 18:04:21 -0800 Subject: [PATCH] adds the formal definition --- rln-research/merkle-tree-update.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/rln-research/merkle-tree-update.md b/rln-research/merkle-tree-update.md index 55d9d8d..7e6c4dc 100644 --- a/rln-research/merkle-tree-update.md +++ b/rln-research/merkle-tree-update.md @@ -18,6 +18,13 @@ For the sake of privacy and anonymity, peers need to update their authentication An immediate solution for this is to store the entire tree at each peer, which is not storage efficient and does not fit for the resource constrained peers. +# Formal Problem Definition +We are seeking a solution in which a peer can perform the following operations by keeping the minimum number of tree nodes +- recalculate the root after a member insertion +- recalculate the root after a member deletion +- recalculcate an aithentication path for a given leaf index after an insertion +- recalculcate an aithentication path for a given leaf index after a deletion + # Solution Overview