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

Oleksandr Kuznetsov,Emanuele Frontoni,Marco Arnesano,Kateryna Kuznetsova

2024-10-12

Abstract:Blockchain-based sensor networks offer promising solutions for secure and transparent data management in IoT ecosystems. However, efficient set membership proofs remain a critical challenge, particularly in resource-constrained environments. This paper introduces a novel OR-aggregation approach for zero-knowledge set membership proofs, tailored specifically for blockchain-based sensor networks. We provide a comprehensive theoretical foundation, detailed protocol specification, and rigorous security analysis. Our implementation incorporates optimization techniques for resource-constrained devices and strategies for integration with prominent blockchain platforms. Extensive experimental evaluation demonstrates the superiority of our approach over existing methods, particularly for large-scale deployments. Results show significant improvements in proof size, generation time, and verification efficiency. The proposed OR-aggregation technique offers a scalable and privacy-preserving solution for set membership verification in blockchain-based IoT applications, addressing key limitations of current approaches. Our work contributes to the advancement of efficient and secure data management in large-scale sensor networks, paving the way for wider adoption of blockchain technology in IoT ecosystems.

Cryptography and Security

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is how to efficiently perform set membership proofs in blockchain - based sensor networks, especially in resource - constrained environments. Specifically:

1. **Reduce on - chain data**: Reduce the amount of data stored on the blockchain through efficient set membership proofs, thereby solving the scalability problem.
2. **Protect privacy**: Ensure that the verification process does not disclose sensitive information about individual sensors or their data.
3. **Optimize resource use**: Ensure that proof generation and verification are feasible on resource - constrained devices.
4. **Improve network performance**: Reduce the communication overhead in the data verification process.

To solve these problems, the author proposes a new OR aggregation method for zero - knowledge set membership proofs. This method aims to provide a scalable and privacy - protecting solution, especially for blockchain - based Internet of Things applications.

### Main contributions
1. **Constant - size proofs**: Regardless of the set size, the size of the proof remains constant.
2. **Minimize computational requirements**: Reduce the computational resources required for proof generation and verification.
3. **Privacy protection**: Ensure privacy through zero - knowledge properties.
4. **Suitable for resource - constrained IoT devices**: Optimize implementation on resource - constrained devices.
5. **Seamless integration with existing blockchain platforms**: Facilitate integration with existing blockchain platforms.

### Method overview
The OR aggregation method proposed by the author combines RSA and elliptic curve cryptography and is implemented through the following steps:
- **Aggregate commitment**: Aggregate all set elements into a single commitment.
- **OR proof**: Prove knowledge of the discrete logarithm (for elliptic curves) or the e - th root (for RSA) of one of the set elements without revealing which element it is.

This innovative method keeps both the proof size and the verification time at a constant level, which is significantly better than traditional methods.