„Es stellte sich heraus, dass dies tatsächlich effizient genug ist, um es auf Bitcoin zu tun - innerhalb aller verrückten Einschränkungen von Bitcoin Script.“ - @robin_linus, Schöpfer von BitVM & @ZeroSync_ In House of ZK Radio #86 erklärte Robin Linus, wie BitVM die Verifizierungsgrenzen von Bitcoin als Blockade entfernt - und erläuterte, warum das Widerlegen eines falschen SNARK günstiger sein kann als die vollständige Verifizierung eines korrekten und wie diese Asymmetrie genutzt wird, um SNARKs innerhalb der eingeschränkten Skriptumgebung von Bitcoin optimistisch zu verifizieren. Dies ist der Mechanismus, der BitVM überhaupt möglich macht. Und es ist der Grund, warum vertrauensminimierte Bitcoin-Brücken auf eine existentielle Ehrlichkeitsannahme anstelle eines ehrlichen Mehrheitsmodells angewiesen sein können. Sehen Sie sich das vollständige Gespräch mit Robin an, während wir nachverfolgen, wie diese Primitiven eine neue Klasse von Bitcoin-Skalierungssystemen freischalten: