Zero-Knowledge Proofs for Questionnaire Result Verification in Smart Contracts (2310.13618v1)
Abstract: We present an implementation of a Web3 platform that leverages the Groth16 Zero-Knowledge Proof schema to verify the validity of questionnaire results within Smart Contracts. Our approach ensures that the answer key of the questionnaire remains undisclosed throughout the verification process, while ensuring that the evaluation is done fairly. To accomplish this, users respond to a series of questions, and their answers are encoded and securely transmitted to a hidden backend. The backend then performs an evaluation of the user's answers, generating the overall result of the questionnaire. Additionally, it generates a Zero-Knowledge Proof, attesting that the answers were appropriately evaluated against a valid set of constraints. Next, the user submits their result along with the proof to a Smart Contract, which verifies their validity and issues a non-fungible token (NFT) as an attestation of the user's test result. In this research, we implemented the Zero-Knowledge functionality using Circom 2 and deployed the Smart Contract using Solidity, thereby showcasing a practical and secure solution for questionnaire validity verification in the context of Smart Contracts.
- Aave “AAVE/AAVE-protocol: AAVE protocol version 1.0 - Decentralized Lending Pools” In GitHub AAVE Protocol URL: https://github.com/aave/aave-protocol/blob/master/docs/Aave_Protocol_Whitepaper_v1_0.pdf
- “Uniswap v3 Core” In Uniswap Uniswap URL: https://uniswap.org/whitepaper-v3.pdf
- Adam Back “Hashcash-a denial of service counter-measure” Accessed: 2016-03-09, 2002 URL: http://www.hashcash.org/papers/hashcash.pdf
- Vitalik Buterin “Ethereum White Paper: A Next Generation Smart Contract & Decentralized Application Platform”, 2013 URL: https://github.com/ethereum/wiki/wiki/White-Paper
- Jens Groth “On the Size of Pairing-Based Non-interactive Arguments” In Advances in Cryptology – EUROCRYPT 2016 Berlin, Heidelberg: Springer Berlin Heidelberg, 2016, pp. 305–326
- Jaynti Kanani, Sandeep Nailwal and Anurag Arjun “Matic Whitepaper”, 2020 URL: https://github.com/maticnetwork/whitepaper
- “CIRCOM: A Robust and Scalable Language for Building Complex Zero-Knowledge Circuits”, 2022 DOI: 10.36227/techrxiv.19374986.v1
- Satoshi Nakamoto “Bitcoin: A Peer-to-Peer Electronic Cash System”, 2009 URL: http://www.bitcoin.org/bitcoin.pdf
- “Overview — Lit Protocol” URL: https://developer.litprotocol.com/
- Lens Protocol “What is Lens? - Lens Protocol” In Lens Protocol Lens Protocol URL: https://docs.lens.xyz/docs
- “Scalable and Probabilistic Leaderless BFT Consensus through Metastability” In ArXiv abs/1906.08936, 2019
- Nicolas Sabarhagen “CryptoNote v2.0”, 2013 URL: https://github.com/monero-project/research-lab/blob/master/whitepaper/whitepaper.pdf
- Nicolas Sabarhagen “Polkadot: Vision for A Heterogeneous Multi-Chain Framework”, 2020 URL: https://assets.polkadot.network/Polkadot-whitepaper.pdf
- Anatoly Yakovenko “Solana: A new architecture for a high performance blockchain v0.8.13”, 2020 URL: https://github.com/maticnetwork/whitepaper
Collections
Sign up for free to add this paper to one or more collections.