search

runtimeverification / plutus-core-semantics

BSD 3-Clause "New" or "Revised" License
27 stars 5 forks source link

Implement Vasil builtin functions #325

Open gtrepta opened 2 years ago

gtrepta commented 2 years ago

The Vasil release of Cardano adds the builtin functions serializeData, verifyEcdsaSecp256k1Signature and verifySchnorrSecp256k1Signature.

gtrepta commented 2 years ago

@SchmErik How much do you think it would take to implement serializeData?

gtrepta commented 2 years ago

Probably not worth the effort at this time, since it isn't really required for Milestone 3.