search

cryspen / hacl-packages

The Cryspen HACL Distribution
https://cryspen.com/hacl-packages
Other
13 stars 18 forks source link

hacl update #398

Closed franziskuskiefer closed 1 year ago

franziskuskiefer commented 1 year ago

Updating to hacl bdec1e64754213ddeceec5e0d1fa0f6633ca2251. This includes the changes to the SHA3 API and the karamel fix for #394.

coveralls commented 1 year ago

Pull Request Test Coverage Report for Build 4712121040

Totals Coverage Status
Change from base Build 4699965007: 0.0%
Covered Lines: 30398
Relevant Lines: 56881
💛 - Coveralls
pnmadelaine commented 1 year ago

how is it that, in the rust bindings, the size of the ed25519 signature was wrong and the tests still passed before this?

franziskuskiefer commented 1 year ago

how is it that, in the rust bindings, the size of the ed25519 signature was wrong and the tests still passed before this?

There are no tests for this part yet 😔 The tests are only covering the non-hazmat API.