truZt arKanum

truZt arKanum is a Secretly Programmable Money protocol that achieves Total Plausible Deniability. It allows for indistinguishable private and public fund transfers, executable at a pre-determined secret time in the future, controlled by multiple independent secret signers that do not need to know anything about each other and pre-programmed on-chain conditions. It also allows the participants to reveal their transactions if they want to, in order to cater to defense against accusations of wrongdoing or breach of agreement. The user interface is exposed as a set of command line utilities that allow asynchronous mix-and-match of all above features that can be executed manually or automated.

We implemented Total Plausible Deniability:

• Much improved ZK Wormhole (based on EIP-7503 but improved) with total indistinguishability.
• Time decoy indistinguishability.
• Asynchronous multisig indistinguishability.

The on-chain part is running on Aleo and it is written in Leo. The front end consists of a set of command line utilities as opposed to a web interface for security and robustness reasons. These utilities are written in JavaScript/Node.js and ZSH.

The implementation is based on three primitives that we implemented:

• Dead Addresses and ZK Proofs of Dead Address,
• Decoy Timestamps,
• ZK Proof Aggregation replacement using a combination of ZK, Encryption and Consensus,