Candidate: Mohammadtaghi Badakhshan
Date: November 28, 2024
Time: 2:45 PM
Location: E5 5128
Supervisor: Gong, Guang
All are welcome!
Abstract:
Zupply is a framework designed for the anonymous and decentralized maintenance of authentic data records structured as directed acyclic graphs (DAGs) off-chain while managing anonymous authentication tokens on permissionless, smart contract-enabled blockchain platforms. This trustless, decentralized solution leverages zkSNARKs to ensure data integrity and privacy. We have instantiated Zupply with the Groth16 protocol and implemented it using C++ and Solidity, demonstrating computational and cost efficiency. However, Groth16 relies on a trusted setup and lacks post-quantum security. To address these limitations, we explore integrating transparent setup, post-quantum secure zkSNARKs, such as Polaris, into the Zupply framework. Polaris employs the GKR protocol to reduce verifier computational costs. The GKR protocol is a public-coin interactive proof system that supports computations on log-space uniform layered (fan-in 2) arithmetic circuits. We have instantiated and implemented a circuit tailored for Polaris in SageMath.