Filling the Tax Gap via Programmable Money

by   Dimitris Karakostas, et al.

We discuss the problem of facilitating tax auditing assuming "programmable money", i.e., digital monetary instruments that are managed by an underlying distributed ledger. We explore how a taxation authority can verify the declared returns of its citizens and create a counter-incentive to tax evasion by two distinct mechanisms. First, we describe a design which enables auditing it as a built-in feature with minimal changes on the underlying ledger's consensus protocol. Second, we offer an application-layer extension, which requires no modification in the underlying ledger's design. Both solutions provide a high level of privacy, ensuring that, apart from specific limited data given to the taxation authority, no additional information - beyond the information already published on the underlying ledger - is leaked.


page 1

page 2

page 3

page 4


BaseSAP: Modular Stealth Address Protocol for Programmable Blockchains

Stealth addresses represent an approach to enhancing privacy within publ...

TeleBTC: Trustless Wrapped Bitcoin

This paper introduces TeleBTC, a fully decentralized protocol designed t...

LAMP: Prompt Layer 7 Attack Mitigation with Programmable Data Planes

While there are various methods to detect application layer attacks or i...

Certifying Safety when Implementing Consensus

Ensuring the correctness of distributed system implementations remains a...

Statistical Privacy in Distributed Average Consensus on Bounded Real Inputs

This paper proposes a privacy protocol for distributed average consensus...

Redycler: Daily Outfit Texture Fabrication Appliance Using Re-Programmable Dyes

We present a speculative design for a novel appliance for future fabrica...

Please sign up or login with your details

Forgot password? Click here to reset