プライベートスマートコントラクトを構築する方法: - zkSNARK: 状態はコミットメントであり、単一の証明者がプレーンテキストで計算し、zkSNARK を投稿し、グローバルな復号化やアクセス制御はありません。 - coSNARK: 状態はコミットメントであり、計算は MPC 経由でオフチェーンであるため、単一のサーバーが完全な証人を見ることはなく、グローバルな復号化やアクセス制御もありません。 - TEE: 状態は外部の暗号文であり、エンクレーブ内の平文であり、計算とポリシー ゲートによる復号化は、ハードウェア/構成証明の整合性に依存して、リモートで証明されたエンクレーブ内で実行されます。 - FHE: 状態は共通の FHE キーの暗号文であり、誰でもオンチェーン検証で準同型評価でき、復号化はしきい値委員会によってポリシーが制限されます (共謀リスク)。 - iO: 状態は暗号文で、コンピューティングは準同型であり、パブリックの難読化された復号化ツールは、ライブ キーホルダーなしで復号化ポリシーを適用します (共謀のリスクはありません)。

プライベートスマートコントラクトへのcoSNARKベースのアプローチであるSBC()でのジグソートークを見ているときに、これを書くというアイデアを思いつきました。