Copertina

Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Domenech, Alvaro Alonso, Heiss, Jonathan, Tai, Stefan
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

zkSBOM: Privacy-Preserving SBOM Sharing with Zero-Knowledge Sets
di: Sorger, Tom, et al.
Pubblicazione: (2026)

zkRansomware: Proof-of-Data Recoverability and Multi-round Game Theoretic Modeling of Ransomware Decisions
di: Hou, Xinyu, et al.
Pubblicazione: (2026)

zkCraft: Prompt-Guided LLM as a Zero-Shot Mutation Pattern Oracle for TCCT-Powered ZK Fuzzing
di: Fu, Rong, et al.
Pubblicazione: (2026)

Arguzz: Testing zkVMs for Soundness and Completeness Bugs
di: Hochrainer, Christoph, et al.
Pubblicazione: (2025)

ColorGo: Directed Concolic Execution
di: Li, Jia, et al.
Pubblicazione: (2025)

Verifiable Provenance of Software Artifacts with Zero-Knowledge Compilation
di: Ron, Javier, et al.
Pubblicazione: (2026)

SseRex: Practical Symbolic Execution of Solana Smart Contracts
di: Cloosters, Tobias, et al.
Pubblicazione: (2026)

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
di: Shafiuzzaman, Md, et al.
Pubblicazione: (2026)

DiVerify: Hardening Identity-Based Software Signing with Diverse-Context Scopes
di: Okafor, Chinenye, et al.
Pubblicazione: (2024)

VeriSBOM: Secure and Verifiable SBOM Sharing Via Zero-Knowledge Proofs
di: Castiglione, Gianpietro, et al.
Pubblicazione: (2026)

Fakeium: A Dynamic Execution Environment for JavaScript Program Analysis
di: Moreno, José Miguel, et al.
Pubblicazione: (2024)

Fine-grained Data Access Control for Collaborative Process Execution on Blockchain
di: Marangone, Edoardo, et al.
Pubblicazione: (2022)

Execution-State-Aware LLM Reasoning for Automated Proof-of-Vulnerability Generation
di: Li, Haoyu, et al.
Pubblicazione: (2026)

An Empirical Study on Remote Code Execution in Machine Learning Model Hosting Ecosystems
di: Siddiq, Mohammed Latif, et al.
Pubblicazione: (2026)

Finding Missing Input Validation in TEEs via LLM-Assisted Symbolic Execution
di: Ma, Chengyan, et al.
Pubblicazione: (2026)

Trusted Compute Units: A Framework for Chained Verifiable Computations
di: Castillo, Fernando, et al.
Pubblicazione: (2025)

OmniBOR: A System for Automatic, Verifiable Artifact Resolution across Software Supply Chains
di: Seshadri, Bharathi, et al.
Pubblicazione: (2024)

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
di: He, Ningyu, et al.
Pubblicazione: (2024)

MCP-SandboxScan: WASM-based Secure Execution and Runtime Analysis for MCP Tools
di: Tan, Zhuoran, et al.
Pubblicazione: (2026)

ZTaint-Havoc: From Havoc Mode to Zero-Execution Fuzzing-Driven Taint Inference
di: Xie, Yuchong, et al.
Pubblicazione: (2025)

A Universal System for OpenID Connect Sign-ins with Verifiable Credentials and Cross-Device Flow
di: Hoops, Felix, et al.
Pubblicazione: (2024)

Synergistic Directed Execution and LLM-Driven Analysis for Zero-Day AI-Generated Malware Detection
di: Edwards, George, et al.
Pubblicazione: (2026)

SmartPoC: Generating Executable and Validated PoCs for Smart Contract Bug Reports
di: Chen, Longfei, et al.
Pubblicazione: (2025)

What You Trust Is Insecure: Demystifying How Developers (Mis)Use Trusted Execution Environments in Practice
di: Niu, Yuqing, et al.
Pubblicazione: (2025)

Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search
di: Tu, Haoxin, et al.
Pubblicazione: (2024)

Track and Trace: Automatically Uncovering Cross-chain Transactions in the Multi-blockchain Ecosystems
di: Lin, Dan, et al.
Pubblicazione: (2025)

WACANA: A Concolic Analyzer for Detecting On-chain Data Vulnerabilities in WASM Smart Contracts
di: Wang, Wansen, et al.
Pubblicazione: (2024)

INSTILLER: Towards Efficient and Realistic RTL Fuzzing
di: Zhang, Gen, et al.
Pubblicazione: (2024)

MobFuzz: Adaptive Multi-objective Optimization in Gray-box Fuzzing
di: Zhang, Gen, et al.
Pubblicazione: (2024)

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

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

Bytecode-centric Detection of Known-to-be-vulnerable Dependencies in Java Projects
di: Schott, Stefan, et al.
Pubblicazione: (2025)

Uncovering Hidden Inclusions of Vulnerable Dependencies in Real-World Java Projects
di: Schott, Stefan, et al.
Pubblicazione: (2026)

Tracking Down Software Cluster Bombs: A Current State Analysis of the Free/Libre and Open Source Software (FLOSS) Ecosystem
di: Tatschner, Stefan, et al.
Pubblicazione: (2025)

Patch-to-PoC: A Systematic Study of Agentic LLM Systems for Linux Kernel N-Day Reproduction
di: Pu, Juefei, et al.
Pubblicazione: (2026)

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution
di: Mächtle, Felix, et al.
Pubblicazione: (2025)

Security Incentivization: An Empirical Study of how Micropayments Impact Code Security
di: Rass, Stefan, et al.
Pubblicazione: (2026)

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

An Open Source Python Library for Anonymizing Sensitive Data
di: Díaz, Judith Sáinz-Pardo, et al.
Pubblicazione: (2024)

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