Short discreet proofs

被引：0
|
作者：
Boyar, J [1 ]
Peralta, R [1 ]
机构：
[1] JAPAN ADV INST SCI & TECHNOL, SCH INFORMAT SCI, NOMI, ISHIKAWA 92312, JAPAN
来源：
ADVANCES IN CRYPTOLOGY - EUROCRYPT '96 | 1996年 / 1070卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We show how to produce short proofs of theorems: such that a distrusting Verifier can be convinced that the theorem is true yet obtains no information about the proof itself. The proofs are non-interactive provided that the quadratic residuosity bit commitment scheme is available to the Prover and Verifier. For typical applications, the proofs are short enough to fit on a floppy disk.
引用
收藏
页码：131 / 142
页数：12
相关论文
共 50 条
  • [1] Secure sealed-bid online auctions using discreet cryptographic proofs
    Montenegro, Jose A.
    Fischer, Michael J.
    Lopez, Javier
    Peralta, Rene
    MATHEMATICAL AND COMPUTER MODELLING, 2013, 57 (11-12) : 2583 - 2595
  • [2] Long and short proofs
    Calude, Cristian S.
    Staiger, Ludwig
    BULLETIN MATHEMATIQUE DE LA SOCIETE DES SCIENCES MATHEMATIQUES DE ROUMANIE, 2022, 65 (02): : 203 - 211
  • [3] Combinatorial PCPs with Short Proofs
    Meir, Or
    2012 IEEE 27TH ANNUAL CONFERENCE ON COMPUTATIONAL COMPLEXITY (CCC), 2012, : 345 - 355
  • [4] Combinatorial PCPs with Short Proofs
    Meir, Or
    COMPUTATIONAL COMPLEXITY, 2016, 25 (01) : 1 - 102
  • [5] Short Proofs in QBF Expansion
    Beyersdorff, Olaf
    Chew, Leroy
    Clymo, Judith
    Mahajan, Meena
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, 2019, 11628 : 19 - 35
  • [6] Vector Commitments with Proofs of Smallness: Short Range Proofs and More
    Libert, Benoit
    PUBLIC-KEY CRYPTOGRAPHY, PT II, PKC 2024, 2024, 14602 : 36 - 67
  • [7] SHORT PROOFS FOR TRICKY FORMULAS
    KRISHNAMURTHY, B
    ACTA INFORMATICA, 1985, 22 (03) : 253 - 275
  • [8] Short Proofs for the Determinant Identities
    Hrubes, Pavel
    Tzameret, Iddo
    STOC'12: PROCEEDINGS OF THE 2012 ACM SYMPOSIUM ON THEORY OF COMPUTING, 2012, : 193 - 212
  • [9] Short Paper: Naysayer Proofs
    Seres, Istvan Andras
    Glaeser, Noemi
    Bonneau, Joseph
    FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2024, PT II, 2025, 14745 : 22 - 32
  • [10] SHORT THEOREMS WITH LONG PROOFS
    SPENCER, J
    AMERICAN MATHEMATICAL MONTHLY, 1983, 90 (06): : 365 - 366
12345