Imagen de Portada

From Paper Trails to Trust on Tracks: Adding Public Transparency to Railways via zk-SNARKs

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Galal, Tarek, Tisch, Valeria, Assaf, Katja, Polze, Andreas
Formato:	Preprint
Publicado:	2025
Materias:	Cryptography and Security
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

zkStruDul: Programming zkSNARKs with Structural Duality
por: Krishnan, Rahul, et al.
Publicado: (2025)

Artemis: Efficient Commit-and-Prove SNARKs for zkML
por: Lycklama, Hidde, et al.
Publicado: (2024)

SoK: Understanding zk-SNARKs: The Gap Between Research and Practice
por: Liang, Junkai, et al.
Publicado: (2025)

A Comparative Analysis of zk-SNARKs and zk-STARKs: Theory and Practice
por: Nainwal, Ayush, et al.
Publicado: (2025)

Privacy-Preserving UCB Decision Process Verification via zk-SNARKs
por: Jiang, Xikun, et al.
Publicado: (2024)

FeatherWallet: A Lightweight Mobile Cryptocurrency Wallet Using zk-SNARKs
por: Perešíni, Martin, et al.
Publicado: (2025)

Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
por: Domenech, Alvaro Alonso, et al.
Publicado: (2024)

A Privacy-preserving key transmission protocol to distribute QRNG keys using zk-SNARKs
por: Soler, David, et al.
Publicado: (2024)

Enhancing Trust in AI Marketplaces: Evaluating On-Chain Verification of Personalized AI models using zk-SNARKs
por: Jagannath, Nishant, et al.
Publicado: (2025)

Verifiable evaluations of machine learning models using zkSNARKs
por: South, Tobin, et al.
Publicado: (2024)

Cross-Blockchain Communication Using Oracles With an Off-Chain Aggregation Mechanism Based on zk-SNARKs
por: Sober, Michael, et al.
Publicado: (2024)

VerifBFL: Leveraging zk-SNARKs for A Verifiable Blockchained Federated Learning
por: Bellachia, Ahmed Ayoub, et al.
Publicado: (2025)

Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs
por: Ernstberger, Jens, et al.
Publicado: (2024)

Quantum Oblivious LWE Sampling and Insecurity of Standard Model Lattice-Based SNARKs
por: Debris-Alazard, Thomas, et al.
Publicado: (2024)

SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
por: Chaliasos, Stefanos, et al.
Publicado: (2024)

Invisible Trails? An Identity Alignment Scheme based on Online Tracking
por: Shi, Ruisheng, et al.
Publicado: (2026)

Towards a zk-SNARK compiler for Wolfram language
por: Cruz, Armando
Publicado: (2024)

Towards Stateless Clients in Ethereum: Benchmarking Verkle Trees and Binary Merkle Trees with SNARKs
por: Oberst, Jan
Publicado: (2025)

zkLogin: Privacy-Preserving Blockchain Authentication with Existing Credentials
por: Baldimtsi, Foteini, et al.
Publicado: (2024)

Blockchain-Anchored Audit Trail Model for Transparent Inter-Operator Settlement
por: Kunthu, Balakumar Ravindranath, et al.
Publicado: (2025)

zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits
por: Takahashi, Hideaki, et al.
Publicado: (2025)

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing
por: Zhang, Yancheng, et al.
Publicado: (2025)

zkToken: Empowering Holders to Limit Revocation Checks for Verifiable Credentials
por: Manimaran, Praveensankar, et al.
Publicado: (2025)

fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup
por: Li, Zihao, et al.
Publicado: (2024)

Signals and Symptoms: ICS Attack Dataset From Railway Cyber Range
por: Yusof, Anis, et al.
Publicado: (2025)

Optimizing Optimism: Up to 3.5x Faster zkVM Validity Proofs via Sparse Derivation
por: Ahmadvand, Mohsen, et al.
Publicado: (2025)

zkTax: A pragmatic way to support zero-knowledge tax disclosures
por: Berke, Alex, et al.
Publicado: (2023)

zk-IoT: Securing the Internet of Things with Zero-Knowledge Proofs on Blockchain Platforms
por: Ramezan, Gholamreza, et al.
Publicado: (2024)

A Confidential Computing Transparency Framework for a Comprehensive Trust Chain
por: Kocaoğullar, Ceren, et al.
Publicado: (2024)

Data Availability and Decentralization: New Techniques for zk-Rollups in Layer 2 Blockchain Networks
por: Huang, Chengpeng, et al.
Publicado: (2024)

zkFi: Privacy-Preserving and Regulation Compliant Transactions using Zero Knowledge Proofs
por: Chaudhary, Amit
Publicado: (2023)

Privacy or Transparency? Negotiated Smartphone Access as a Signifier of Trust in Romantic Relationships
por: Doerfler, Periwinkle, et al.
Publicado: (2024)

Adding web pentesting functionality to PTHelper
por: Olivares-Naya, María, et al.
Publicado: (2024)

Privacy-Preserving Smart Contracts for Permissioned Blockchains: A zk-SNARK-Based Recipe Part-1
por: Burgos, Aldenio, et al.
Publicado: (2025)

zkLLM: Zero Knowledge Proofs for Large Language Models
por: Sun, Haochen, et al.
Publicado: (2024)

Efficient Query Verification for Blockchain Superlight Clients Using SNARKs
por: De Angelis, Stefano, et al.
Publicado: (2025)

The Silent Spill: Measuring Sensitive Data Leaks Across Public URL Repositories
por: Ramadan, Tarek, et al.
Publicado: (2026)

Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution
por: Hassanzadeh-Nazarabadi, Yahya, et al.
Publicado: (2025)

ZeroOS: A Universal Modular Library OS for zkVMs
por: Zou, Guangxian, et al.
Publicado: (2025)

Need for zkSpeed: Accelerating HyperPlonk for Zero-Knowledge Proofs
por: Daftardar, Alhad, et al.
Publicado: (2025)