Cover Image

Codes on any Cayley Graph have an Interactive Oracle Proof of Proximity

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Delavenne, Hugo, Lallemand, Louise
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Interactive Oracle Proofs of Proximity to Codes on Graphs
by: Delavenne, Hugo, et al.
Published: (2025)

Context-Binding Gaps in Stateful Zero-Knowledge Proximity Proofs: Taxonomy, Separation, and Mitigation
by: Ootani, Yoshiyuki
Published: (2026)

Girth of the Cayley graph and Cayley hash functions
by: Shpilrain, Vladimir
Published: (2025)

Correcting Subverted Random Oracles
by: Russell, Alexander, et al.
Published: (2024)

LIPSTICK: Corruptibility-Aware and Explainable Graph Neural Network-based Oracle-Less Attack on Logic Locking
by: Aghamohammadi, Yeganeh, et al.
Published: (2024)

Classical vs Quantum Advice and Proofs under Classically-Accessible Oracle
by: Li, Xingjian, et al.
Published: (2023)

Oracle Poisoning: Corrupting Knowledge Graphs to Weaponise AI Agent Reasoning
by: Kereopa-Yorke, Ben, et al.
Published: (2026)

Security of the Fischlin Transform in Quantum Random Oracle Model
by: Majenz, Christian, et al.
Published: (2026)

Efficiently Batching Unambiguous Interactive Proofs
by: Berger, Bonnie, et al.
Published: (2025)

DECO: Liberating Web Data Using Decentralized Oracles for TLS
by: Zhang, Fan, et al.
Published: (2019)

Compressed Permutation Oracles
by: Carolan, Joseph
Published: (2025)

LoRA as Oracle
by: Arazzi, Marco, et al.
Published: (2026)

Proofs of No Intrusion
by: Goyal, Vipul, et al.
Published: (2025)

Search-Bound Proximity Proofs: Binding Encrypted Geographic Search to Zero-Knowledge Verification
by: Ootani, Yoshiyuki
Published: (2026)

CryptOracle: A Modular Framework to Characterize Fully Homomorphic Encryption
by: Brynds, Cory, et al.
Published: (2025)

Addressing Trust Challenges in Blockchain Oracles Using Asymmetric Byzantine Quorums
by: Rahman, Fahad, et al.
Published: (2023)

SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
by: Su, Jianzhong, et al.
Published: (2024)

Quantum Oracle Distribution Switching and its Applications to Fully Anonymous Ring Signatures
by: Beckmann, Marvin, et al.
Published: (2026)

A Quantum "Lifting Theorem" for Constructions of Pseudorandom Generators from Random Oracles
by: Katz, Jonathan, et al.
Published: (2024)

Private Blockchain-based Procurement and Asset Management System with QR Code
by: Hugo, Alonel A., et al.
Published: (2024)

Poster: Machine Learning for Vulnerability Detection as Target Oracle in Automated Fuzz Driver Generation
by: Castiglione, Gianpietro, et al.
Published: (2025)

Ormer: A Manipulation-resistant and Gas-efficient Blockchain Pricing Oracle for DeFi
by: Bai, Dongbin, et al.
Published: (2024)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
by: Liu, Yuwei, et al.
Published: (2026)

Historical and Multichain Storage Proofs
by: Kirejczyk, Marek, et al.
Published: (2024)

Mitigating Collusion in Proofs of Liabilities
by: Mohamed, Malcom, et al.
Published: (2026)

QKD Oracles for Authenticated Key Exchange
by: Hövelmanns, Kathrin, et al.
Published: (2025)

Bridging Code Property Graphs and Language Models for Program Analysis
by: Lekssays, Ahmed
Published: (2026)

Structure-Aware Code Vulnerability Analysis With Graph Neural Networks
by: Mussabayev, Ravil
Published: (2023)

Applications Of Zero-Knowledge Proofs On Bitcoin
by: Ozmiş, Yusuf
Published: (2025)

From Permissioned to Proof-of-Stake Consensus
by: Komatovic, Jovan, et al.
Published: (2025)

Zero-Knowledge Proof in NuLink
by: Pawn, et al.
Published: (2024)

Proof of Diligence: Cryptoeconomic Security for Rollups
by: Sheng, Peiyao, et al.
Published: (2024)

Pseudorandom Unitaries in the Haar Random Oracle Model
by: Ananth, Prabhanjan, et al.
Published: (2025)

Unclonable Encryption in the Haar Random Oracle Model
by: Bartusek, James, et al.
Published: (2026)

Quantum State Obfuscation from Classical Oracles
by: Bartusek, James, et al.
Published: (2024)

K-Gate Lock: Multi-Key Logic Locking Using Input Encoding Against Oracle-Guided Attacks
by: Lopez, Kevin, et al.
Published: (2025)

Human Challenge Oracle: Designing AI-Resistant, Identity-Bound, Time-Limited Tasks for Sybil-Resistant Consensus
by: Maleki, Homayoun, et al.
Published: (2026)

A Passwordless MFA Utlizing Biometrics, Proximity and Contactless Communication
by: Shukla, Sneha, et al.
Published: (2024)

Fast Deterministically Safe Proof-of-Work Consensus
by: Farahbakhsh, Ali, et al.
Published: (2025)

A Taxonomy and Methodology for Proof-of-Location Systems
by: Brito, Eduardo, et al.
Published: (2025)