3 papers
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…