Evaluating the Integration of Aurora Zksnark in the Zupply Framework
The Zupply framework introduces an anonymous authentication protocol that utilizes zero-knowledge proofs to ensure data integrity, participant anonymity, and unlinkability within supply chains. Zupply employed the Groth16 zkSNARK, which requires a trusted setup. This paper explores the integration of Aurora, a transparent setup post-quantum secure zkSNARK, to the Zupply framework. This paper presents the core Zupply arithmetic circuits, including Auth, Trans, Merge, and Div, which allows succinct zero-knowledge proofs without exposing sensitive data. We evaluate the performance of the Zupply Aurora-based implementation across varying Merkle hash tree depths, comparing it to the original Groth16-based setup for BN254 and BLS12-381 elliptic curves.
Authors
- Guang Gong (ORCID: https://orcid.org/0000-0003-2684-9259)
- Mohammadtaghi Badakhshan (ORCID: https://orcid.org/0000-0002-2631-1777)
Institutions
- University of Waterloo (CA)
Publication Details
- Published
- 2025-05-03
- DOI
- https://doi.org/10.1109/encycris66464.2025.00010
- Primary Topic
- Advanced Software Engineering Methodologies
- Type
- article
- Field-Weighted Citation Impact
- 0.00