search

rod-chapman / SPARKNaCl

SPARK 2014 re-implementation of the TweetNaCl crypto library
BSD 3-Clause "New" or "Revised" License
114 stars 8 forks source link

Alire Crate is missing HMAC API #30

Closed kevlar700 closed 1 year ago

kevlar700 commented 1 year ago

@docandrew added a HMAC API to the repo.

https://github.com/rod-chapman/SPARKNaCl/blob/master/src/sparknacl-mac.ads

What would be involved in updating the Alire crate. I would be happy to help?

rod-chapman commented 1 year ago

Apologies for that... I have not updated the Alire crate for rather a long time. I have probably forgotten how to do it... I am also in the middle of re-working and simplifying some of the code to improve proof, particularly with CVC5. How urgently do you need to do this?

kevlar700 commented 1 year ago

Not urgently. Take your time. It will be used as a fallback to hw accelerated sha256 unless close enough in performance that I can replace it.

docandrew commented 1 year ago

Working on a PR to alire-project/alire-index.

docandrew commented 1 year ago

https://github.com/alire-project/alire-index/pull/901

docandrew commented 1 year ago

@kevlar700 SparkNaCl 4 is now part of the alire-index!

kevlar700 commented 1 year ago

Fantastic, Thank You all.