blockchain

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

Comparative Analysis of Solidity Smart Contract Generation Using Large Language Models Based on Formal Algebraic Specifications

This article presents a comparative analysis of automatic Solidity smart contract generation using large language models (LLMs) based on two approaches: natural language textual descriptions and formal algebraic specifications. The study analyzes smart contracts generated by LLMs (ChatGPT-4, Claude 3.7 Sonnet, DeepSeek-V3) as well as by the AI-based tool GitHub Copilot, evaluating their syntactic correctness, compliance with initial requirements, and security.

METHODOLOGY FOR COMPARATIVE ANALYSIS OF MAXIMAL EXTRACTABLE VALUE (MEV) IN DECENTRALIZED EXCHANGE PROTOCOLS

The development of smart contracts in blockchain networks has enabled the creation of sophisticated decentralized finance (DeFi) protocols, encompassing decentralized exchanges, lending platforms, and algorithmic crypto-assets. Despite decentralization and transparency, blockchain networks do not guarantee a predictable transaction execution order, leading to the emergence of the phenomenon known as Maximal Extractable Value (MEV) – an additional profit extracted by certain network participants who influence transaction ordering.

Electronic Voting іn Ukraine: Legal Aspects іn the Context of Technological Innovations and Prospects

The legal aspects of the organization of electronic voting (e-voting) in Ukraine in the context of technological innovations and prospects for implementation are considered. The essence and forms of e-voting as an innovative tool for the realization of citizens’ electoral rights are investigated. The main technological solutions used in the world practice are considered: Internet voting (i-voting), use of electronic terminals (DRE), biometric identification, smart card technologies and two-factor authorization.

Enhancing Iot-driven Logistics Solutions Using Blockchain-based Smart Contracts

Modern logistics monitoring solutions increasingly depend on the integration of IoT devices for real-time data collection, shipment tracking, goods and vehicle monitoring, and informed decision- making. However, current IoT-based logistics systems face significant challenges, including complex data management, limited interoperability among stakeholders, and inefficiencies resulting from centralized control mechanisms.

Development of a Product Authentication System Based on Blockchain Technology

The article addresses the problem of counterfeit goods using Blockchain technology. An analysis of existing methods and tools for combating counterfeiting has been conducted, justifying the choice of blockchain as an effective means of ensuring transparency and data protection. An analysis of existing anti-counterfeiting approaches has been conducted, justifying the choice of blockchain as an effective method for ensuring transparency and data protection.

Development of a Method for Ensuring the Reliability and Security of Personal Data in Blockchain Systems of State Registers

The article considers the problem of ensuring the reliability and security of personal data processed in state registers by using blockchain technologies. The growing requirements for transparency and stability of state data management systems pose new challenges to protecting information from unauthorized changes, interference, and forgery. A method based on implementing a decentralized blockchain architecture is proposed to ensure data integrity, traceability, and transparency during processing and storage.

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