Zero-knowledge proofs are widely adopted in Confidential Transactions (CTs). In particular, with these proofs, it is possible to prove the validity of transactions without revealing sensitive information. This has become an attractive property in public blockchain where transactions must be publicly verifiable. However, several challenges must be addressed in order not to alter important properties of the blockchain, such as not introducing trusted third parties and/or circuit-dependent trusted setups. Moreover, there are limited proposals working on the standard account model and considering extended payment models where multiple payees are involved in one transaction. With this paper, we first present our concept of Multi-Transfer (MT) in CTs settings, i.e., a transfer that involves multiple payees in a single transaction with privacy guarantees for balances and transfer amounts. Inspired by the work of Zether, we design the MT zero-knowledge proof system, named MTproof, by combining the aggregate version of Bulletproofs and several Σ -Protocols to prove that an MT transaction is legit. We provide concrete evaluations of the MTproof in terms of proof size, prover and verifier execution time.

Zero-Knowledge Multi-transfer Based on Range Proofs and Homomorphic Encryption

Scala E.;Corradini F.;Mostarda L.
2023-01-01

Abstract

Zero-knowledge proofs are widely adopted in Confidential Transactions (CTs). In particular, with these proofs, it is possible to prove the validity of transactions without revealing sensitive information. This has become an attractive property in public blockchain where transactions must be publicly verifiable. However, several challenges must be addressed in order not to alter important properties of the blockchain, such as not introducing trusted third parties and/or circuit-dependent trusted setups. Moreover, there are limited proposals working on the standard account model and considering extended payment models where multiple payees are involved in one transaction. With this paper, we first present our concept of Multi-Transfer (MT) in CTs settings, i.e., a transfer that involves multiple payees in a single transaction with privacy guarantees for balances and transfer amounts. Inspired by the work of Zether, we design the MT zero-knowledge proof system, named MTproof, by combining the aggregate version of Bulletproofs and several Σ -Protocols to prove that an MT transaction is legit. We provide concrete evaluations of the MTproof in terms of proof size, prover and verifier execution time.
2023
978-3-031-28450-2
978-3-031-28451-9
268
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11581/477968
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact