- Віталік Бутерін відзначив роль Poseidon у приватних доказах, поки Ethereum досліджує швидші універсальні системи STARK.
- Binary-field SNARKs можуть зробити SHA2 і BLAKE2s практичними всередині доведень, зменшивши раніше перевагу Poseidon.
- Ethereum планує впровадити продуктивний leanVM у 2027 році, а більш широке розгортання консенсусу та виконання може відбутися у 2028 році.
Плани криптографії Ethereum змінюються, оскільки нові системи доведення роблять традиційні хеші більш практичними для L1 Ethereum. Віталік Бутерін відзначив минулу цінність Poseidon, тоді як дослідник безпеки Bitcoin Джастін Дрейк сказав, що Фонд Ethereum переходить на SHA або BLAKE. Дрейк пов’язав цю зміну з швидшими SNARK-ами на бінарних полях та дослідженнями післяквантової криптографії.
Роль Посейдона в ethereum
Бутерін сказав, що роки роботи були вкладені в хеші Poseidon. Він сказав, що Poseidon дозволив швидко генерувати SNARK-записи на стороні клієнта для приватних протоколів.
Однак Бутерін підкреслив прогрес у загальнотривалих STARKs. Він сказав, що сучасні системи підтверджують масові обчислення з накладними витратами на рівні середніх трьох цифр. Він додав, що це може швидко досягти рівня одиниць або навіть нижчого.
Дрейк описав розробку Poseidon як восьмирічний проект, підтриманий фінансуванням у розмірі вісьми цифр. Він зазначив, що Фонд Ethereum розпочав дослідження SNARK-дружніх хеш-функцій у 2018 році. Poseidon з’явився у 2019 році і пізніше підтримав zkrollups та zkVMs.
Бінарні поля змінюють рівняння
Дрейк сказав, що новіші дизайн SNARK можуть використовувати традиційні хеш-функції без SNARK-дружніх функцій. Він навів SHA2 і BLAKE2s як приклади, які тепер можуть збігатися з Poseidon всередині SNARK. За словами Дрейка, бінарні поля використовують просте число 2 і добре підходять для традиційних хеш-операцій.
Він протиставив їх великим простим полям, де бітова маніпуляція вимагає більше зусиль. Дрейк сказав, що дослідники можуть довести мільйон хеш-викликів за секунду на ноутбуці. Він оцінив накладні витрати приблизно в 100 разів більше, ніж у випадку нативних булевих обчислень на ЦП.
Дорожня карта ethereum післяквантової ери
Дрейк у 2023 році вдячний Джиму та Бену за Binius, а також Рону, Бенедикту та Вільяму за Flock у червні. Він сказав, що Еміль та Томас розробляють системи на основі бінарних полів. Дорожня карта передбачає створення виробничої версії leanVM до 2027 року.
Консенсус, доступність даних та розгортання на рівні виконання можуть відбутися у 2028 році, сказав Дрейк. Він також згадав про труднощі, пов’язані з ґратчастим HAWK та ізогенійним SQIsign. Він сказав, що обидва з’явилися у списку схем підписів NIST третього раунду.
Дрейк згадав, що SNARK.fast перевищив 1,8 мільйона доказів BLAKE3 за секунду на M3 Max. Він посилався на ECDSA.fail, zk.golf та зусилля autoresearch. Етхпруфс виклик №10 буде присвячений бінарним полям о 14:00 за UTC.
Дрейк сказав, що криптографія на основі хешів виграла для постквантових підписів блокчейн. SNARKs можуть стиснути підписи в один доказ блоку. Він згадав k-of-n пороги та складні мультипідписи.