Hi everyone!<p>We at Molnett.com have been building a alternative to Vault due to their license changes and just published our technical alpha for the KMS (KEK/DEK) part of Vault. Going to present it at the Stockholm Rust meetup tonight as well!<p>Very eager to hear your opinions on the correctness of the protocol and formal verification if you have some insights.<p>Thank you!