Re: [Din] Quorum slice representation in revised SCP draft draft-mazieres-dinrg-scp-02

David Mazieres <dm-list-ietf-ilc@scs.stanford.edu> Wed, 13 June 2018 03:01 UTC

Return-Path: <dm-list-ietf-ilc@scs.stanford.edu>
X-Original-To: din@ietfa.amsl.com
Delivered-To: din@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id B1D56130DDB for <din@ietfa.amsl.com>; Tue, 12 Jun 2018 20:01:08 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.001
X-Spam-Level:
X-Spam-Status: No, score=-2.001 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=scs.stanford.edu
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id yRgXrKfAZSyQ for <din@ietfa.amsl.com>; Tue, 12 Jun 2018 20:01:04 -0700 (PDT)
Received: from market.scs.stanford.edu (www.scs.stanford.edu [IPv6:2001:470:806d:1::9]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 95458130DD5 for <din@irtf.org>; Tue, 12 Jun 2018 20:01:04 -0700 (PDT)
Received: from market.scs.stanford.edu (localhost [127.0.0.1]) by market.scs.stanford.edu (8.16.0.21/8.16.0.21) with ESMTP id w5D3125G054421; Tue, 12 Jun 2018 20:01:02 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=scs.stanford.edu; s=scs; t=1528858862; bh=KGIfik+3DZBhtVxXQ9wtJ4cLGJdvwq460VUPwVswDLs=; h=From:To:Subject:In-Reply-To:References:Date:Message-ID: MIME-Version; b=J8SUWUTO6++zrxcbFoFsIaTSyFi+4QJ+lLbtIbSHe9t2fjSMSFJdDIyHUtklKKal1 PqeA0SNx9XbVNFoHyeqa3FhZDSM7hPE7Z8OXmgHxqg/qvTmdydkJvJBKUs4NiCfQb6 DPl06gT4rKkMHrsER1ne4RWGYTSGE9FrIgIHjs98=
Received: (from dm@localhost) by market.scs.stanford.edu (8.16.0.21/8.16.0.21/Submit) id w5D311Il079052; Tue, 12 Jun 2018 20:01:01 -0700 (PDT)
From: David Mazieres <dm-list-ietf-ilc@scs.stanford.edu>
To: Piers Powlesland <pierspowlesland@gmail.com>, din@irtf.org
In-Reply-To: <CAFXacX=QsPgu=jcgUtAJbQRnBZA_CmbY+AvjoovCoWuuVPqESQ@mail.gmail.com>
References: <CAFXacX=QsPgu=jcgUtAJbQRnBZA_CmbY+AvjoovCoWuuVPqESQ@mail.gmail.com>
Reply-To: David Mazieres expires 2018-09-10 PDT <mazieres-35dxq5brxkqbm7z745zavx7wdi@temporary-address.scs.stanford.edu>
Date: Tue, 12 Jun 2018 20:01:01 -0700
Message-ID: <87k1r3bdaq.fsf@ta.scs.stanford.edu>
MIME-Version: 1.0
Content-Type: text/plain
Archived-At: <https://mailarchive.ietf.org/arch/msg/din/pMcXSfNpXRiRZi2U6uRKE4bpyPo>
Subject: Re: [Din] Quorum slice representation in revised SCP draft draft-mazieres-dinrg-scp-02
X-BeenThere: din@irtf.org
X-Mailman-Version: 2.1.26
Precedence: list
List-Id: "Discussion of distributed Internet Infrastructure approaches, aspects such as Service Federation, and underlying technologies" <din.irtf.org>
List-Unsubscribe: <https://www.irtf.org/mailman/options/din>, <mailto:din-request@irtf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/din/>
List-Post: <mailto:din@irtf.org>
List-Help: <mailto:din-request@irtf.org?subject=help>
List-Subscribe: <https://www.irtf.org/mailman/listinfo/din>, <mailto:din-request@irtf.org?subject=subscribe>
X-List-Received-Date: Wed, 13 Jun 2018 03:01:09 -0000

Piers Powlesland <pierspowlesland@gmail.com> writes:

> Hi all,
>
>
> The description of a node's quorum slices in the white paper is a
> collection of sets of nodes for which any set is sufficient to convince the
> node of system wide agreement. I would represent this as a list of lists.
>
> So I'm wondering why the recursive SCPQuorumSet struct was chosen to
> represent quorum slices?

The whitepaper uses sets of sets for the proofs because it's the most
general thing possible.  However, often people want a very large number
of quorum slices--like, say, k of n nodes.  For, say, a 7-out-of-10
configuration, that's 120 different quorum slices, which would be quite
unwieldy to ship around as a list of lists.

David