Guardtime

'Guardtime' 'は[ソフトウェアセキュリティ]企業です。 2007年に[エストニア]に設立され、[アムステルダム]に本社を置く。同社は[ブロックチェーン（データベース）|ブロックチェーン]技術に基づく電子署名システムを開発した。 2015年に同社はクラウドコンピューティングプロジェクトで[エリクソン]と提携しました。

2016年にDARPAはGuardoがソフトウェアの[正式な検証]を行うという契約をGaloisに与えました。