Актуальні теми
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
STARKs проти SNARK і Квантова загроза
Відомо, що STARK є постквантово захищеними, але SNARK ламаються квантовими комп'ютерами. Чому?
Я маю на увазі еліптичні криві SNARK, ті, з якими більшість із вас знайомі (наприклад, Groth16).
SNARK використовує секрет «доведення ключа», щоб довіряти міг відповісти на певне питання. Секрет створюється шляхом багаторазового повторення певної математичної операції.
Гарна аналогія полягає в тому, що ви починаєте з кубика Рубіка і виконуєте певну операцію (наприклад, крутите одну сторону його + обертаєте кубик у руці). Потім ти повторюєш це багато разів, мільйон мільярдів мільярдів мільйонів мільйонів мільйонів мільйонів разів. Точна кількість разів, коли ти виконуєш ці операції — ось у чому секрет. Потім ви подаєте зіпсований кубик Рубіка для всього світу.
Тепер, якщо ви зможете подивитися на куб і відповісти, скільки разів операція була виконана, щоб досягти цього стану, ви зламаєте SNARK.
Один зі способів — взяти кубик Рубіка і почати експериментувати з ним, рахуючи, скільки разів ви виконуєте операцію, поки не досягнете опублікованої конфігурації. Але це займає багато часу (мільйон мільярдів кроків).
Ага, але квантовий комп'ютер — це дуже розумний комп'ютер, який може подивитися на куб і видати число: наприклад, 112 302 305 166 разів. І з цією відповіддю SNARK зламано.
Добре, а як щодо STARK?
У цьому випадку, щоб зламати STARK, потрібно «зламати хеш».
Хеш працює приблизно так: ви берете кубик Рубіка і виконуєте одну з цих операцій. Потім ви пишете візерунок на папері, складаєте його, нарізаєте, переставляєте квадрати у шалений спосіб і кладете їх на новий кубик Рубіка. Потім ви виконуєте ще одну операцію на кубіку Рубіка, а потім знову переходите до паперу. І так далі, і так далі.
Головне в тому, що замість того, щоб виконувати лише один тип операції (математично — «групову операцію») у випадку SNARK, з STARK ви змішуєте велику кількість дуже різних операцій, які позбавлені зв'язку та структури.
І саме це змішування багатьох речей плутає комп'ютери — як класичні, так і квантові — і рятує ситуацію.
КІНЕЦЬ.
Найкращі
Рейтинг
Вибране

