Efficient and Universal Merkle Tree Inclusion Proofs via OR Aggregation

arXiv:2405.07941v1 Announce Type: new
Abstract: 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 a significant challenge, particularly in the context of Merkle tree inclusion proofs. Traditional proof aggregation techniques based on AND logic suffer from high verification complexity and data communication overhead, limiting their practicality for large-scale applications. In this paper, we propose a novel proof aggregation approach based on OR logic, which …

aggregation applications arxiv blockchain challenge context cs.cr efficiency inclusion knowledge logic merkle privacy privacy and security proof scalability security systems techniques tool