Lavabitは、2013年の夏にシェレメーチエヴォでエドワードスノーデンが使用した匿名メールサービス（ ダークメール ）です。 アメリカのintelligence報機関がこのことを知るとすぐに、彼らはLavabitの所有者であるLadar Levisonに追跡装置をサーバーに設置することを強制しました。 FBIはメールが暗号化されていることを発見し、所有者にTLS秘密鍵の発行を要求しました。 彼は断った。 訴訟が始まりました。その結果、LevisonはLavabitを終了し、暗号化キーを破壊することを選択しました 。
「親愛なる友人たち、私は難しい選択を余儀なくされました。アメリカ人に対する犯罪の共犯者になるか、ほぼ10年間のハードワークを放棄してLavabitを閉じることです。 よく考えた後、私は仕事をやめることに決めた」と彼は書いた。 彼のメッセージはまだlavabit.comのホームページに残っていますが、レビソンは米国政府を訴え続け、彼の秘密を取り除くよう要求しています。
Ladar Levisonは、この事件の一部の文書の機密解除をすでに達成しており、Lavabitメールサービスのソースコードを開くことにしました 。
Githubリポジトリ-サーバー、SMTP、POP、IMAP、およびHTTP（メールWebクライアント用のJSON-RPCインターフェースを使用）での暗号化をサポートするマグマメールデーモンのソースコード。
Dark Internet Mail Environment（DIME、 プロトコル仕様を参照）のマルチレベル暗号化用のlibdimeライブラリのソースも公開されています。