zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
Fuente:
arXiv
Guardado en:
| Autor principal: | Law, William |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| 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)
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)
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)
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)
por: Wang, Xingyao, et al.
Publicado: (2025)
Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
por: Domenech, Alvaro Alonso, et al.
Publicado: (2024)
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)
por: Mitcheltree, Christopher, et al.
Publicado: (2025)
zkSBOM: Privacy-Preserving SBOM Sharing with Zero-Knowledge Sets
por: Sorger, Tom, et al.
Publicado: (2026)
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)
por: Solozobov, Oleg
Publicado: (2026)
The role of slicing in test-driven development
por: Dieste, Oscar, et al.
Publicado: (2024)
por: Dieste, Oscar, et al.
Publicado: (2024)
Streamlining Software Reviews: Efficient Predictive Modeling with Minimal Examples
por: Menzies, Tim, et al.
Publicado: (2024)
por: Menzies, Tim, et al.
Publicado: (2024)
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
por: Hochrainer, Christoph, et al.
Publicado: (2025)
por: Hochrainer, Christoph, et al.
Publicado: (2025)
Example-driven development: bridging tests and documentation
por: Nierstrasz, Oscar, et al.
Publicado: (2024)
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)
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)
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)
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)
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)
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)
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)
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)
por: Liyanage, Sumudu, et al.
Publicado: (2025)
Understanding: reframing automation and assurance
por: Bloomfield, Robin
Publicado: (2026)
por: Bloomfield, Robin
Publicado: (2026)
SWARM-SLR -- Streamlined Workflow Automation for Machine-actionable Systematic Literature Reviews
por: Wittenborg, Tim, et al.
Publicado: (2024)
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)
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)
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)
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)
por: Zhu, Wenxing, et al.
Publicado: (2026)
Generating Streamlining Constraints with Large Language Models
por: Voboril, Florentina, et al.
Publicado: (2024)
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)
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)
por: Joseph, Renjith Nelson
Publicado: (2026)
Enhancing repository-level software repair via repository-aware knowledge graphs
por: Yang, Boyang, et al.
Publicado: (2025)
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)
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)
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)
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)
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)
por: Obi, Kenshin, et al.
Publicado: (2025)
Large language models for automated PRISMA 2020 adherence checking
por: Kataoka, Yuki, et al.
Publicado: (2025)
por: Kataoka, Yuki, et al.
Publicado: (2025)
Towards Continuous Experiment-driven MLOps
por: Rajenthiram, Keerthiga, et al.
Publicado: (2025)
por: Rajenthiram, Keerthiga, et al.
Publicado: (2025)
Innovating the software engineering class through multi-team development
por: Brockenbrough, Allan
Publicado: (2025)
por: Brockenbrough, Allan
Publicado: (2025)
Mokav: Execution-driven Differential Testing with LLMs
por: Etemadi, Khashayar, et al.
Publicado: (2024)
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)
por: Zhu, Wenhan, et al.
Publicado: (2021)
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)