BlockVerify: Privacy-Preserving Zero-Knowledge Credentials Verification Framework on Ethereum

Theodoros Constantinides; John P Cartlidge

doi:10.46354/i3m.2023.emss.022

BlockVerify: Privacy-Preserving Zero-Knowledge Credentials Verification Framework on Ethereum

Theodoros Constantinides^*, John P Cartlidge

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

157 Downloads (Pure)

Abstract

We present a general purpose, privacy-preserving framework for verifying user attributes. The framework is designed for users (e.g., a job candidate) to allow a challenger (e.g., a prospective employer) to verify whether the user meets a particular requirement (e.g., does the candidate hold a valid driving license?), without leaking any other information about the user. Importantly, the user is an active part of the challenge-verification process, which ensures that challenges cannot be made without the user's full knowledge and participation. The framework is decentralized and requires a public blockchain. A smart contract is used to manage the challenge-verification process, and zero-knowledge proofs are used to verify challenges in a privacy-preserving manner. We implement a simplified version of the framework using smart contracts deployed on the Ethereum blockchain, and we simulate some simple use cases. All simulation code is available open-source (https://github.com/lifeisbeer/BlockVerify).

Original language	English
Title of host publication	35th European Modeling and Simulation Symposium, EMSS 2023
Editors	Michael Affenzeller, Agostino G. Bruzzone, Emilio Jimenez, Francesco Longo, Antonella Petrillo
Publisher	Caltek
Number of pages	9
ISBN (Electronic)	9788885741874, 9788885741881
ISBN (Print)	9788885741874
DOIs	https://doi.org/10.46354/i3m.2023.emss.022
Publication status	Published - 18 Sept 2023
Event	35th European Modeling & Simulation Symposium - Athens, Greece Duration: 18 Sept 2023 → 20 Sept 2023

Publication series

Name	European Modeling and Simulation Symposium, EMSS
Volume	2023-September
ISSN (Print)	2305-2023

Conference

Conference	35th European Modeling & Simulation Symposium
Abbreviated title	EMSS 2023
Country/Territory	Greece
City	Athens
Period	18/09/23 → 20/09/23

Bibliographical note

Publisher Copyright:
© 2023 The Authors.

Keywords

Blockchain
smart contract
zero-knowledge proofs
privacy-preserving
verification

Access to Document

10.46354/i3m.2023.emss.022Licence: CC BY-NC-ND

Full-text PDF (final published version)
This is the final published version of the article (version of record). It first appeared online via CAL-TEK Srl at https://doi.org/10.46354/i3m.2023.emss.022. Please refer to any applicable terms of use of the publisher.
Final published version, 510 KBLicence: CC BY-NC-ND

Handle.net

Persistent link

Cite this

Constantinides, T., & Cartlidge, J. P. (2023). BlockVerify: Privacy-Preserving Zero-Knowledge Credentials Verification Framework on Ethereum. In M. Affenzeller, A. G. Bruzzone, E. Jimenez, F. Longo, & A. Petrillo (Eds.), 35th European Modeling and Simulation Symposium, EMSS 2023 Article 022 (European Modeling and Simulation Symposium, EMSS; Vol. 2023-September). Caltek. https://doi.org/10.46354/i3m.2023.emss.022

Constantinides, Theodoros ; Cartlidge, John P. / BlockVerify: Privacy-Preserving Zero-Knowledge Credentials Verification Framework on Ethereum. 35th European Modeling and Simulation Symposium, EMSS 2023. editor / Michael Affenzeller ; Agostino G. Bruzzone ; Emilio Jimenez ; Francesco Longo ; Antonella Petrillo. Caltek, 2023. (European Modeling and Simulation Symposium, EMSS).

@inproceedings{32ca3429e9be45d78263a84d6fe57446,

title = "BlockVerify: Privacy-Preserving Zero-Knowledge Credentials Verification Framework on Ethereum",

abstract = "We present a general purpose, privacy-preserving framework for verifying user attributes. The framework is designed for users (e.g., a job candidate) to allow a challenger (e.g., a prospective employer) to verify whether the user meets a particular requirement (e.g., does the candidate hold a valid driving license?), without leaking any other information about the user. Importantly, the user is an active part of the challenge-verification process, which ensures that challenges cannot be made without the user's full knowledge and participation. The framework is decentralized and requires a public blockchain. A smart contract is used to manage the challenge-verification process, and zero-knowledge proofs are used to verify challenges in a privacy-preserving manner. We implement a simplified version of the framework using smart contracts deployed on the Ethereum blockchain, and we simulate some simple use cases. All simulation code is available open-source (https://github.com/lifeisbeer/BlockVerify).",

keywords = "Blockchain, smart contract, zero-knowledge proofs, privacy-preserving, verification",

author = "Theodoros Constantinides and Cartlidge, {John P}",

note = "Publisher Copyright: {\textcopyright} 2023 The Authors.; 35th European Modeling & Simulation Symposium, EMSS 2023 ; Conference date: 18-09-2023 Through 20-09-2023",

year = "2023",

month = sep,

day = "18",

doi = "10.46354/i3m.2023.emss.022",

language = "English",

isbn = "9788885741874",

series = "European Modeling and Simulation Symposium, EMSS",

publisher = "Caltek",

editor = "Michael Affenzeller and Bruzzone, {Agostino G.} and Emilio Jimenez and Francesco Longo and Antonella Petrillo",

booktitle = "35th European Modeling and Simulation Symposium, EMSS 2023",

}

Constantinides, T & Cartlidge, JP 2023, BlockVerify: Privacy-Preserving Zero-Knowledge Credentials Verification Framework on Ethereum. in M Affenzeller, AG Bruzzone, E Jimenez, F Longo & A Petrillo (eds), 35th European Modeling and Simulation Symposium, EMSS 2023., 022, European Modeling and Simulation Symposium, EMSS, vol. 2023-September, Caltek, 35th European Modeling & Simulation Symposium, Athens, Greece, 18/09/23. https://doi.org/10.46354/i3m.2023.emss.022

BlockVerify: Privacy-Preserving Zero-Knowledge Credentials Verification Framework on Ethereum. / Constantinides, Theodoros ; Cartlidge, John P.
35th European Modeling and Simulation Symposium, EMSS 2023. ed. / Michael Affenzeller; Agostino G. Bruzzone; Emilio Jimenez; Francesco Longo; Antonella Petrillo. Caltek, 2023. 022 (European Modeling and Simulation Symposium, EMSS; Vol. 2023-September).

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

TY - GEN

T1 - BlockVerify: Privacy-Preserving Zero-Knowledge Credentials Verification Framework on Ethereum

AU - Constantinides, Theodoros

AU - Cartlidge, John P

PY - 2023/9/18

Y1 - 2023/9/18

N2 - We present a general purpose, privacy-preserving framework for verifying user attributes. The framework is designed for users (e.g., a job candidate) to allow a challenger (e.g., a prospective employer) to verify whether the user meets a particular requirement (e.g., does the candidate hold a valid driving license?), without leaking any other information about the user. Importantly, the user is an active part of the challenge-verification process, which ensures that challenges cannot be made without the user's full knowledge and participation. The framework is decentralized and requires a public blockchain. A smart contract is used to manage the challenge-verification process, and zero-knowledge proofs are used to verify challenges in a privacy-preserving manner. We implement a simplified version of the framework using smart contracts deployed on the Ethereum blockchain, and we simulate some simple use cases. All simulation code is available open-source (https://github.com/lifeisbeer/BlockVerify).

AB - We present a general purpose, privacy-preserving framework for verifying user attributes. The framework is designed for users (e.g., a job candidate) to allow a challenger (e.g., a prospective employer) to verify whether the user meets a particular requirement (e.g., does the candidate hold a valid driving license?), without leaking any other information about the user. Importantly, the user is an active part of the challenge-verification process, which ensures that challenges cannot be made without the user's full knowledge and participation. The framework is decentralized and requires a public blockchain. A smart contract is used to manage the challenge-verification process, and zero-knowledge proofs are used to verify challenges in a privacy-preserving manner. We implement a simplified version of the framework using smart contracts deployed on the Ethereum blockchain, and we simulate some simple use cases. All simulation code is available open-source (https://github.com/lifeisbeer/BlockVerify).

KW - Blockchain

KW - smart contract

KW - zero-knowledge proofs

KW - privacy-preserving

KW - verification

U2 - 10.46354/i3m.2023.emss.022

DO - 10.46354/i3m.2023.emss.022

M3 - Conference Contribution (Conference Proceeding)

SN - 9788885741874

T3 - European Modeling and Simulation Symposium, EMSS

BT - 35th European Modeling and Simulation Symposium, EMSS 2023

A2 - Affenzeller, Michael

A2 - Bruzzone, Agostino G.

A2 - Jimenez, Emilio

A2 - Longo, Francesco

A2 - Petrillo, Antonella

PB - Caltek

T2 - 35th European Modeling & Simulation Symposium

Y2 - 18 September 2023 through 20 September 2023

ER -

BlockVerify: Privacy-Preserving Zero-Knowledge Credentials Verification Framework on Ethereum

Abstract

Publication series

Conference

Bibliographical note

Keywords

Access to Document

Handle.net

Fingerprint

Cite this