研究
製品を支える研究。
ローカルファーストのシステムに関する長年の取り組み — 途中にクラウドを挟まずに、計算し、通信し、データを守る方法。一部の領域は公開しますが、機微な業務やライセンス業務は公開しません。
群知能と検証可能なシステム
検証可能なデータと形式的証明に基づく、自律的な専門家群と解析エンジン。
安全なデータ通信
クラウドに委ねずにデータを移動・交換 — 時にはほとんど技術を使わずに。
エアギャップ・ハードウェアと暗号
物理攻撃やサイドチャネル攻撃に耐えるよう強化された端末と、現実世界のパターンに根ざした暗号。
論文や詳細な解説はこちらへ移行中です。