Pith. sign in

REVIEW 1 cited by

Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2404.16915 v1 pith:6C3SPIOK submitted 2024-04-25 cs.SE cs.CR

Alvaro Alonso Domenech , Jonathan Heiss , Stefan Tai This is my paper · ORCID
classification cs.SEcs.CR
keywords computationsoff-chainverifiablezk-snarkzk-snarksarithmeticautomatedautomating
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

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 subsequent proof-generation step in an automated manner. We emphasize the need for portability, interoperability, and manageability in VOC-based solutions and introduce a Proving Service that is designed to provide a scalable and reusable solution for generating zk-SNARK proofs leveraging clouds.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. SNARKChain: Proof-of-Useful-Work Blockchain Consensus with General-Purpose SNARK Marketplace

    cs.CR 2025-10 reject novelty 6.0 of 10

    A proof-of-useful-work protocol where mining consists of generating client-outsourced zk-SNARK proofs, claimed to be the first consensus-layer general-purpose SNARK marketplace satisfying PoW properties.

Pith tools