BitVM

BitVMは、ソフトフォークなしでビットコイン上の任意の計算を検証するための設計で、誰かがオンチェーンで誤りを証明しない限り主張を受け入れるオプティミスティックなモデルを使います。主な用途はブリッジで、署名者の過半数の誠実さではなく、異議を申し立てられる参加者のうち一人だけが誠実であれば安全性が保たれることを目指します。