Evaluating the Integration of Aurora Zksnark in the Zupply Framework

Abstract

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.