issues
search
openwsn-berkeley
/
lakers
EDHOC implemented in Rust, optimized for microcontrollers, with bindings for C and Python.
https://crates.io/crates/lakers
BSD 3-Clause "New" or "Revised" License
13
stars
10
forks
source link
Improve CI
#53
Closed
geonnave
closed
1 year ago
geonnave
commented
1 year ago
build matrix - crypto backends x rust/hacspec
style check
generation of fstar (using hacspec v2)
moved to #57
malishav
commented
1 year ago
Resolved with #55
generation of fstar (using hacspec v2)moved to #57