RT Journal Article
T1 Toward a Framework for Cost-Effective and Publicly Verifiable Confidential Computations in Blockchain
A1 Morales, Daniel
A1 Agudo-Ruiz, Isaac
A1 López-Muñoz, Francisco Javier
K1 Lingüística computacional
K1 Informática-Aplicaciones
K1 Seguridad informática
K1 Redes de ordenadores-Medidas de seguridad
AB Blockchain technologies have introduced a compelling paradigm for a new understanding of security through decentralized networks and consensus mechanisms. However, they need all data to be public, which may be unacceptable for use cases such as biometric data processing or sensitive monetary transactions. Therefore, confidentiality is identified as a need in blockchain. Additionally, blockchain can contribute to confidential applications by providing publicly verifiable mechanisms, therefore enhancing security. This work presents a framework for cost-effective and publicly verifiable confidential computations in blockchain, by relying on secure multi-party computation committees and zero-knowledge proofs. Our framework supports arbitrary computations on confidential data enforced by smart contracts. Additionally, staking, incentives, and cheat identification are provided as solutions to enhance trust. We also provide a technical solution to embed secure multi-party computations within smart contracts by using the Promise programming pattern. Finally, a cost analysis is provided to justify the feasibility of the framework compared to other solutions.
PB IEEE Xplore
YR 2024
FD 2024
LK https://hdl.handle.net/10630/34694
UL https://hdl.handle.net/10630/34694
LA spa
NO D. Morales, I. Agudo and J. Lopez, "Toward a Framework for Cost-Effective and Publicly Verifiable Confidential Computations in Blockchain," in IEEE Communications Magazine, doi: 10.1109/MCOM.001.2300839.
NO Funding for open access charge: Universidad de Málaga/CBUA
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 21 ene 2026