research-article

A zero-knowledge proof system for OpenLibra

Authors:

Patrick Biel,

Shiquan Zhang,

Hans-Arno JacobsenAuthors Info & Claims

Middleware '21: Proceedings of the 22nd International Middleware Conference: Demos and Posters

Pages 3 - 4

https://doi.org/10.1145/3491086.3492469

Published: 06 December 2021 Publication History

Get Access

Abstract

Zero-knowledge proofs (ZKPs) have garnered much attention recently. They have witnessed applicability in anonymizing tokens (e.g., Tornado Cash) and increasing transaction throughput (e.g., ZK-Rollups) for blockchains backing cryptocurrencies. ZKPs are touted to offer great potential for future blockchain applications that operate in a priori trustless environments across administrative boundaries. This short note discusses the integration of the ZK-STARK-based proof system into the OpenLibra blockchain. We generically describe the interaction of the involved ZKP capabilities with OpenLibra and showcase an open-sourced proof-of-concept implementation.

References

[1]

Eli Ben-Sasson, Iddo Bentov, Yinon Horesh, and Michael Riabzev. 2018. Scalable, transparent, and post-quantum secure computational integrity. IACR Cryptol. ePrint Arch. 2018 (2018), 46.

Google Scholar

[2]

Eli Ben-Sasson, Alessandro Chiesa, Michael Riabzev, Nicholas Spooner, Madars Virza, and Nicholas P Ward. 2019. Aurora: Transparent succinct arguments for R1CS. In Annual international conference on the theory and applications of cryptographic techniques. Springer, 103--128.

Digital Library

Google Scholar

[3]

Nir Bitansky, Ran Canetti, Alessandro Chiesa, and Eran Tromer. 2012. From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again. In Proceedings of the 3rd Innovations in Theoretical Computer Science Conference. 326--349.

Digital Library

Google Scholar

[4]

Lior Goldberg, Shahar Papini, and Michael Riabzev. 2021. Cairo-a Turing-complete STARK-friendly CPU architecture. (2021).

Google Scholar

[5]

Oded Goldreich and Yair Oren. 1994. Definitions and properties of zero-knowledge proof systems. Journal of Cryptology 7, 1 (1994), 1--32.

Digital Library

Google Scholar

[6]

Daira Hopwood, Sean Bowe, Taylor Hornby, and Nathan Wilcox. 2016. Zcash protocol specification. GitHub: San Francisco, CA, USA (2016).

Google Scholar

Cited By

View all

Lin QGu BNawab F(2024)RollStore: Hybrid Onchain-Offchain Data Indexing for Blockchain ApplicationsIEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2024.343651436:12(9176-9191)Online publication date: Dec-2024
https://doi.org/10.1109/TKDE.2024.3436514
Motepalli SJacobsen H(2023)Analyzing Geospatial Distribution in Blockchains2023 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS)10.1109/DAPPS57946.2023.00022(100-108)Online publication date: Jul-2023
https://doi.org/10.1109/DAPPS57946.2023.00022
Meijers JMichalopoulos PMotepalli SZhang GZhang SVeneris AJacobsen H(2022)Blockchain for V2X: Applications and ArchitecturesIEEE Open Journal of Vehicular Technology10.1109/OJVT.2022.31727093(193-209)Online publication date: 2022
https://doi.org/10.1109/OJVT.2022.3172709

Recommendations

Security and Privacy on Blockchain

Blockchain offers an innovative approach to storing information, executing transactions, performing functions, and establishing trust in an open environment. Many consider blockchain as a technology breakthrough for cryptography and cybersecurity, with ...
Non-interactive zero-knowledge and its applications
Providing Sound Foundations for Cryptography
GZKP: A GPU Accelerated Zero-Knowledge Proof System
ASPLOS 2023: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2

Zero-knowledge proof (ZKP) is a cryptographic protocol that allows one party to prove the correctness of a statement to another party without revealing any information beyond the correctness of the statement itself. It guarantees computation integrity ...

Comments

Information & Contributors

Information

Published In

Middleware '21: Proceedings of the 22nd International Middleware Conference: Demos and Posters

December 2021

23 pages

ISBN:9781450391542

DOI:10.1145/3491086

General Chairs:
Kaiwen Zhang
ÉTS, Canada
,
Abdelouahed Gherbi
ÉTS, Canada
,
Program Chairs:
Nalini Venkatasubramanian
UC Irvine
,
Luís Veiga
IST (U.Lisboa) & INESC-ID, Portugal

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

In-Cooperation

USENIX Assoc: USENIX Assoc
IFIP

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 06 December 2021

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

NSERC

Conference

Middleware '21

Sponsor:

Middleware '21: 22nd International Middleware Conference

December 6 - 10, 2021

Virtual Event, Canada

Acceptance Rates

Overall Acceptance Rate 203 of 948 submissions, 21%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
300
Total Downloads

Downloads (Last 12 months)26
Downloads (Last 6 weeks)3

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Lin QGu BNawab F(2024)RollStore: Hybrid Onchain-Offchain Data Indexing for Blockchain ApplicationsIEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2024.343651436:12(9176-9191)Online publication date: Dec-2024
https://doi.org/10.1109/TKDE.2024.3436514
Motepalli SJacobsen H(2023)Analyzing Geospatial Distribution in Blockchains2023 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS)10.1109/DAPPS57946.2023.00022(100-108)Online publication date: Jul-2023
https://doi.org/10.1109/DAPPS57946.2023.00022
Meijers JMichalopoulos PMotepalli SZhang GZhang SVeneris AJacobsen H(2022)Blockchain for V2X: Applications and ArchitecturesIEEE Open Journal of Vehicular Technology10.1109/OJVT.2022.31727093(193-209)Online publication date: 2022
https://doi.org/10.1109/OJVT.2022.3172709

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Recommendations

Security and Privacy on Blockchain

Non-interactive zero-knowledge and its applications

GZKP: A GPU Accelerated Zero-Knowledge Proof System

Comments

Information

Published In

Sponsors

In-Cooperation

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Funding Sources

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations