ДОПУСТИМА ОБЛАСТЬ ПАРАМЕТРІВ RTCT-ПЕРЕВІРКИ В ДЕЦЕНТРАЛІЗОВАНИХ ОВЕРЛЕЙНИХ МЕРЕЖАХ

Анотація

У статті побудовано допустиму область параметрів перевірки на основі випадкових часових челендж-токенів (Random Time Challenge Tokens, RTCT) у децентралізованих оверлейних мережах як перетин обмеження зверху на частку хибних пропусків чесних вузлів і обмеження знизу на вартість підтримання множини фіктивних ідентичностей. Закон хибного пропуску відповіді виведено з розподілу часу розв’язання головоломки, тому він залежить від складності виклику; мінімальне вікно відповіді слід обчислювати за найповільнішим допустимим вузлом, інакше частка хибних пропусків у гетерогенній популяції недооцінюється у 5,8 раза. Місткість супротивника для обслуговування k ідентичностей визначено як розв’язок задачі про систему з відмовами за формулою Ерланга, нечутливою до розподілу часу розв’язання; залежність місткості від k дворежимна. Доведено, що за обмеження на частку процесорного часу чесного вузла та лінійних цін ресурсів питомі витрати супротивника на обчислення мають асимптотичну стелю, що не залежить ні від складності, ні від інтенсивності перевірок; за публічними цінами енергії та оренди обчислень вона становить близько 6·10⁻⁴ EUR на ідентичність за добу, що на порядок нижче за вартість мережевої присутності. Стримувальний ефект RTCT забезпечує примусова повторюваність витрат входу, а не обчислювальна вартість: кількість ідентичностей, які можна утримувати без обслуговування, пропорційна відношенню часу виселення до суми часу виселення і часу відновлення дефіцитного ресурсу входу. За строго зростаючого показника безпеки з додатним граничним ефектом на межі завантаження оптимум параметрів є кутовим розв’язком на обмеженнях чесної сторони, а множник Лагранжа обмеження завантаження є тіньовою ціною безпеки. Результати перевірено методом Монте-Карло.