МЕТОД БЕЗПЕЧНОГО ПРОГРАМУВАННЯ ДЕЦЕНТРАЛІЗОВАНИХ ДОДАТКІВ НА ОСНОВІ КОМПОЗИЦІЙНОЇ ВАЛІДАЦІЇ ПІДПИСАНИХ ОПЕРАЦІЙ
DOI:
https://doi.org/10.28925/2663-4023.2026.35.1310Ключові слова:
децентралізований додаток; смартконтракт; цифровий підпис; авторизація; nonce; повторний вхід; інваріант стану; криптографія; інформаційні технології.Анотація
У статті досліджено авторизацію підписаних операцій у децентралізованих додатках на основі смартконтрактів. Коректний цифровий підпис засвідчує походження повідомлення, однак не визначає допустимості його виконання після зміни стану, повноважень або контексту. Мета роботи - формалізувати композиційний метод допуску операцій та оцінити співвідношення блокування атак, помилкових відмов і обчислювальних витрат. Дослідження поєднує аналіз наукових публікацій, формальне моделювання переходів стану та описове оцінювання агрегованих модельних даних. Запропоновано специфікацію, яка об’єднує перевірку підпису, домену, nonce, строку дії, актуальної ролі, предметних лімітів та інваріантів. Встановлено умови одноразового успішного виконання дозволу в межах одного домену й узгодженої історії стану. Визначено порядок перевірок та оновлення стану до зовнішньої взаємодії. Модельний набір охоплює сім класів атак і легітимні запити; внесок компонентів проаналізовано через їх почергове вилучення. Повна конфігурація забезпечує частку блокування 99,26 % проти 25,57 % для простого підпису. Частка помилкових відмов зростає з 0,70 % до 1,25 %, а середні модельні витрати - на 31,02 %. Вилучення домену, nonce та актуальної ролі супроводжується вираженими втратами блокування відповідних класів атак. Показано, що загальна ефективність залежить від складу набору, а високий середній показник не усуває потреби аналізувати залишкові помилки. Результати є описовими: відсутність коду генератора й первинних журналів обмежує перевірку причинних зв’язків та статистичної значущості. Окрему увагу приділено доступності системи для легітимних користувачів. Практична цінність полягає в узгодженій специфікації авторизації та сценаріях її тестування. Подальша робота передбачає реалізацію в EVM, аналіз пропущених атак і публікацію відтворюваних випробувань.
Завантаження
Посилання
Atzei, N., Bartoletti, M., & Cimoli, T. (2017). A survey of attacks on Ethereum smart contracts (SoK). In Principles of Security and Trust (pp. 164–186). Springer. https://doi.org/10.1007/978-3-662-54455-6_8
Luu, L., Chu, D.-H., Olickel, H., Saxena, P., & Hobor, A. (2016). Making smart contracts smarter. In Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security (pp. 254–269). ACM. https://doi.org/10.1145/2976749.2978309
Tsankov, P., Dan, A., Drachsler-Cohen, D., Gervais, A., Bünzli, F., & Vechev, M. (2018). Securify: Practical security analysis of smart contracts. In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security (pp. 67–82). ACM. https://doi.org/10.1145/3243734.3243780
Feist, J., Grieco, G., & Groce, A. (2019). Slither: A static analysis framework for smart contracts. In 2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) (pp. 8–15). IEEE. https://doi.org/10.1109/WETSEB.2019.00008
Jiang, B., Liu, Y., & Chan, W. K. (2018). ContractFuzzer: Fuzzing smart contracts for vulnerability detection. In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (pp. 259–269). ACM. https://doi.org/10.1145/3238147.3238177
He, J., Balunović, M., Ambroladze, N., Tsankov, P., & Vechev, M. (2019). Learning to fuzz from symbolic execution with application to smart contracts. In Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security (pp. 531–548). ACM. https://doi.org/10.1145/3319535.3363230
Durieux, T., Ferreira, J. F., Abreu, R., & Cruz, P. (2020). Empirical review of automated analysis tools on 47,587 Ethereum smart contracts. In Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering (pp. 530–541). ACM. https://doi.org/10.1145/3377811.3380364
Zheng, Z., Xie, S., Dai, H.-N., Chen, W., Chen, X., Weng, J., & Imran, M. (2020). An overview on smart contracts: Challenges, advances and platforms. Future Generation Computer Systems, 105, 475–491. https://doi.org/10.1016/j.future.2019.12.019
Sayeed, S., Marco-Gisbert, H., & Caira, T. (2020). Smart contract: Attacks and protections. IEEE Access, 8, 24416–24427. https://doi.org/10.1109/ACCESS.2020.2970495
Mavridou, A., & Laszka, A. (2018). Designing secure Ethereum smart contracts: A finite state machine based approach. In Financial Cryptography and Data Security (pp. 523–540). Springer. https://doi.org/10.1007/978-3-662-58387-6_28
Zhebka, V. V. (2026). Blockchain-oriented architecture for monitoring and adaptive management of a functionally resilient heterogeneous telecommunication network. Cybersecurity: Education, Science, Technique, 1(33). https://doi.org/10.28925/2663-4023.2026.33.1287 [in Ukrainian].
Aronov, A. O. (2026). Method for enhancing the security of decentralized systems through adaptive anomaly detection in blockchain networks using machine learning. Cybersecurity: Education, Science, Technique, 1(33), 657-666. https://doi.org/10.28925/2663-4023.2026.33.1141 [in Ukrainian].
Опубліковано
Як цитувати
Номер
Розділ
Ліцензія
Авторське право (c) 2026 1 Skladannyi
Ця робота ліцензується відповідно до Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
