zrc-contracts Distributor.scilla | specs Swap.scilla | specs Stake.scilla | specs MetaFungible.scilla | specs | Proposed Extension token distribution reference