Search papers, labs, and topics across Lattice.
This paper tackles practical challenges in deploying FlyClient, a lightweight blockchain verification protocol, by introducing an alternative adversary model with economic interpretations and implementing the first FlyClient prover for Zcash. They evaluate prover performance under different configurations and introduce two proof-size optimizations, one requiring no consensus changes. Results show the feasibility of FlyClient in real-world blockchains and quantify the trade-offs between security, performance, and proof size.
FlyClient, a lightweight blockchain verification protocol, gets closer to real-world deployment with a practical Zcash implementation and proof-size optimizations.
FlyClient is a lightweight blockchain verification protocol that enables proof-of-work validation using minimal data, making it ideal for resource-constrained environments like mobile wallets, Internet-of-Things devices or cross-chain bridges implemented with smart contracts. Despite its strong potential for enabling lightweight blockchain verification, FlyClient protocol is still in the experimental stages, with limited real-world deployments and performance evaluations under diverse conditions. In this paper we bridge the gap between theory and deployment, by addressing several technical challenges to advance FlyClient to a production-ready solution. Namely, our contribution is three-fold: (i) we formally introduce an adversary model alternative to the original FlyClient one, that allows us to parametrize a verifier under a concrete economic interpretation, while also saving some proof space; (ii) we provide the first practical FlyClient prover implementation for a production blockchain (Zcash), and we estimate its performance under different configurations; (iii) we introduce and evaluate two optimizations that minimize the size of FlyClient proofs, the first of which does not require any consensus change.