暗号化されたデータに対して検証可能なプログラムを実行します。 プライベート。 証明。 プログラマブル。 ポータブル。 プラガブル。