Es gibt ein Konzept in der Starknet-Privatsphäre-Architektur, das leicht übersehen werden kann, aber möglicherweise das eleganteste Stück des gesamten Systems ist: Nullifier. Hier ist das Problem. In einem Privatsphäre-Pool halten Sie verschlüsselte Notizen, die Ihre Token repräsentieren. Wenn Sie eine Notiz ausgeben, muss das System eine doppelte Ausgabe verhindern. Aber es muss auch verbergen, welche Notiz Sie ausgeben. Diese beiden Ziele stehen in direktem Widerspruch zueinander. Die Lösung: Wenn Sie eine Notiz ausgeben, veröffentlichen Sie einen Nullifier. Ein einzigartiger Wert, der aus der Notiz und Ihrem privaten Sichtschlüssel abgeleitet wird. Der Nullifier kennzeichnet die Notiz als ausgegeben. Aber niemand, der zuschaut, kann den Nullifier mit der ursprünglichen Notiz verknüpfen, da die Berechnung Ihren privaten Schlüssel erfordert. Das System weiß also, dass etwas ausgegeben wurde. Es weiß nur nicht, was. Und die Person, die Ihnen die Notiz geschickt hat, kann auch nicht sagen, wann Sie sie ausgeben, da sie nicht über Ihren Sichtschlüssel verfügt. Das ist die Art von kryptografischem Design, die Jahre braucht, um richtig zu werden. Und es ist live in der STRK20s-Spezifikation, die vollständig in Cairo geschrieben und in einem Codebase prüfbar ist.