• Complex
  • Title
  • Keyword
  • Abstract
  • Scholars
  • Journal
  • ISSN
  • Conference
成果搜索

author:

Zhang, Zongyang (Zhang, Zongyang.) [1] | Li, Weihan (Li, Weihan.) [2] | Guo, Yanpei (Guo, Yanpei.) [3] | Shi, Kexin (Shi, Kexin.) [4] | Chow, Sherman S.M. (Chow, Sherman S.M..) [5] | Liu, Ximeng (Liu, Ximeng.) [6] (Scholars:刘西蒙) | Dong, Jin (Dong, Jin.) [7]

Indexed by:

EI

Abstract:

Supporting proofs of evaluations, polynomial commitment schemes (PCS) are crucial in secure distributed systems. Schemes based on fast Reed-Solomon interactive oracle proofs (RS-IOP) of proximity have recently emerged, offering transparent setup, plausible post-quantum security, efficient operations, and, notably, sublinear proof size and verification. Manifesting a new paradigm, PCS with one-to-many proof can enhance the performance of (asynchronous) verifiable secret sharing ((A)VSS), a cornerstone in distributed computing, for proving multiple evaluations to multiple verifiers. Current RS-IOP-based multivariate PCS, including HyperPlonk (Eurocrypt'23) and Virgo (S&P'20), however, only offer quasi-linear prover complexity in the polynomial size. We propose PolyFRIM, a fast RS-IOP-based multivariate PCS with optimal linear prover complexity, 5-25× faster than prior arts while ensuring competent proof size and verification. Heeding the challenging absence of FFT circuits for multivariate evaluation, PolyFRIM surpasses Zhang et al.'s (Usenix Sec.'22) one-to-many univariate PCS, accelerating proving by 4-7× and verification by 2-4× with 25% shorter proof. Leveraging PolyFRIM, we propose an AVSS scheme FRISS with a better efficiency tradeoff than prior arts from multivariate PCS, including Bingo (Crypto'23) and Haven (FC'21). © USENIX Security Symposium 2024.All rights reserved.

Keyword:

Computational complexity Microcomputers Polynomial approximation Quantum cryptography Reed-Solomon codes Theorem proving

Community:

  • [ 1 ] [Zhang, Zongyang]Beihang Univ., China
  • [ 2 ] [Li, Weihan]Beihang Univ., China
  • [ 3 ] [Guo, Yanpei]Beihang Univ., China
  • [ 4 ] [Shi, Kexin]Beihang Univ., China
  • [ 5 ] [Chow, Sherman S.M.]The Chinese University of Hong Kong, Hong Kong
  • [ 6 ] [Liu, Ximeng]Fuzhou Univ., China
  • [ 7 ] [Dong, Jin]Beijing Academy of Blockchain and Edge Computing, China

Reprint 's Address:

Email:

Show more details

Related Keywords:

Related Article:

Source :

Year: 2024

Page: 3187-3204

Language: English

Cited Count:

WoS CC Cited Count:

SCOPUS Cited Count:

ESI Highly Cited Papers on the List: 0 Unfold All

WanFang Cited Count:

Chinese Cited Count:

30 Days PV: 0

Online/Total:66/10071334
Address:FZU Library(No.2 Xuyuan Road, Fuzhou, Fujian, PRC Post Code:350116) Contact Us:0591-22865326
Copyright:FZU Library Technical Support:Beijing Aegean Software Co., Ltd. 闽ICP备05005463号-1