Mathe braucht dich nicht, um ihr zu vertrauen 🔍 $ZEC brachte zk-SNARKs in den Mainstream, Jahre bevor die meisten Krypto verstanden, was sie eigentlich bedeuteten: So kann jemand beweisen, dass eine Transaktion gültig ist, ohne offenzulegen, was in ihr enthalten ist. $ADA ging einen anderen Weg zu derselben Art von Vertrauen—indem es seine ganze Reputation auf Peer-Review-Forschung und formale Methoden stützt, die beweisen, dass Code das tut, was er behauptet, bevor er überhaupt ausgeliefert wird. Beide beantworten dieselbe grundlegende Frage: Wie bringt man Menschen dazu, Software zu vertrauen, ohne sie darum bitten zu müssen, den Leuten zu vertrauen, die sie geschrieben haben. Die meisten Chains beantworten das noch immer mit einem Markennamen und einer Erfolgsbilanz—funktioniert auch gut, solange es gut geht, aber genau dann nicht mehr, wenn es nicht mehr funktioniert. Midnight nahm die zk-SNARK-Seite dieser Antwort und baute eine komplette Smart-Contract-Ebene darum. Kachina ist das Protokoll, das unter Compact und Midnightsm Smart-Contract-Sprache läuft, und es stellt sicher, dass Zustandsänderungen eines Programms nachweisbar korrekt sind, während der Zustand selbst privat bleibt. Niemand muss das Wort des Netzwerks akzeptieren, dass ein Vertrag so ausgeführt wurde, wie er sollte. Der Beweis wird mit der Transaktion mitgeliefert, und jeder Node-Operator kann ihn unabhängig prüfen, ohne sich auf die Darstellung anderer zu verlassen, was passiert ist. Diese Verifikation läuft seit dem Start des föderierten Mainnets am 31. März auf die gleiche Weise—und versorgt seitdem jede private Transaktion im Netzwerk damit. Ich glaube, das ist der Teil des Midnight-Designs, der am wenigsten Aufmerksamkeit bekommt, gemessen daran, wie viel Arbeit er eigentlich leistet. Eine Privacy-Chain ist nur so gut wie die Mathematik darunter, und Kachina ist hier das Bauteil, das genau diese Aufgabe übernimmt. #Privacy #ZK