Skip to content

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

github.com/molnett
4 pointsbittermandel1 comment
On HN

Comments

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!

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.