Розгляньмо два питання приватності Faraday: як мережа перевіряє витрачання, не визначаючи джерело, і як гаманець розпізнає вхідний платіж. Стаття пояснює запропоновані механізми та практичні наслідки. Офіційне оголошення від 27 жовтня каже, що рішення ще розробляють; для нинішньої мережі використовуйте інструкції випущених гаманців.
Що Faraday змінить у приватності платежів?
Faraday пропонує замінити нинішні кільця входів із 16 учасників доказами витрачання за множиною монет Faraday. Докази на основі хешів захищали б витрачання, а ML-KEM підтримував би виявлення платежів. Механізми мають різні завдання. Мета Faraday — ширша приватність витрачання та постквантовий захист у новому форматі монет.
Від кільця із 16 до множини монет Faraday
Сьогодні витрачання вказує кільце зі справжнім витрачуваним виходом і 15 хибними. Підпис дозволяє перевірити дозвіл, зберігаючи справжнього учасника прихованим. Посібник із кільцевих підписів пояснює чинний механізм. Множина кандидатів — кільце, додане до цього входу.
Запропонований доказ Faraday підтверджував би, що витрачувана монета належить десь до допустимої множини Faraday, не публікуючи конкретного учасника. Це корисний зміст належності повній множині: перевіряльник встановлює належність і коректність, а прихований вибір залишається приватним. Це не означає завантаження приватних записів усіх чужих гаманців чи розкриття їхніх балансів.
Докладне оголошення вказує монети Faraday, тому зростаючу множину слід відрізняти від усіх історичних виходів старого формату. Схема ілюструє різницю; її крапки — умовний приклад, а не поточний підрахунок монет. Посібник з оновлення описує запропоновану міграцію наявних монет у новий формат.
Чому доказ витрачання й виявлення платежу розділено
Доказ витрачання відповідає на питання перевірки мережі: чи дотримано потрібних правил? Гаманець відправника створює доказ, ноди його перевіряють. Проєкт пропонує докази на основі хешів із Plonky3, набором інструментів для систем доказів. Він надає компоненти; конкретні правила Blocknet та їх реалізація далі визначають, що приймає перевіряльник.
Виявлення платежів відповідає на питання гаманця: які виходи належать мені? ML-KEM — стандартизований механізм інкапсуляції ключів для спільного секрету. План Faraday відводить йому сторону отримання. Це не інша назва доказу витрачання і не алгоритм підпису.
Різниця також пояснює термін «постквантовий» у Faraday. Він описує криптографічні конструкції для протидії атакам із квантовими комп’ютерами; користувачам не потрібно мати такий комп’ютер. ML-KEM спирається на задачі на ґратках, а оголошений доказ витрачання використовує хеші. Стандартизований компонент сам собою не сертифікує всю реалізацію криптовалюти. Розділяйте твердження про алгоритми, побудову доказів і повний гаманець.
Що відбувається з доказом після платежу?
Пропозиція відрізняє доказ, переданий мережею, від збереженого з блоком. Поточні орієнтири — близько 1,4 MB на доказ витрачання та 1 MB на об’єднаний доказ блоку. Ноди передавали б, перевіряли й об’єднували докази, видаляючи окремі після фінальності. Це проєктні цифри, а не вимірювання для статті.
Об’єднання доказів підсумовує перевірки. Уявіть кілька незалежно перевірених тверджень, які далі представлені доказом їхньої перевірки. Доказ блоку має цю іншу мету, відмінну від початкового окремого доказу. Компактний збережений запис не скасовує попередні передачу та обчислення: пересилання, створення доказу, агрегація й тривале зберігання — окремі завдання.
Що помітять користувачі гаманців?
Читаючи пропозицію, корисно розділяти схвалення платежу, роботу гаманця над доказом, включення до блоку й очікування доступності отриманих коштів. Це різні етапи платежу. Швидке створення доказу саме собою не доводить швидкого переказу від початку до кінця.
План пропонує цільовий інтервал десять хвилин і зазначає, що більші витрачання збільшать комісії; остаточні суми ще опрацьовують. Перевіряйте попередній показ комісії у справжньому гаманці після виходу сумісних версій. Посібник із часу переказу описує випущену мережу з п’ятихвилинною ціллю; майбутні строки визначать остаточні правила Faraday. Оцінюйте разом розмір платежу, роботу над доказом і час блоку.
Який посібник читати далі?
Використовуйте що можна дізнатися про платіж для нинішніх публічних полів, записів гаманця та свідомого розкриття. Наявний посібник із Faraday описує активацію, матеріали відновлення й міграцію монет.
У новому оголошенні перевірте, що змінилося: допустима множина монет, система доказів, виявлення платежів, розміри доказів чи поведінка гаманця. Потім визначте, чи це пропозиція, результат тесту або випущена функція. Так нинішня процедура платежів відповідатиме запущеному ПЗ, а ви зможете докладно стежити за запропонованим покращенням приватності.
Поширені запитання
Чи означає приватність усього ланцюга, що Faraday вже захищає всі історичні виходи?
Докладне оголошення описує повну множину монет Faraday. Вона зростає з переходом монет у новий формат. Нинішні кільцеві транзакції слід відрізняти від міграції до запропонованого формату. Faraday ще розробляється; новий проєкт не активний у сьогоднішній випущеній мережі.
Чи створює ML-KEM докази витрачання Faraday?
ML-KEM — механізм інкапсуляції ключів для встановлення спільного секрету. Проєкт відводить йому виявлення платежів. Докази витрачання мають іншу роль: дозволяють мережі перевіряти витрачання, захищаючи приватну інформацію. Faraday пропонує для цього докази на основі хешів, побудовані з Plonky3.
Чи остаточні розміри доказів, комісії та строки Faraday?
Ні. Офіційне оголошення представляє рішення, яке ще створюють і тестують. Розміри доказів та цільові строки описують поточний план; остаточні комісії ще не визначені. Робочі налаштування шукайте у випуску з Faraday, а відомості про міграцію — в наявному посібнику з оновлення.