Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Law, William
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Understanding: reframing automation and assurance
di: Bloomfield, Robin
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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