Refactor process_message_3 to follow implementation guidelines

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

12 stars 10 forks source link

Closed malishav closed 8 months ago

malishav commented 8 months ago

This PR updates r_process_message_3 routine to allow generic handling of EAD items and of credentials, as per draft-tiloca-lake-implem-cons.

It also updated the decode_plaintext_3 routine to enable the credential to be passed in the message by value, instead only by reference.

Closes #129

malishav commented 8 months ago

@geonnave fstar generation seems to be triggered for this PR now and it fails. could you check if the command is OK?