Imagen de Portada

zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Law, William
Formato:	Preprint
Publicado:	2025
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Quantum Algorithm Cards: Streamlining the development of hybrid classical-quantum applications
por: Stirbu, Vlad, et al.
Publicado: (2023)

The Last APK: Retiring Android SDK Development for Institutional Software Using Python-Django, HTMX, and a WebView Bridge
por: Patel, Rahul
Publicado: (2026)

The OpenHands Software Agent SDK: A Composable and Extensible Foundation for Production Agents
por: Wang, Xingyao, et al.
Publicado: (2025)

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

Neutone SDK: An Open Source Framework for Neural Audio Processing
por: Mitcheltree, Christopher, et al.
Publicado: (2025)

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

Property-Level Reconstructability of Agent Decisions: An Anchor-Level Pilot Across Vendor SDK Adapter Regimes
por: Solozobov, Oleg
Publicado: (2026)

The role of slicing in test-driven development
por: Dieste, Oscar, et al.
Publicado: (2024)

Streamlining Software Reviews: Efficient Predictive Modeling with Minimal Examples
por: Menzies, Tim, et al.
Publicado: (2024)

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

Example-driven development: bridging tests and documentation
por: Nierstrasz, Oscar, et al.
Publicado: (2024)

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

SEART Data Hub: Streamlining Large-Scale Source Code Mining and Pre-Processing
por: Dabić, Ozren, et al.
Publicado: (2024)

Streamlining Acceptance Test Generation for Mobile Applications Through Large Language Models: An Industrial Case Study
por: Fonseca, Pedro Luís, et al.
Publicado: (2025)

VTutor: An Open-Source SDK for Generative AI-Powered Animated Pedagogical Agents with Multi-Media Output
por: Chen, Eason, et al.
Publicado: (2025)

How fair are we? From conceptualization to automated assessment of fairness definitions
por: d'Aloisio, Giordano, et al.
Publicado: (2024)

Re-opening open-source science through AI assisted development
por: Hung, Ling-Hong, et al.
Publicado: (2025)

EnseSmells: Deep ensemble and programming language models for automated code smells detection
por: Ho, Anh, et al.
Publicado: (2025)

On the need to perform comprehensive evaluations of automated program repair benchmarks: Sorald case study
por: Liyanage, Sumudu, et al.
Publicado: (2025)

Understanding: reframing automation and assurance
por: Bloomfield, Robin
Publicado: (2026)

SWARM-SLR -- Streamlined Workflow Automation for Machine-actionable Systematic Literature Reviews
por: Wittenborg, Tim, et al.
Publicado: (2024)

rCanary: Detecting Memory Leaks Across Semi-automated Memory Management Boundary in Rust
por: Cui, Mohan, et al.
Publicado: (2023)

Improving device-aware Web services and their mobile clients through an aspect-oriented, model-driven approach
por: Ortiz, Guadalupe, et al.
Publicado: (2024)

V2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution
por: Zhang, Jingwen, et al.
Publicado: (2026)

ACE-Bench: A Lightweight Benchmark for Evaluating Azure SDK Usage Correctness
por: Zhu, Wenxing, et al.
Publicado: (2026)

Generating Streamlining Constraints with Large Language Models
por: Voboril, Florentina, et al.
Publicado: (2024)

Streamlined Airborne Software Development for Large UAVs: From Unified Data Collection to Automated Code Generation
por: Sinitsyn, Viktor, et al.
Publicado: (2025)

Beyond LLM-based test automation: A Zero-Cost Self-Healing Approach Using DOM Accessibility Tree Extraction
por: Joseph, Renjith Nelson
Publicado: (2026)

Enhancing repository-level software repair via repository-aware knowledge graphs
por: Yang, Boyang, et al.
Publicado: (2025)

Technical knowledge and soft skills in software startups within the Colombian entrepreneurial ecosystem
por: Estrada-Esponda, Royer David, et al.
Publicado: (2025)

Predicting long time contributors with knowledge units of programming languages: an empirical study
por: Ahasanuzzaman, Md, et al.
Publicado: (2024)

Model management to support systems engineering workflows using ontology-based knowledge graphs
por: Ryś, Arkadiusz, et al.
Publicado: (2025)

Predicting post-release defects with knowledge units (KUs) of programming languages: an empirical study
por: Ahasanuzzaman, Md, et al.
Publicado: (2024)

Parallelized Code Generation from Simulink Models for Event-driven and Timer-driven ROS 2 Nodes
por: Obi, Kenshin, et al.
Publicado: (2025)

Large language models for automated PRISMA 2020 adherence checking
por: Kataoka, Yuki, et al.
Publicado: (2025)

Towards Continuous Experiment-driven MLOps
por: Rajenthiram, Keerthiga, et al.
Publicado: (2025)

Innovating the software engineering class through multi-team development
por: Brockenbrough, Allan
Publicado: (2025)

Mokav: Execution-driven Differential Testing with LLMs
por: Etemadi, Khashayar, et al.
Publicado: (2024)

Mea culpa: How developers fix their own simple bugs differently from other developers
por: Zhu, Wenhan, et al.
Publicado: (2021)