Support saplings
Clarification and motivation
Zero-knowledge proofs are about the same thing.
In short, now there are special transactions providing privacy guarantees. They can be prepared in tezos-client, but since they depend on a sapling state kept on chain, these transactions should be passed to a dedicated smart contract in order to be applied.
For more info read doc and MR.
Acceptance criteria
- New Michelson types and instructions around the saplings are supported.
- Morley executable can prepare sapling transactions - if that's not too hard they should be the same which tezos-client generates.
Edited by Konstantin Ivanov