Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

Fast Proofs for Verifying Computations

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

Publicaciones

Distribution-Free Proofs of Proximity (se abrirá en una nueva ventana)

Autores: Gur, Tom; Aaronson, Hugo; Rajgopal, Ninad; Rothblum, Ron
Publicado en: 2023
Editor: CCC 2024
DOI: 10.48550/arxiv.2308.08874

Locally Testable Tree Codes (se abrirá en una nueva ventana)

Autores: Tamer Moud, Alon Rosen, Ron Rothblum
Publicado en: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2025
Editor: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611978322.189

Combinatorially Homomorphic Encryption (se abrirá en una nueva ventana)

Autores: Yuval Ishai, Eyal Kushnir, and Ron D. Rothblum
Publicado en: Cryptology ePrint Archive, Edición 2023/1973, 2023, ISBN 978-3-031-48617-3
Editor: Springer
DOI: 10.1007/978-3-031-48618-0_9

Collision-Resistance from Multi-Collision-Resistance (se abrirá en una nueva ventana)

Autores: Ron D. Rothblum Prashant Nalini Vasudevan
Publicado en: Journal of Cryptology, 2022, ISBN 978-3-031-15981-7
Editor: Springer
DOI: 10.1007/978-3-031-15982-4_17

Efficient Interactive Proofs for Non-Deterministic Bounded Space (se abrirá en una nueva ventana)

Autores: Joshua Cook, Ron D. Rothblum
Publicado en: Electronic colloquium on computational complexity, 2023, ISSN 1868-8969
Editor: "Schloss Dagstuhl -- Leibniz-Zentrum f""ur Informatik"
DOI: 10.4230/LIPIcs.APPROX/RANDOM.2023.47

Rate-1 Zero-Knowledge Proofs from One-Way Functions (se abrirá en una nueva ventana)

Autores: Noor Athamnah, Eden Florentz – Konopnicki, Ron D. Rothblum
Publicado en: Lecture Notes in Computer Science, Theory of Cryptography, 2024
Editor: ACM
DOI: 10.1007/978-3-031-78011-0_11

Unstructured Hardness to Average-Case Randomness (se abrirá en una nueva ventana)

Autores: Lijie Chen, Ron D. Rothblum, Roei Tell
Publicado en: Annual IEEE Symposium on Foundations of Computer Science, 2022
Editor: IEEE Computer Society
DOI: 10.1109/FOCS54457.2022.00048

Fiat-Shamir in the Plain Model from Derandomization (Or: Do Efficient Algorithms Believe that NP = PSPACE?) (se abrirá en una nueva ventana)

Autores: Lijie Chen, Ron D. Rothblum, Roei Tell
Publicado en: Proceedings of the 57th Annual ACM Symposium on Theory of Computing, 2025
Editor: ACM
DOI: 10.1145/3717823.3718177

Proving as fast as computing: succinct arguments with constant prover overhead (se abrirá en una nueva ventana)

Autores: Noga Ron-Zewi, Ron D. Rothblum
Publicado en: Cryptology ePrint Archive, Edición 2021/1673, 2022, ISBN 9781450392648
Editor: Association for Computing Machinery
DOI: 10.1145/3519935.3519956

Faithful Simulation of Randomized BFT Protocols on Block DAGs

Autores: Attiya, Hagit; Enea, Constantin; Nassar, Shafik
Publicado en: 34th International Conference on Concurrency Theory, {CONCUR} 2023,, 2023
Editor: Concur 2023

Delegation for Search Problems (se abrirá en una nueva ventana)

Autores: Justin Holmgren, Andrea Lincoln, Ron D. Rothblum
Publicado en: 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022), 2022, ISSN 1868-8969
Editor: "Schloss Dagstuhl -- Leibniz-Zentrum f""ur Informatik"
DOI: 10.4230/LIPIcs.ICALP.2022.73

Batch Proofs Are Statistically Hiding (se abrirá en una nueva ventana)

Autores: Nir Bitansky, Chethan Kamath, Omer Paneth, Ron D. Rothblum, Prashant Nalini Vasudevan
Publicado en: Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2025
Editor: ACM
DOI: 10.1145/3618260.3649775

Doubly-Efficient Batch Verification in Statistical Zero-Knowledge (se abrirá en una nueva ventana)

Autores: Or Keret, Ron D. Rothblum, Prashant Nalini Vasudevan
Publicado en: Lecture Notes in Computer Science, Theory of Cryptography, 2024
Editor: ACM
DOI: 10.1007/978-3-031-78017-2_13

Faster Sounder Succinct Arguments and s

Autores: Justin Holmgren, Ron D. Rothblum
Publicado en: Cryptology ePrint Archive, 2022, ISBN 978-3-031-15801-8
Editor: Springer

Succinct Interactive Oracle Proofs: Applications and Limitations (se abrirá en una nueva ventana)

Autores: Shafik Nassar, Ron D. Rothblum
Publicado en: Cryptology Eprint Archive, Edición 2022/281, 2022, ISBN 978-3-031-15801-8
Editor: Springer
DOI: 10.1007/978-3-031-15802-5_18

Strong Batching for Non-interactive Statistical Zero-Knowledge (se abrirá en una nueva ventana)

Autores: Changrui Mu, Shafik Nassar, Ron D. Rothblum, Prashant Nalini Vasudevan
Publicado en: Lecture Notes in Computer Science, Advances in Cryptology – EUROCRYPT 2024, 2024
Editor: Springer
DOI: 10.1007/978-3-031-58751-1_9

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles

Mi folleto 0 0