у архітектурі конфіденційності Starknet є концепція, яку легко пропустити, але, можливо, це найелегантніша частина всієї системи: анулфікатори. Ось у чому проблема. У пулі конфіденційності ви зберігаєте зашифровані нотатки, які представляють ваші токени. Коли ви витрачаєте нотатку, система повинна запобігати подвійним витратам. Але також потрібно приховати, яку купюру ви витрачаєте. Ці дві цілі мають пряму напругу. Рішення: коли ви витрачаєте нотатку, ви публікуєте нейтралізатор. унікальне значення, отримане з записки та вашого приватного ключа перегляду. Нуліфікатор позначає ноту як витрачену. Але ніхто, хто дивиться, не може пов'язати анульфікатор з оригінальною нотаткою, бо для його обчислення потрібен ваш приватний ключ. Отже, система знає, що щось було витрачено. Він просто не знає, що саме. І той, хто надіслав тобі записку, теж не може зрозуміти, коли ти її витратив, бо не має твого ключа перегляду. Це той тип криптографічного дизайну, який займає роки, щоб зробити правильно. і він доступний у специфікації STRK20s, повністю написаний у Каїрі, доступний для аудиту в одному коді.