Introducing Dezhan: Provably Immutable Backups
Introducing a young, open-source, air-gapped backup vault whose immutability rules are formally verified with SPARK, not just tested. S3-compatible, with a Kubernetes operator and CSI driver. Why a proof beats a test suite for data that must survive untouched.
Read Article