Account-Based transfer with hiding transfer amount.

Zero Knowledge Proof proves following statement.

$$ enc_{left} = g^tpk^r\ \land enc_{right} = g^r\ \land enc_t' = (g^{b'}pk'^r)\ \land \ enc_{left}/ enc_{balleft} = g^{b'} (enc_{right}/enc_{balright})^{sk}\ \land t \in [0,Max]\ \land b \in [0,Max] $$

$ cargo test

• Tutorial
• Technical