Звіт з Coin界網, за аналізом BlockSec Phalcon, контракт RollupProcessorV3 мережі Aztec Network був атакований, внаслідок чого було втрачено понад 2,15 мільйонів доларів США. Основною причиною є те, що numRealTxs не був ефективно прив’язаний до набір транзакцій, що примусово виконується zk-доказом, що спричинило розбіжності між шляхом перевірки доказу та логікою розрахунку в L1 щодо інтерпретації списку транзакцій. Зловмисник, використовуючи цю уразливість, переніс реальні депозити у слот, який не оброблявся логікою розрахунку, обійшовши функцію decreasePendingDepositBalance(), створивши беззастережний приватний баланс з нічим, а потім через звичайний процес розрахунку вивів його, залучаючи сім видів активів.

AZTEC4,53%
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
  • Нагородити
  • 4
  • 2
  • Поділіться
Прокоментувати
Додати коментар
Додати коментар
StillHereAfterTheRugPull
· 2год тому
Оглянувшись на деталі вразливості, зловмисник перемістив депозит у «привидне місце» і потім здійснив звичайний вивід коштів, цей підхід досить хитрий, чи зможе аудит це помітити?
Переглянути оригіналвідповісти на0
MildlyRugged
· 2год тому
Зв’язок стану zk-ланцюга та контракту L1 дійсно є вічною проблемою, цього разу Aztec зазнав невдачі через прив’язку numRealTxs, а складність приватного Rollup ще раз дала всім урок.
Переглянути оригіналвідповісти на0
SlippageSiren
· 2год тому
2,150,000 доларів за урок, приватний сектор ще потребує кілька років до зрілості.
Переглянути оригіналвідповісти на0
GlassDomeObservatory
· 2год тому
numRealTxs не закріплено, що доводить, що верифікація доказів і розрахунки говорять окремо, класична міжшарова семантична відмінність.
Переглянути оригіналвідповісти на0
  • Закріплено