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

Piers Powlesland <pierspowlesland@gmail.com> Wed, 13 June 2018 18:55 UTC

Return-Path: <pierspowlesland@gmail.com>
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 87413126CB6 for <din@ietfa.amsl.com>; Wed, 13 Jun 2018 11:55:33 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.999
X-Spam-Level:
X-Spam-Status: No, score=-1.999 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.com
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 nbKaMSnCZ1In for <din@ietfa.amsl.com>; Wed, 13 Jun 2018 11:55:31 -0700 (PDT)
Received: from mail-wm0-x230.google.com (mail-wm0-x230.google.com [IPv6:2a00:1450:400c:c09::230]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 23844130E70 for <din@irtf.org>; Wed, 13 Jun 2018 11:55:31 -0700 (PDT)
Received: by mail-wm0-x230.google.com with SMTP id z6-v6so349431wma.0 for <din@irtf.org>; Wed, 13 Jun 2018 11:55:31 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=+S/sz5IrWYQXQGX8aF1GfYsqNnFrl0mEjYA0kXbZzCI=; b=Rf6vKIumCXTGhruqhYnFJrRBm2qsdvlBjS4HaYMDQZ8oOg4tPbe603YieGjd2jOwAU JkMoAqQaIMCvoHYkKle4PZdrnTXdmqtU2Q4OND48TtWEoF5GVn2o5DZvlvHnmTrBtUWp tUn3QtZXZ2eezx6hc+2YY5InHlWyL4I0A/rlyO5qVVSd1/hQFJdUOxqoJiixiecExQh4 oRNpzA7OPk/vaArAF5+IEPeM8Nyzim+AE27+bweU5jypDylv5cRfjrTpgSVcb1Fw4CGm mbDnRWV8BjjP+k3mOB5xKuOVP+TEM3MXQOaHmvVMMknFmI7flBcws69nSAfYeQkdEz4e kuQA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=+S/sz5IrWYQXQGX8aF1GfYsqNnFrl0mEjYA0kXbZzCI=; b=A/VWuOAToeyW7SSrqkMUIL0LNQ1EqwjVAsuQmyKtzNWHtsko9h1A5I2L+HFj4gUa4b HXCRrG8SdFm3DtunuwBozpGC6ALoMeDINQ2eyeElrZO58WCYRY0RWfXxO+3gXnN4CChZ ps0OtKH+CYk7M4emGS536PJhD6BgGejwpq/cwNNMHUyoMNagVSE3sf/wGcIPLYuuwK7J 4oglD8s2aAA6XRq6SYxna4IYq4QYiyPgc2TuWTkjlpsa2cE5vvmqQS8UOrLSs4JkMmtt bndt5E7g3fTR0aMh4jQT2u9ETTVoZ73GxM25Nj+Rv9Zprpz5sxWyHVegsf9qBjkNQEUx wJYw==
X-Gm-Message-State: APt69E3R3T4xhJoaTvkr6f7Zj90mmKGTzRyfpHf7pbf6NPqY9w9kwX6d vGOljR9BZO5yl4lbVBpH8S0kTheS6Q68SG1PLgo=
X-Google-Smtp-Source: ADUXVKL6aFPsobOKWtTuj4Tz6V46m2ug4VCE7WPd+HaYe0ev/ICanyI1damTFBshNCkE6K84OysQeE43jfchq0YFRPo=
X-Received: by 2002:a1c:5c93:: with SMTP id q141-v6mr4196028wmb.77.1528916129641; Wed, 13 Jun 2018 11:55:29 -0700 (PDT)
MIME-Version: 1.0
Received: by 2002:adf:eec9:0:0:0:0:0 with HTTP; Wed, 13 Jun 2018 11:55:28 -0700 (PDT)
In-Reply-To: <87k1r3bdaq.fsf@ta.scs.stanford.edu>
References: <CAFXacX=QsPgu=jcgUtAJbQRnBZA_CmbY+AvjoovCoWuuVPqESQ@mail.gmail.com> <87k1r3bdaq.fsf@ta.scs.stanford.edu>
From: Piers Powlesland <pierspowlesland@gmail.com>
Date: Wed, 13 Jun 2018 19:55:28 +0100
Message-ID: <CAFXacX=cmOP0MuceF9Mukf3RngenFx2eBB=wWWai+RRb1em+4w@mail.gmail.com>
To: David Mazieres expires 2018-09-10 PDT <mazieres-35dxq5brxkqbm7z745zavx7wdi@temporary-address.scs.stanford.edu>
Cc: din@irtf.org
Content-Type: multipart/alternative; boundary="000000000000cc7cf3056e8a8636"
Archived-At: <https://mailarchive.ietf.org/arch/msg/din/7ByUcAAKRNBuLIQc_9Gp55ia1Nc>
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 18:55:34 -0000

Thanks David,

That makes a bunch of sense.

If I did want to encode a bunch of explicit slices in a manner similar to
that discussed in the whitepaper using the SCPQuorumSet structure (
https://tools.ietf.org/html/draft-mazieres-dinrg-scp-02#section-3.3). I
guess I could have a top level set with the threshold set to 1 and then
encode each quorum slice in separate SCPQuorumSet1 instances each of which
would have the threshold set to the length of their validators.

Reading that section again I'm wondering why only 2 levels of nesting are
allowed?


On Wed, Jun 13, 2018 at 4:01 AM, David Mazieres <
dm-list-ietf-ilc@scs.stanford.edu> wrote:

> 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
>