Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
Confidentiality-Preserving Verifiable Business Processes through Zero-Knowledge Proofs
Jannis Kiesel, Jonathan Heiss
Ensuring the integrity of business processes without disclosing confidential business information is a major challenge in inter-organizational processes. This paper introduces a ze…
cs.SE2024
Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
Alvaro Alonso Domenech, Jonathan Heiss, Stefan Tai
Zk-SNARKs help scale blockchains with Verifiable Off-chain Computations (VOC). zk-SNARK DSL toolkits are key when designing arithmetic circuits but fall short of automating the sub…