Cover Image

Clap: a Semantic-Preserving Optimizing eDSL for Plonkish Proof Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Stronati, Marco, Firsov, Denis, Locascio, Antonio, Livshits, Benjamin
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

Towards a Formal Foundation for Blockchain Rollups
by: Chaliasos, Stefanos, et al.
Published: (2024)

Short Paper: Atomic Execution is Not Enough for Arbitrage Profit Extraction in Shared Sequencers
by: Silva, Maria Inês, et al.
Published: (2024)

LLMs + Security = Trouble
by: Livshits, Benjamin
Published: (2026)

Airdrops: Giving Money Away Is Harder Than It Seems
by: Messias, Johnnatan, et al.
Published: (2023)

Towards a DSL for hybrid secure computation
by: de Laage, Romain
Published: (2025)

Pricing Factors and TFMs for Scalability-Focused ZK-Rollups
by: Chaliasos, Stefanos, et al.
Published: (2024)

A Public Dataset For the ZKsync Rollup
by: Silva, Maria Inês, et al.
Published: (2024)

The Writing is on the Wall: Analyzing the Boom of Inscriptions and its Impact on Rollup Performance and Cost Efficiency
by: Gogol, Krzysztof, et al.
Published: (2024)

The Writing is on the Wall: Analyzing the Boom of Inscriptions and its Impact on EVM-compatible Blockchains
by: Messias, Johnnatan, et al.
Published: (2024)

Quantifying Arbitrage in Automated Market Makers: An Empirical Study of Ethereum ZK Rollups
by: Gogol, Krzysztof, et al.
Published: (2024)

Cross-Rollup MEV: Non-Atomic Arbitrage Across L2 Blockchains
by: Gogol, Krzysztof, et al.
Published: (2024)

SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
by: Chaliasos, Stefanos, et al.
Published: (2024)

The Blockchain Imitation Game
by: Qin, Kaihua, et al.
Published: (2023)

Unaligned Incentives: Pricing Attacks Against Blockchain Rollups
by: Chaliasos, Stefanos, et al.
Published: (2025)

AlDBaran: Towards Blazingly Fast State Commitments for Blockchains
by: Kauer, Bernhard, et al.
Published: (2025)

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

Knowledge-Assisted Privacy Preserving in Semantic Communication
by: Liu, Xuesong, et al.
Published: (2024)

A Study on Privacy-Preserving Scholarship Evaluation Based on Decentralized Identity and Zero-Knowledge Proofs
by: Chen, Yi, et al.
Published: (2025)

PrePaMS: Privacy-Preserving Participant Management System for Studies with Rewards and Prerequisites
by: Meißner, Echo, et al.
Published: (2024)

A Taxonomy and Methodology for Proof-of-Location Systems
by: Brito, Eduardo, et al.
Published: (2025)

Automated Repair of TEE Partitioning Issues via DSL-Guided and LLM-Assisted Patching
by: Ma, Chengyan, et al.
Published: (2026)

BioZero: Privacy-Preserving and Publicly Verifiable On-Chain Biometric Authentication via Homomorphic Commitments and Zero-Knowledge Proofs
by: Lin, Zibin, et al.
Published: (2024)

PAC to the Future: Zero-Knowledge Proofs of PAC Private Systems
by: Repetto, Guilhem, et al.
Published: (2026)

Generating Privacy-Preserving Personalized Advice with Zero-Knowledge Proofs and LLMs
by: Watanabe, Hiroki, et al.
Published: (2025)

SD-BLS: Privacy Preserving Selective Disclosure of Verifiable Credentials with Unlinkable Threshold Revocation
by: Roio, Denis, et al.
Published: (2024)

Proofs of No Intrusion
by: Goyal, Vipul, et al.
Published: (2025)

Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains
by: Chatterjee, Krishnendu, et al.
Published: (2024)

Efficient Zero-Knowledge Proofs for Set Membership in Blockchain-Based Sensor Networks: A Novel OR-Aggregation Approach
by: Kuznetsov, Oleksandr, et al.
Published: (2024)

Historical and Multichain Storage Proofs
by: Kirejczyk, Marek, et al.
Published: (2024)

Mitigating Collusion in Proofs of Liabilities
by: Mohamed, Malcom, et al.
Published: (2026)

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

Hornet Node and the Hornet DSL: A Minimal, Executable Specification for Bitcoin Consensus
by: Sharp, Toby
Published: (2025)

Zero-Knowledge Proof in NuLink
by: Pawn, et al.
Published: (2024)

Proof of Diligence: Cryptoeconomic Security for Rollups
by: Sheng, Peiyao, et al.
Published: (2024)

Applications Of Zero-Knowledge Proofs On Bitcoin
by: Ozmiş, Yusuf
Published: (2025)

From Permissioned to Proof-of-Stake Consensus
by: Komatovic, Jovan, et al.
Published: (2025)

NickPay, an Auditable, Privacy-Preserving, Nickname-Based Payment System
by: Quispe, Guillaume, et al.
Published: (2025)

Statistical Proof of Execution (SPEX)
by: Dallachiesa, Michele, et al.
Published: (2025)

Self-Supervised Inference of Agents in Trustless Environments
by: Larin, Vladyslav, et al.
Published: (2024)

ProLoc: Robust Location Proofs in Hindsight
by: De Viti, Roberta, et al.
Published: (2024)