Adding functions for message_4 #1130

Job	Run time
check-style	18s
generate-fstar	1m 56s
unit-tests-default	50s
unit-tests (lakers-crypto/psa, ead-none)	1m 5s
test-lakers-python	56s
unit-tests (lakers-crypto/psa, ead-authz)	1m 0s
unit-tests (lakers-crypto/rustcrypto, ead-none)	44s
unit-tests (lakers-crypto/rustcrypto, ead-authz)	46s
build-lakers-c (crypto-rustcrypto)	1m 4s
build-example-for-cortex-m4 (crypto-psa)	2m 14s
build-coap-example	48s
build-lakers-c (crypto-psa-baremetal)	2m 9s
build-example-for-cortex-m4 (crypto-cryptocell310)	1m 6s
build-edhoc-package (lakers-crypto/psa)	1m 10s
build-lakers-c (crypto-cryptocell310)	1m 18s
build-edhoc-package (lakers-crypto/psa-baremetal)	1m 27s
build-lakers-c-example	3m 2s
build-edhoc-package (lakers-crypto/cryptocell310)	1m 16s
run-example-on-qemu (crypto-psa)	1m 30s
build-edhoc-package (lakers-crypto/rustcrypto)	57s
release	0s
	25m 36s

Provide feedback