Skip to main content
Vai all'homepage della Commissione europea (si apre in una nuova finestra)
italiano italiano
CORDIS - Risultati della ricerca dell’UE
CORDIS

Fast Proofs for Verifying Computations

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

Pubblicazioni

Distribution-Free Proofs of Proximity (si apre in una nuova finestra)

Autori: Gur, Tom; Aaronson, Hugo; Rajgopal, Ninad; Rothblum, Ron
Pubblicato in: 2023
Editore: CCC 2024
DOI: 10.48550/arxiv.2308.08874

Locally Testable Tree Codes (si apre in una nuova finestra)

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

Combinatorially Homomorphic Encryption (si apre in una nuova finestra)

Autori: Yuval Ishai, Eyal Kushnir, and Ron D. Rothblum
Pubblicato in: Cryptology ePrint Archive, Numero 2023/1973, 2023, ISBN 978-3-031-48617-3
Editore: Springer
DOI: 10.1007/978-3-031-48618-0_9

Collision-Resistance from Multi-Collision-Resistance (si apre in una nuova finestra)

Autori: Ron D. Rothblum Prashant Nalini Vasudevan
Pubblicato in: Journal of Cryptology, 2022, ISBN 978-3-031-15981-7
Editore: Springer
DOI: 10.1007/978-3-031-15982-4_17

Efficient Interactive Proofs for Non-Deterministic Bounded Space (si apre in una nuova finestra)

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

Rate-1 Zero-Knowledge Proofs from One-Way Functions (si apre in una nuova finestra)

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

Unstructured Hardness to Average-Case Randomness (si apre in una nuova finestra)

Autori: Lijie Chen, Ron D. Rothblum, Roei Tell
Pubblicato in: Annual IEEE Symposium on Foundations of Computer Science, 2022
Editore: 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?) (si apre in una nuova finestra)

Autori: Lijie Chen, Ron D. Rothblum, Roei Tell
Pubblicato in: Proceedings of the 57th Annual ACM Symposium on Theory of Computing, 2025
Editore: ACM
DOI: 10.1145/3717823.3718177

Proving as fast as computing: succinct arguments with constant prover overhead (si apre in una nuova finestra)

Autori: Noga Ron-Zewi, Ron D. Rothblum
Pubblicato in: Cryptology ePrint Archive, Numero 2021/1673, 2022, ISBN 9781450392648
Editore: Association for Computing Machinery
DOI: 10.1145/3519935.3519956

Faithful Simulation of Randomized BFT Protocols on Block DAGs

Autori: Attiya, Hagit; Enea, Constantin; Nassar, Shafik
Pubblicato in: 34th International Conference on Concurrency Theory, {CONCUR} 2023,, 2023
Editore: Concur 2023

Delegation for Search Problems (si apre in una nuova finestra)

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

Batch Proofs Are Statistically Hiding (si apre in una nuova finestra)

Autori: Nir Bitansky, Chethan Kamath, Omer Paneth, Ron D. Rothblum, Prashant Nalini Vasudevan
Pubblicato in: Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2025
Editore: ACM
DOI: 10.1145/3618260.3649775

Doubly-Efficient Batch Verification in Statistical Zero-Knowledge (si apre in una nuova finestra)

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

Faster Sounder Succinct Arguments and s

Autori: Justin Holmgren, Ron D. Rothblum
Pubblicato in: Cryptology ePrint Archive, 2022, ISBN 978-3-031-15801-8
Editore: Springer

Succinct Interactive Oracle Proofs: Applications and Limitations (si apre in una nuova finestra)

Autori: Shafik Nassar, Ron D. Rothblum
Pubblicato in: Cryptology Eprint Archive, Numero 2022/281, 2022, ISBN 978-3-031-15801-8
Editore: Springer
DOI: 10.1007/978-3-031-15802-5_18

Strong Batching for Non-interactive Statistical Zero-Knowledge (si apre in una nuova finestra)

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

È in corso la ricerca di dati su OpenAIRE...

Si è verificato un errore durante la ricerca dei dati su OpenAIRE

Nessun risultato disponibile

Il mio fascicolo 0 0