Jede Behauptung kommt mit einem eigenen Beweis 🔍

$XMR hält eine Transaktion privat, indem sie in eine Menge von Ausweich-/Decoy-Ausgaben und Ring-Signaturen gemischt wird und so verschleiert, welche davon echt ist.

Diese Art von Privatsphäre schützt eine einzelne Übertragung gut. Zu überprüfen, was ein Smart Contract getan hat, während er lief, ist jedoch ein ganz anderes Problem.

Cardano hat seine Glaubwürdigkeit auf eine ähnliche Idee gestützt: $ADA Smart Contracts durchlaufen formale, peer-reviewte mathematische Beweise, bevor sie ausgeliefert werden, damit der Code das tut, was er behauptet.

Midnight verbindet beides mit dem Kachina-Protokoll und zk-SNARKs, sodass die Ausführung eines Smart Contracts mit Mathematik verifiziert wird, die mit der Transaktion selbst mitgereist.

Jeder Knotenbetreiber kann den Beweis unabhängig verifizierencheck, um sich selbst zu bestätigen, was passiert ist.

Die Mathematik hängt nur von Midnights eigenem Protokoll ab, um standzuhalten, und ist für jeden überprüfbar, der einen Knoten betreibt – nicht aufgrund des Wortes von irgendjemandem.

#Privacy #ZK