det finns ett koncept i Starknets integritetsarkitektur som är lätt att missa men som kan vara den mest eleganta delen av hela systemet: nullifierare. Här är problemet. I en integritetspool håller du krypterade anteckningar som representerar dina tokens. När du spenderar en skuld måste systemet förhindra dubbelutgift. Men den måste också dölja vilken sedel du spenderar. Dessa två mål står i direkt konflikt. Lösningen: när du spenderar en anteckning publicerar du en nullifierare. Ett unikt värde härlett från anteckningen och din privata visningsnyckel. Nullifieraren markerar noten som förbrukad. Men ingen som tittar kan koppla nullifieraren tillbaka till den ursprungliga anteckningen eftersom det krävs din privata nyckel för att beräkna den. Så systemet vet att något har spenderats. Den vet bara inte vad. Och personen som skickade dig lappen kan inte heller se när du spenderar den eftersom de inte har din visningsnyckel. Det här är den typen av kryptografisk design som tar år att få rätt. och den finns i STRK20s-specifikationen, skriven helt i Kairo, granskabar i en kodbas.