Introduce restricted-supply abstract RTA

Merged Sergey Bozhko requested to merge sbozhko/rt-proofs:restricted_supply into master

Merge request reports