[hacspec] test vectors

[Franziskus Kiefer]

>
> I think that's a good project, though a test vector language does not
> necessarily need to be coupled to a HacSpec language, I think.


I agree. But as we need test vectors anyway I think it makes sense have a
common way specify them. It just makes things easier.
We'll see if If the "test vector language" becomes anything more.

FWIW, I like the idea of using a rigid subset of JSON for test
> vectors, so it's easy to parse *either* with JSON or with dumb,
> hand-written parsers.


The idea is really to keep this as simple as possible without making it too
hard to interpret.

NIST ACVP and Wycheproof are also looking into JSON test vectors for
> crypto, so if you want to go further in that direction you could try
> to get some of those people here.


Thanks for the pointers. I'll try to get in touch and see if they're
interested.

On Wed, Feb 14, 2018 at 9:05 AM, Trevor Perrin <trevp at trevp.net> wrote:

> On Sun, Feb 11, 2018 at 6:40 PM, Franziskus Kiefer
> <franziskuskiefer at gmail.com> wrote:
> >
> > to make test vectors easier to use hacspec should also specify a common
> way
> > of writing them.
>
> I think that's a good project, though a test vector language does not
> necessarily need to be coupled to a HacSpec language, I think.
>
>
> > * Is JSON the right format to use here or do you think there are better
> > formats?
>
> FWIW, I like the idea of using a rigid subset of JSON for test
> vectors, so it's easy to parse *either* with JSON or with dumb,
> hand-written parsers.  You could imagine an interface to test simple
> devices like smartcards that don't have a full JSON parser.  That's
> the approach we're taking with Noise:
>
> https://github.com/noiseprotocol/noise_wiki/wiki/Test-vectors
> https://github.com/centromere/test-vector-spec/blob/master/
> output/test-vectors.pdf
>
>
> NIST ACVP and Wycheproof are also looking into JSON test vectors for
> crypto, so if you want to go further in that direction you could try
> to get some of those people here.
>
> https://github.com/usnistgov/ACVP/blob/master/artifacts/acvp_protocol.txt
> https://github.com/google/wycheproof/tree/master/testvectors
>
> Trevor
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://moderncrypto.org/mail-archive/hacspec/attachments/20180218/b828d156/attachment.html>