collaborators

5 papers

cs.CR2024

Efficient Zero-Knowledge Proofs for Set Membership in Blockchain-Based Sensor Networks: A Novel OR-Aggregation Approach

Oleksandr Kuznetsov, Emanuele Frontoni, Marco Arnesano +1

Blockchain-based sensor networks offer promising solutions for secure and transparent data management in IoT ecosystems. However, efficient set membership proofs remain a critical…

cs.CR2024

Probabilistic Analysis and Empirical Validation of Patricia Tries in Ethereum State Management

Oleksandr Kuznetsov, Anton Yezhov, Kateryna Kuznetsova +1

This study presents a comprehensive theoretical and empirical analysis of Patricia tries, the fundamental data structure underlying Ethereum's state management system. We develop a…

cs.CR2024

Scalable Zero-Knowledge Proofs for Verifying Cryptographic Hashing in Blockchain Applications

Oleksandr Kuznetsov, Anton Yezhov, Vladyslav Yusiuk +1

Zero-knowledge proofs (ZKPs) have emerged as a promising solution to address the scalability challenges in modern blockchain systems. This study proposes a methodology for generati…

cs.CR2024

Efficient and Universal Merkle Tree Inclusion Proofs via OR Aggregation

Oleksandr Kuznetsov, Alex Rusnak, Anton Yezhov +3

Zero-knowledge proofs have emerged as a powerful tool for enhancing privacy and security in blockchain applications. However, the efficiency and scalability of proof systems remain…

cs.CR2024

Evaluating the Security of Merkle Trees in the Internet of Things: An Analysis of Data Falsification Probabilities

Oleksandr Kuznetsov, Alex Rusnak, Anton Yezhov +3

Addressing the critical challenge of ensuring data integrity in decentralized systems, this paper delves into the underexplored area of data falsification probabilities within Merk…