Cover Image

zkStruDul: Programming zkSNARKs with Structural Duality

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Krishnan, Rahul, Samuelson, Ashley, Yao, Emily, Cecchetti, Ethan
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

Nonmalleable Progress Leakage
by: Cecchetti, Ethan
Published: (2025)

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

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

Valida ISA Spec, version 1.0: A zk-Optimized Instruction Set Architecture
by: Thomas, Morgan, et al.
Published: (2025)

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

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

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

From Paper Trails to Trust on Tracks: Adding Public Transparency to Railways via zk-SNARKs
by: Galal, Tarek, et al.
Published: (2025)

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

Computationally Bounded Robust Compilation and Universally Composable Security
by: Künnemann, Robert, et al.
Published: (2024)

A Language for Smart Contracts with Secure Control Flow (Technical Report)
by: Yao, Siqiu, et al.
Published: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Choreographic Quick Changes: First-Class Location (Set) Polymorphism
by: Samuelson, Ashley, et al.
Published: (2025)

Step in Tine: Forking Processes in Functional Choreographies
by: Samuelson, Ashley, et al.
Published: (2026)

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

zkDFL: An efficient and privacy-preserving decentralized federated learning with zero-knowledge proof
by: Ahmadi, Mojtaba, et al.
Published: (2023)

zk-Fabric, a Polylithic Syntax Zero Knowledge Joint Proof System
by: Sun, Sheng, et al.
Published: (2021)

Censor Resistant Instruction Independent Obfuscation for Multiple Programs
by: Ajorian, Ali
Published: (2025)

TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
by: Chen, Hung-Mao, et al.
Published: (2025)