feat(Protocols): Key exchange protocols and Diffie-Hellman#473

ChristianoBraga wants to merge 2 commits intoleanprover:mainleanprover/cslib:mainfrom

Beneficial-AI-Foundation:key_exchange_prBeneficial-AI-Foundation/cslib-protocols-lean:key_exchange_prCopy head branch name to clipboard