Cover Image

Towards a zk-SNARK compiler for Wolfram language

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Cruz, Armando
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Zk-SNARK for String Match
by: Li, Taoran, et al.
Published: (2025)

Zk-SNARK Marketplace with Proof of Useful Work
by: Oleksak, Samuel, et al.
Published: (2025)

Benchmarking ZK-Friendly Hash Functions and SNARK Proving Systems for EVM-compatible Blockchains
by: Guo, Hanze, et al.
Published: (2024)

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

Yoimiya: A Scalable Framework for Optimal Resource Utilization in ZK-SNARK Systems
by: Ye, Zheming, et al.
Published: (2025)

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

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

fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup
by: Li, Zihao, 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)

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

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

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

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

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

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

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)

A Privacy-preserving key transmission protocol to distribute QRNG keys using zk-SNARKs
by: Soler, David, 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)

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

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

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

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

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

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

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)

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

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

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

zkUnlearner: A Zero-Knowledge Framework for Verifiable Unlearning with Multi-Granularity and Forgery-Resistance
by: Wang, Nan, et al.
Published: (2025)

zkPHIRE: A Programmable Accelerator for ZKPs over HIgh-degRee, Expressive Gates
by: Daftardar, Alhad, et al.
Published: (2025)

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

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

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

zkFL: Zero-Knowledge Proof-based Gradient Aggregation for Federated Learning
by: Wang, Zhipeng, et al.
Published: (2023)

zkSTAR: A zero knowledge system for time series attack detection enforcing regulatory compliance in critical infrastructure networks
by: Ramanan, Paritosh, et al.
Published: (2025)

Secure compilation of rich smart contracts on poor UTXO blockchains
by: Bartoletti, Massimo, et al.
Published: (2023)