блокчейн

A Permission-Blockchain Framework for Service-Level Agreements in the Cold Chain

Cold-chain logistics needs decisions that are fast in operation and defensible at audit. This article presents a compact, evidence-centric workflow for service-level agreements (SLAs). SLA clauses are encoded as smart- contract rules on a permissioned blockchain with Byzantine fault-tolerant consensus (Hyperledger Fabric).

Blockchain-Based Anonymization Methods with Smart Contract for Data Expiry: Toward GDPR-Compliant Lifecycle Management

This paper introduces a privacy-preserving framework for blockchain systems using the Smart Contract for Data Expiry (SCDE). SCDE governs data registration, retention, and erasure through on-chain policies and off- chain encrypted storage. It combines AES-256 encryption, a Key Management System (KMS) for cryptographic erasure, and Zero-Knowledge Proofs (ZKPs) for verifiable deletion without revealing data. Decentralized Identifiers (DIDs) enable pseudonymization and user accountability.

Advanced Approaches for Vulnerability Detection in Solidity-Based Smart Contracts: A Comparative Review

With the advancement of blockchain technology, Solidity-based smart contracts have become essential for automating and securing digital transactions across various sectors, from finance to supply chain management.  These contracts enable decentralized exchanges without intermediaries, enhancing transparency.  However, their immutable nature poses security challenges: any flaw in the code becomes permanent, exposing contracts to attacks and leading to financial and reputational losses.  This paper provides a comparative analysis of recent machine learning (ML) and deep l

Порівняльний аналіз генерації смарт-контрактів Solidity за допомогою великих мовних моделей на основі формальних алгебраїчних специфікацій

Дана стаття присвячена порівняльному аналізу автоматичної генерації смартконтрактів на мові Solidity за допомогою великих мовних моделей на основі двох підходів: текстових описів природною мовою та формальних алгебраїчних специфікацій. У ході роботи було проаналізовано смарт-контракти, згенеровані великими мовними моделями (ChatGPT-4, Claude 3.7 Sonnet, DeepSeek-V3), а також інструментом на основі штучного інтелекту GitHub Copilot, з оцінкою їхньої синтаксичної коректності та відповідності початковим вимогам.

МЕТОДОЛОГІЯ ПОРІВНЯЛЬНОГО АНАЛІЗУ ЕКСТРАКЦІЇ MAXIMAL EXTRACTABLE VALUE (MEV) У ПРОТОКОЛАХ ДЕЦЕНТРАЛІЗОВАНИХ КРИПТОБІРЖ

Із розвитком смарт-контрактів у мережах блокчейн уможливилось створення складних децентралізованих фінансових (DeFi) протоколів, що охоплюють біржі, платформи кредитування та алгоритмічні криптоактиви. Незважаючи на децентралізованість та прозорість, блокчейн-мережі не гарантують прогнозованої послідовності виконання транзакцій, що привело до появи явища Maximal Extractable Value (MEV) – додаткової вигоди, яку отримують окремі учасники мережі завдяки впливу на впорядкування транзакцій.

Електронне голосування в Україні: правові аспекти в контексті технологічних інновацій і перспектив

Розглянуто правові аспекти організації електронного голосування (е-голосування) в Україні у контексті технологічних інновацій і перспектив упровадження. Досліджено суть, форми е-голосування як інноваційного інструменту реалізації виборчих прав громадян. Розглянуто основні технологічні рішення, що застосовуються у світовій прак­тиці: інтернет-голосування (i-voting), використання електронних терміналів (DRE), біометрична ідентифікація, смарткарткові технології та двофакторна авторизація.

Удосконалення логістичних інформаційних систем Iнтернету речей шляхом впровадження смарт-контрактів блокчейн-технологій

Сучасні інформаційні логістичні системи моніторингу дедалі частіше інтегрують IoT- пристрої для збору даних у режимі реального часу, відстеження відправлень, моніторингу вантажів та транспортних засобів, а також для прийняття обґрунтованих рішень. Проте такі інформаційні системи стикаються з низкою суттєвих викликів, зокрема із складністю управління даними, обмеженою взаємодією між зацікавленими сторонами та неефективністю, яка виникає через централізовані механізми контролю.

Створення системи визначення автентичності товару на основі технології Blockchain

У статті розглянуто вирішення проблеми виявлення контрафактних товарів за допомогою використання технології Blockchain. Проведено аналіз існуючих методів та засобів для боротьби з підробками і обґрунтовано вибір блокчейну, як ефективного способу забезпечення прозорості трансакцій та захисту даних. Авторами статті проаналізовано проектування інформаційної системи з використанням структурного підходу, що дозволило систематизувати завдання та визначити ключові аспекти функціонування.

Розробка методу забезпечення достовірності та безпеки персональних даних у блокчейн-системах державних реєстрів

У статті розглянуто проблему забезпечення достовірності та безпеки персональних даних, що обробляються у державних реєстрах, шляхом використання блокчейн- технологій. Зростання вимог до прозорості та стійкості державних систем управління даними висуває нові виклики щодо захисту інформації від несанкціонованих змін, втручань та підробок. Запропоновано метод, що базується на впровадженні децентралізованої блокчейн-архітектури для забезпечення цілісності даних, їх відстежуваності та прозорості у процесі обробки й зберігання.

Zero-knowledge proof framework for privacy-preserving financial compliance

This article presents a minimal viable product (MVP) architecture and proof-of-concept implementation that leverages zero-knowledge proofs to conduct essential KYC checks on a blockchain network without disclosing sensitive user information.  The design employs a trusted off-chain KYC provider to validate user credentials, then uses succinct cryptographic proofs, compiled and verified with Groth16, Circom, and snarkjs, to guarantee compliance on-chain.  A single smart contract deployed on a test network (Sepolia) verifies these proofs while insulating personal data from