Show HN: Valv – Formally Verified KMS Alternative to HashiCorp Vault

Hi everyone!

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!

Very eager to hear your opinions on the correctness of the protocol and formal verification if you have some insights.

Thank you!