Претензії щодо конфіденційності мають мало значення, якщо межі довіри навколо них ніколи не піддаються атакам. Новий повний аудит від Dakara Research саме це й перевірив на @BeldexCoin. Огляд охопив ядро демона, стек гаманця, маршрутизацію BelNet, зберігання повідомлень та BChat, а не лише один ізольований контракт. У результаті було виявлено 64 проблеми: 5 критичних 8 високих 14 середніх 25 низьких 12 інформаційних Глибший зміст полягає у тому, до чого стосувалися ці критичні виявлення: Одне стосувалося валідації coinbase та нагород за управлінням. Інше могло віддалено зупинити мейстера. Ще одне виявило переповнення купи до автентифікації. У стеку гаманця був шлях витягування секретних частин мультипідпису. Також публічний RPC-хендлер мав віддалене переповнення. Усі п’ять проблем були виправлені та повторно перевірені щодо випуску v7.0.3 у виробничому середовищі. Dakara також безпосередньо атакувала рівні конфіденційності та грошей: RingCT Кільцеві підписи Bulletproofs+ Перевірки балансу Захист від подвійних витрат Криптографія каналів повідомлень Ці основні властивості довіри витримали атаки за виявленими шляхами. Робота з безпеки — це не просто доставка звіту без знайдених проблем. Знаходження реальних точок злому, їх виправлення та змушування незалежної команди знову атакувати випущений код — це має більше значення. Для мережі конфіденційності цей цикл має ключове значення: Приватні транзакції працюють лише тоді, коли криптографія витримує. Приватна комунікація працює лише тоді, коли межі зберігання та маршрутизації не порушуються. І вся стека працює лише тоді, коли одна слабка компонента не може зруйнувати решту.