IntersectMBO / plutus

The Plutus language implementation and tools
Apache License 2.0
1.57k stars 479 forks source link

Add extra test vectors for verifySchnorrSecp256k1Signature #6617

Closed kwxm closed 3 weeks ago

kwxm commented 3 weeks ago

This addresses part of #6553 by adding more conformance tests (most of them positive) for the verifySchnorrSecp256k1Signature builtin. The tests are all taken from https://raw.githubusercontent.com/bitcoin/bips/master/bip-0340/test-vectors.csv, found via BIP-340.

We also need to add positive tests for verifyEcdsaSecp256k1Signature but I'll do that in a separate PR. I haven't yet been able to find any official test vectors for that and I think I'm going to have to generate some myself using openssl.