[Trans] YABQ (yet another Ben question)
"Salz, Rich" <rsalz@akamai.com> Sun, 28 March 2021 20:54 UTC
Return-Path: <rsalz@akamai.com>
X-Original-To: trans@ietfa.amsl.com
Delivered-To: trans@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id E28F83A2635 for <trans@ietfa.amsl.com>; Sun, 28 Mar 2021 13:54:57 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.098
X-Spam-Level:
X-Spam-Status: No, score=-2.098 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIMWL_WL_HIGH=-0.001, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_BLOCKED=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=akamai.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 4eCmzu1xZJqp for <trans@ietfa.amsl.com>; Sun, 28 Mar 2021 13:54:53 -0700 (PDT)
Received: from mx0a-00190b01.pphosted.com (mx0a-00190b01.pphosted.com [IPv6:2620:100:9001:583::1]) (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 DBC193A262F for <trans@ietf.org>; Sun, 28 Mar 2021 13:54:53 -0700 (PDT)
Received: from pps.filterd (m0122332.ppops.net [127.0.0.1]) by mx0a-00190b01.pphosted.com (8.16.0.43/8.16.0.43) with SMTP id 12SKsFce031167 for <trans@ietf.org>; Sun, 28 Mar 2021 21:54:52 +0100
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=akamai.com; h=from : to : subject : date : message-id : content-type : mime-version; s=jan2016.eng; bh=sPv5YvehQJ0NMeLSqb/hIjY7EoJFNTjxadujRYdtLns=; b=bW5WWPhw3vOf47NBDN9lsKpcZoCjzBMe8/vVTT23k+7qol8diCyzyEcgCOm7hz3D+vFP htyYVR1zH1VFODRcsmsPKU7WskeZBH10ZFdfCbNSN9EpRQOh50OtLyOJMXSlYszBNIL+ 0AQmYW1sDYVQQYFIF2kMFumRP/7IEbaZCqy8LC9mWjx7AiNSoOjOHUAbkXYZRUePsH2q YNymTPsCkAgYbGc1L5AzN3YLbTG1XUPp+SeAz+hSEZboDiqfwzDLGOexZiXHyQCmUoRl Pwg9k/h8FfOg7bFT4YZgitiMJHMQbgoqDKpJyF71ZEp848GWrr/i1+mByNEy0ssOV/Av 4Q==
Received: from prod-mail-ppoint2 (prod-mail-ppoint2.akamai.com [184.51.33.19] (may be forged)) by mx0a-00190b01.pphosted.com with ESMTP id 37hwmtth2d-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for <trans@ietf.org>; Sun, 28 Mar 2021 21:54:51 +0100
Received: from pps.filterd (prod-mail-ppoint2.akamai.com [127.0.0.1]) by prod-mail-ppoint2.akamai.com (8.16.0.43/8.16.0.43) with SMTP id 12SKoShC018754 for <trans@ietf.org>; Sun, 28 Mar 2021 16:54:50 -0400
Received: from email.msg.corp.akamai.com ([172.27.123.33]) by prod-mail-ppoint2.akamai.com with ESMTP id 37j01ykt50-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=NOT) for <trans@ietf.org>; Sun, 28 Mar 2021 16:54:50 -0400
Received: from USMA1EX-DAG1MB1.msg.corp.akamai.com (172.27.123.101) by usma1ex-dag1mb3.msg.corp.akamai.com (172.27.123.103) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Sun, 28 Mar 2021 16:54:50 -0400
Received: from USMA1EX-DAG1MB1.msg.corp.akamai.com ([172.27.123.101]) by usma1ex-dag1mb1.msg.corp.akamai.com ([172.27.123.101]) with mapi id 15.00.1497.012; Sun, 28 Mar 2021 16:54:50 -0400
From: "Salz, Rich" <rsalz@akamai.com>
To: "trans@ietf.org" <trans@ietf.org>
Thread-Topic: YABQ (yet another Ben question)
Thread-Index: AQHXJBSXax4BC/972keMlZfc43djxw==
Date: Sun, 28 Mar 2021 20:54:49 +0000
Message-ID: <0A85A035-6EB0-472B-A95E-7689159172A3@akamai.com>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
user-agent: Microsoft-MacOutlook/16.47.21031401
x-ms-exchange-messagesentrepresentingtype: 1
x-ms-exchange-transport-fromentityheader: Hosted
x-originating-ip: [172.27.118.139]
Content-Type: multipart/alternative; boundary="_000_0A85A0356EB0472BA95E7689159172A3akamaicom_"
MIME-Version: 1.0
X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.369, 18.0.761 definitions=2021-03-28_12:2021-03-26, 2021-03-28 signatures=0
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 mlxlogscore=784 adultscore=0 phishscore=0 malwarescore=0 mlxscore=0 bulkscore=0 suspectscore=0 spamscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2103250000 definitions=main-2103280160
X-Proofpoint-ORIG-GUID: 3rE7vAJF6fuzxjqWbUOf2KGZXxa_PL9f
X-Proofpoint-GUID: 3rE7vAJF6fuzxjqWbUOf2KGZXxa_PL9f
X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.369, 18.0.761 definitions=2021-03-28_12:2021-03-26, 2021-03-28 signatures=0
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 priorityscore=1501 mlxscore=0 adultscore=0 mlxlogscore=716 phishscore=0 suspectscore=0 clxscore=1015 bulkscore=0 spamscore=0 malwarescore=0 impostorscore=0 lowpriorityscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2103250000 definitions=main-2103280161
X-Agari-Authentication-Results: mx.akamai.com; spf=${SPFResult} (sender IP is 184.51.33.19) smtp.mailfrom=rsalz@akamai.com smtp.helo=prod-mail-ppoint2
Archived-At: <https://mailarchive.ietf.org/arch/msg/trans/sPE4v5bZbqSOqff0iJzlYxvX5Ig>
Subject: [Trans] YABQ (yet another Ben question)
X-BeenThere: trans@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Public Notary Transparency working group discussion list <trans.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/trans>, <mailto:trans-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/trans/>
List-Post: <mailto:trans@ietf.org>
List-Help: <mailto:trans-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/trans>, <mailto:trans-request@ietf.org?subject=subscribe>
X-List-Received-Date: Sun, 28 Mar 2021 20:54:58 -0000
In section 2.1.4.1, > If m <= k, the right subtree entries D[k:n] only exist in the current > tree. We prove that the left subtree entries D[0:k] are consistent > and add a commitment to D[k:n]: > > SUBPROOF(m, D_n, b) = SUBPROOF(m, D[0:k], b) : MTH(D[k:n]) > >This 'b' is always 'false', right?
- [Trans] YABQ (yet another Ben question) Salz, Rich
- Re: [Trans] YABQ (yet another Ben question) Salz, Rich