[CFRG] Re: Where should test vectors live?
Frank Denis <cfrg@pureftpd.org> Fri, 20 September 2024 10:42 UTC
Return-Path: <cfrg@pureftpd.org>
X-Original-To: cfrg@ietfa.amsl.com
Delivered-To: cfrg@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id AEDDCC151717 for <cfrg@ietfa.amsl.com>; Fri, 20 Sep 2024 03:42:21 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -7.105
X-Spam-Level:
X-Spam-Status: No, score=-7.105 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, 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_HI=-5, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01, URIBL_BLOCKED=0.001, URIBL_DBL_BLOCKED_OPENDNS=0.001, URIBL_ZEN_BLOCKED_OPENDNS=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=pureftpd.org; domainkeys=pass (2048-bit key) header.from=cfrg@pureftpd.org header.d=pureftpd.org
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id rjuCyg6ZPjk2 for <cfrg@ietfa.amsl.com>; Fri, 20 Sep 2024 03:42:17 -0700 (PDT)
Received: from mailout-uk.mx.c9x.org (mailout-uk.mx.c9x.org [137.74.223.233]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (P-256) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id C131FC15155C for <cfrg@irtf.org>; Fri, 20 Sep 2024 03:42:15 -0700 (PDT)
Received: from msync.c9x.org (localhost [127.0.0.1]) by msync.c9x.org (OpenSMTPD) with ESMTP id b8bea1e1 for <cfrg@irtf.org>; Fri, 20 Sep 2024 12:42:12 +0200 (CEST)
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pureftpd.org; h=from :content-type:mime-version:subject:date:references:to :in-reply-to:message-id; s=selector1; bh=ZaGtUmeMywor0CS5O6YeoVl F9hE=; b=yQ+74SeOGYwgHrfKr9bh1zPNphduRvES4cRGbsAhWc0qLamWmgjMw8Y FcEDk6KHBvnz+OmEbgUsQEu3/s/N3WnyQnRsxApdKREJQG4omToukRO9ia5ip+WS DbM4mXXjU7UbfZ6axaKiaV6kSXnkL9f7ekmbeDTcEPUeJY+B20MHDFh64gO/Ls3X imo+BflbUoK/MpRbDaYTrw5h5834Sd98wi9wmxJYiGrxadRd9RXxDi5PiQvQw6TD YnxLGOM32VMXiXZb7jycpzCGl++MxyW4mmGJWbjidbBi8VbaTcIeRALuyVH6+bOz w+ep7P/utyWvEQ+GiZYEI4TK5Y/tjhw==
DomainKey-Signature: a=rsa-sha1; c=nofws; d=pureftpd.org; h=from :content-type:mime-version:subject:date:references:to :in-reply-to:message-id; q=dns; s=selector1; b=Mj5Vvakm9FjjxJCm8 YQOocTLqVEnvPlfHMdGEHm+LfQxg8UIcB0hiecU7dHs1AcGgyOgt31KG3thk56vI duaAWd3nziXM+eQD8iItHLhgfVd9EGDh2lffHl2g+CjzxwRmR0CUgOrGoFprmbKZ Fo7FR7AcXE2XD63wgSIiR/VOMy6oKYuThtG5ij6LyFx/XZ3iiwlAzlpo5zsmbh7l RZXKLvM2dXhAA5PDTGrUFXJOolUTtKIxs9ElzkziD87GJD4u+d4VxfUDGARTcbhu 6KbKwu4IjUnbTWxu4/RTPdKb++HQeuMle+/mWbmus93BPEMnZJ4yzWTe3I8ov362 I2xOg==
Received: from smtpclient.apple (nogent.c9x.org [82.66.97.28]) by premiere.mx.c9x.org (OpenSMTPD) with ESMTPSA id a144786b (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for <cfrg@irtf.org>; Fri, 20 Sep 2024 12:42:12 +0200 (CEST)
From: Frank Denis <cfrg@pureftpd.org>
Content-Type: multipart/alternative; boundary="Apple-Mail=_0372DB44-2458-41C5-8277-ED3096EB55DA"
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3818.100.11.1.3\))
Date: Fri, 20 Sep 2024 12:41:51 +0200
References: <CAG2Zi20N98cxpgjfRe6gWw1SQEoux+5P3NhLBFUfUHk_udYeFg@mail.gmail.com>
To: CFRG <cfrg@irtf.org>
In-Reply-To: <CAG2Zi20N98cxpgjfRe6gWw1SQEoux+5P3NhLBFUfUHk_udYeFg@mail.gmail.com>
Message-Id: <D48BF560-588E-425B-8427-6F0C0E4C2FDE@pureftpd.org>
X-Mailer: Apple Mail (2.3818.100.11.1.3)
Message-ID-Hash: RYYASRPXR3NFDSB5Z6QODMU5GDMZJKXH
X-Message-ID-Hash: RYYASRPXR3NFDSB5Z6QODMU5GDMZJKXH
X-MailFrom: cfrg@pureftpd.org
X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; header-match-cfrg.irtf.org-0; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header
X-Mailman-Version: 3.3.9rc4
Precedence: list
Subject: [CFRG] Re: Where should test vectors live?
List-Id: Crypto Forum Research Group <cfrg.irtf.org>
Archived-At: <https://mailarchive.ietf.org/arch/msg/cfrg/RmZD_bSKV_v6O3PpuxRwoVgWEGU>
List-Archive: <https://mailarchive.ietf.org/arch/browse/cfrg>
List-Help: <mailto:cfrg-request@irtf.org?subject=help>
List-Owner: <mailto:cfrg-owner@irtf.org>
List-Post: <mailto:cfrg@irtf.org>
List-Subscribe: <mailto:cfrg-join@irtf.org>
List-Unsubscribe: <mailto:cfrg-leave@irtf.org>
Hi, For implementers, JSON files are indeed be more convenient than the human-readable ones. In the draft-irtf-cfrg-aegis-aead draft, the test vectors are included in the document as in RFC9180, but also available as JSON files at https://github.com/cfrg/draft-irtf-cfrg-aegis-aead/tree/main/test-vectors The JSON files are automatically extracted from the document, so we can ensure that they always match. That being said, the link to these files has been tagged as having to be removed by the RFC editor before publication, as this repository may not be suitable as permanent location. Or could it? Would it be possible for GitHub repos within the CFRG organization to be considered stable URIs (as in: can be included in RFCs) to store test vectors and reference code? That would greatly simplify things, both for document authors and for implementers. -Frank. > On Sep 20, 2024, at 02:17, Christopher Patton <cpatton=40cloudflare.com@dmarc.ietf.org> wrote: > > Hi CFRG, > > It occurred to me today that our drafts often have human-friendly test vectors that look something like this: > https://datatracker.ietf.org/doc/html/rfc9180#appendix-A.1.1 > > These aren't super convenient for a machine. In theory you could write a script that downloads https://www.rfc-editor.org/rfc/rfc9180.txt and write a parser to pull out the test vectors, but does anyone really do this? Luckily for RFC 9180 we have a JSON version to work with instead: > https://raw.githubusercontent.com/cfrg/draft-irtf-cfrg-hpke/refs/heads/master/test-vectors.json > > How do folks feel about pointing to machine readable test vectors from an RFC in lieu of producing human-friendly, but machine-unfriendly in the appendix? Suppose for example an RFC had a pointer to a JSON blob somewhere on datatracker. Is this feasible/desirable?
- [CFRG] Where should test vectors live? Christopher Patton
- [CFRG] Re: Where should test vectors live? D. J. Bernstein
- [CFRG] Re: Where should test vectors live? Orie Steele
- [CFRG] Re: Where should test vectors live? Watson Ladd
- [CFRG] Re: Where should test vectors live? Richard Barnes
- [CFRG] Re: Where should test vectors live? Orie Steele
- [CFRG] Re: Where should test vectors live? Björn Haase
- [CFRG] Re: Where should test vectors live? Carsten Bormann
- [CFRG] Re: Where should test vectors live? Carsten Bormann
- [CFRG] Re: Where should test vectors live? Björn Haase
- [CFRG] Re: Where should test vectors live? Carsten Bormann
- [CFRG] Re: Where should test vectors live? Peter Gutmann
- [CFRG] Re: Where should test vectors live? Frank Denis
- [CFRG] Re: Where should test vectors live? Frank Denis
- [CFRG] Re: Where should test vectors live? Christopher Patton
- [CFRG] Re: Where should test vectors live? Sofia Celi
- [CFRG] Re: Where should test vectors live? Colin Perkins
- [CFRG] Re: Where should test vectors live? Christopher Patton
- [CFRG] Re: Where should test vectors live? Christopher Patton
- [CFRG] Re: Where should test vectors live? Carsten Bormann
- [CFRG] Re: Where should test vectors live? // Sug… Björn Haase
- [CFRG] Re: Where should test vectors live? Colin Perkins
- [CFRG] Re: Where should test vectors live? Christopher Patton
- [CFRG] Re: Where should test vectors live? Salz, Rich
- [CFRG] Re: Where should test vectors live? Jean Mahoney
- [CFRG] Re: Where should test vectors live? Christopher Patton
- [CFRG] Re: Where should test vectors live? John Mattsson
- [CFRG] Re: Where should test vectors live? Peter Gutmann
- [CFRG] Re: Where should test vectors live? Björn Haase
- [CFRG] Re: Where should test vectors live? D. J. Bernstein
- [CFRG] Re: Where should test vectors live? Bellebaum, Thomas
- [CFRG] Re: Where should test vectors live? Scott Fluhrer (sfluhrer)
- [CFRG] Re: Where should test vectors live? Phillip Hallam-Baker