From obfuscation to the security of fiat-shamir for proofs

被引：0
|
作者：
Microsoft Research, Cambridge, United States [1 ]
不详 [2 ]
不详 [3 ]
机构：
来源：
Lect. Notes Comput. Sci. | 1600年 / 224-251期
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
37th Annual International Cryptology Conference, CRYPTO 2017
中图分类号：
学科分类号：
摘要：
Black-box reductions - Computational assumptions - Identification scheme - Indistinguishability - Interactive proofs - Public-coin interactive protocols - Random Oracle model - Zero knowledge proof
引用
收藏
相关论文
共 50 条
  • [1] From Obfuscation to the Security of Fiat-Shamir for Proofs
    Kalai, Yael Tauman
    Rothblum, Guy N.
    Rothblum, Ron D.
    ADVANCES IN CRYPTOLOGY - CRYPTO 2017, PART II, 2017, 10402 : 224 - 251
  • [2] On the (in)security of the Fiat-Shamir paradigm
    Goldwasser, S
    Kalai, YT
    44TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2003, : 102 - 113
  • [3] Why "Fiat-Shamir for Proofs" Lacks a Proof
    Bitansky, Nir
    Dachman-Soled, Dana
    Garg, Sanjam
    Jain, Abhishek
    Kalai, Yael Tauman
    Lopez-Alt, Adriana
    Wichs, Daniel
    THEORY OF CRYPTOGRAPHY (TCC 2013), 2013, 7785 : 182 - 201
  • [4] Security of the extended Fiat-Shamir schemes
    Ohta, K
    Okamoto, T
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1998, E81A (01): : 65 - 71
  • [5] Fiat-Shamir Security of FRI and Related SNARKs
    Block, Alexander R.
    Garreta, Albert
    Katz, Jonathan
    Thaler, Justin
    Tiwari, Pratyush Ranjan
    Zajac, Michal
    ADVANCES IN CRYPTOLOGY, ASIACRYPT 2023, PT II, 2023, 14439 : 3 - 40
  • [6] Post-quantum Security of Fiat-Shamir
    Unruh, Dominique
    ADVANCES IN CRYPTOLOGY - ASIACRYPT 2017, PT I, 2017, 10624 : 65 - 95
  • [7] Forward Security of Fiat-Shamir Lattice Signatures
    Tao, Yang
    Zhang, Rui
    Ji, Yunfeng
    APPLIED CRYPTOGRAPHY AND NETWORK SECURITY, PT I, ACNS 2023, 2023, 13905 : 607 - 633
  • [8] Fiat-Shamir Transformation of Multi-round Interactive Proofs
    Attema, Thomas
    Fehr, Serge
    Klooss, Michael
    THEORY OF CRYPTOGRAPHY, TCC 2022, PT I, 2022, 13747 : 113 - 142
  • [9] Fiat-Shamir: From Practice to Theory
    Canetti, Ran
    Chen, Yilei
    Holmgren, Justin
    Lombardi, Alex
    Rothblum, Guy N.
    Rothblum, Ron D.
    Wichs, Daniel
    PROCEEDINGS OF THE 51ST ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING (STOC '19), 2019, : 1082 - 1090
  • [10] Fiat-Shamir for Proofs Lacks a Proof Even in the Presence of Shared Entanglement
    Dupuis, Frederic
    Lamontagne, Philippe
    Salvail, Louis
    QUANTUM, 2024, 8
12345