commit e2ecc6d38288902b21c28f036621a14b1ce54b6b
parent 9de5e52c2fc228b7e27d74b548c1031c08e83b2d
Author: Louis Holbrook <accounts-gitlab@holbrook.no>
Date: Mon, 1 Mar 2021 09:53:40 +0000
Merge branch 'lash/clean-and-doc' into 'master'
Cleanup, docs, benchmarks
See merge request grassrootseconomics/sarafu-token!8
Diffstat:
14 files changed, 585 insertions(+), 144 deletions(-)
diff --git a/README.md b/README.md
@@ -14,29 +14,26 @@
- Then the resulting balances after one tax period of those two trading would be 1080 Sarafu while the remaining non-active users would be 980 Sarafu. If this behaviour continued in the next tax period, with the same two users only trading (with no net balance changes), they would have 1158.39999968 Sarafu and those users that are not trading would have their balances further reduced to 960.40 Sarafu. If this continued on ~forever those two active trading users would have the entire token supply and the non-trading users would eventually reach a zero balance.
- this example calculation for 3 tax periods can be found here: https://gitlab.com/grassrootseconomics/cic-docs/-/blob/master/demurrage-redist-sarafu.ods
+## Nomenclature
-## Variables
-
-* Inputs to Constructor (Set only once during contract deployment can't be changed )
- * `Demurrage` aka Decay amount: A percentage of token supply that will be charged once per minute and evenly redistributed to _active_ users every Demurrage Period (minutes)
- * Demurrage Period (minutes)- aka `period`: The number of minutes over which a user must be _active_ to receive tax-redistibution.
- * Inflated Balance: The inflated balance of each user is stored for bookkeeping.
- * Number of Decimals: Resolution on token (TODO) (Default 6)
- * Minimum Activity Volume: (TODO) the minimum transaction amount to be considered active
- * Sink Token Address: Rounding errors and if no one trades the tax goes to this address
+* `Demurrage` aka Decay amount: A percentage of token supply that will be charged once per minute and evenly redistributed to _active_ users every Demurrage Period (minutes)
+* Base balance: The inflated balance of each user is stored for bookkeeping.
+* Sink Token Address: Rounding errors and if no one trades the tax goes to this address
+* Demurrage Period (minutes)- aka `period`: The number of minutes over which a user must be _active_ to receive tax-redistibution.
## Ownership
* Contract creator is owner
-* Ownership can be transferred (also to ownership void contract "no more changes can be made")
+* Ownership can be transferred
## Mint
-* Owner can add minters
+* Owner can add minters and remove
- A faucet contract would be a minter and choose the amount of tokens to mint and distribute to new _validated_ users.
- The interface says the amount and is at the caller's discretion per contract call. _validation_ is outside of this contract.
+* A minter can remove itself
* Minters can mint any amount
@@ -49,7 +46,6 @@
- e.g. a `demurrage` after the 2nd minute would be give a `demurrageModifier = (1-0.02)^2 = 0.9604`.
* All client-facing values (_balance output_ , _transfer inputs_) are adjusted with `demurrageModifier`.
- e.g. `_balance output_ = user_balance - user_balance * demurrageModifier`
-* Edge case: `approve` call, which may be called on either side of a period.
## Redistribution
@@ -62,27 +58,36 @@
- Check if user has participated in `period`. (_active_ user heartbeat)
- Each _active_ user balance in the `period` is increased by `(total supply at end of period * demurrageModifier ) / number_of_active_participants` via minting
- Participation field is zeroed out for that user.
-* Fractions must be rounded down (TODO)
- - Remainder is "dust" and should be sent to a dedicated "sink" token address (TODO)
- - If no one is _active_ all taxes go to the same sink address
+* Fractions must be rounded down
+ - Remainder is "dust" and should be sent to a dedicated Sink Token Address.
+ - If no one is _active_ all taxes go to the Sink Token Address.
## Data structures
-* One word per account:
- - bits 000-159: value
- - bits 160-255: period
- - (we have more room here in case we want to cram something else in)
-* One word per redistribution period:
- - bits 000-055: period
- - bits 056-215: supply
- - bits 216-253: participant count
- - bits 254: Set if individual redistribution amounts are fractions (TODO)
- - bits 255: Set if "dust" has been transferred to sink (TODO)
+* One word per `account`:
+ - bits 000-071: value
+ - bits 072-103: period
+ - bits 104-255: (Unused)
+* One word per `redistributions` period:
+ - bits 000-031: period
+ - bits 032-103: supply
+ - bits 104-139: participant count
+ - bits 140-159: demurrage modifier
+ - bits 160-254: (Unused)
+ - bits 255: Set if individual redistribution amounts are fractions
+
+### Notes
+
+Accumulated demurrage modifier in `demurrageModifier` is 128 bit, but will be _truncated_ do 20 bits in `redistributions`. The 128 bit resolution is to used to reduce the impact of fractional drift of the long-term accumulation of the demurrage modifier. However, the demurrage snapshot values used in `redistributions` are parts-per-million and can be fully contained within a 20-bit value.
## QA
* Basic python tests in place
-* How to determine and generate test vectors, and how to adapt them to scripts.
+* How to determine and generate sufficient test vectors, and how to adapt them to scripts.
* Audit sources?
+
+## Known issues
+
+* A `transferFrom` following an `approve` call, when called across period thresholds, may fail if margin to demurraged amount is insufficient.
diff --git a/python/MANIFEST.in b/python/MANIFEST.in
@@ -0,0 +1 @@
+include sarafu_token/data/*
diff --git a/python/requirements.txt b/python/requirements.txt
@@ -0,0 +1,2 @@
+chainlib~=0.0.1a7
+crypto-dev-signer~=0.4.13rc2
diff --git a/python/sarafu_token/data/RedistributedDemurrageToken.bin b/python/sarafu_token/data/RedistributedDemurrageToken.bin
@@ -0,0 +1 @@
+60e06040523480156200001157600080fd5b506040516200378b3803806200378b83398181016040528101906200003791906200048e565b33600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600160096000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555085600490805190602001906200010a92919062000327565b5084600590805190602001906200012392919062000327565b508360ff166006819055504260808181525050603c8262000145919062000755565b60a08181525050620f42406d04ee2d6d415b85acef81000000006200016b919062000755565b600260006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff1602179055506001600260106101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff1602179055508260c0818152505060006200020a6000620f4240600060016200029b640100000000026401000000009004565b9050600081908060018154018082558091505060019003906000526020600020016000909190919091505581600b60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508460ff16600a62000288919062000618565b6008819055505050505050505062000955565b60008073fffff00000000000000000000000000000000000608c60ff16869060020a021660010281179050710fffffffff00000000000000000000000000606860ff16879060020a0216600102811790506cffffffffffffffffff00000000602060ff16859060020a02166001028117905063ffffffff83166001028117905080915050949350505050565b828054620003359062000837565b90600052602060002090601f016020900481019282620003595760008555620003a5565b82601f106200037457805160ff1916838001178555620003a5565b82800160010185558215620003a5579182015b82811115620003a457825182559160200191906001019062000387565b5b509050620003b49190620003b8565b5090565b5b80821115620003d3576000816000905550600101620003b9565b5090565b6000620003ee620003e8846200058a565b62000556565b9050828152602081018484840111156200040757600080fd5b6200041484828562000801565b509392505050565b6000815190506200042d8162000907565b92915050565b600082601f8301126200044557600080fd5b815162000457848260208601620003d7565b91505092915050565b600081519050620004718162000921565b92915050565b60008151905062000488816200093b565b92915050565b60008060008060008060c08789031215620004a857600080fd5b600087015167ffffffffffffffff811115620004c357600080fd5b620004d189828a0162000433565b965050602087015167ffffffffffffffff811115620004ef57600080fd5b620004fd89828a0162000433565b95505060406200051089828a0162000477565b94505060606200052389828a0162000460565b93505060806200053689828a0162000460565b92505060a06200054989828a016200041c565b9150509295509295509295565b6000604051905081810181811067ffffffffffffffff8211171562000580576200057f620008cb565b5b8060405250919050565b600067ffffffffffffffff821115620005a857620005a7620008cb565b5b601f19601f8301169050602081019050919050565b6000808291508390505b60018511156200060f57808604811115620005e757620005e66200086d565b5b6001851615620005f75780820291505b80810290506200060785620008fa565b9450620005c7565b94509492505050565b60006200062582620007ea565b91506200063283620007ea565b9250620006617fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848462000669565b905092915050565b6000826200067b57600190506200074e565b816200068b57600090506200074e565b8160018114620006a45760028114620006af57620006e5565b60019150506200074e565b60ff841115620006c457620006c36200086d565b5b8360020a915084821115620006de57620006dd6200086d565b5b506200074e565b5060208310610133831016604e8410600b84101617156200071f5782820a9050838111156200071957620007186200086d565b5b6200074e565b6200072e8484846001620005bd565b925090508184048111156200074857620007476200086d565b5b81810290505b9392505050565b60006200076282620007ea565b91506200076f83620007ea565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615620007ab57620007aa6200086d565b5b828202905092915050565b6000620007c382620007ca565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b838110156200082157808201518184015260208101905062000804565b8381111562000831576000848401525b50505050565b600060028204905060018216806200085057607f821691505b602082108114156200086757620008666200089c565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6000600282049050919050565b6200091281620007b6565b81146200091e57600080fd5b50565b6200092c81620007ea565b81146200093857600080fd5b50565b6200094681620007f4565b81146200095257600080fd5b50565b60805160a05160c051612dc7620009c460003960008181610a5e01528181610cb901528181610e4a015281816119b301528181611f930152611fcb01526000818161112d015281816119610152611a4e01526000818161115901528181611a6f0152611ab40152612dc76000f3fe608060405234801561001057600080fd5b5060043610610239576000357c0100000000000000000000000000000000000000000000000000000000900480636787a9be11610142578063983b2d56116100ca578063b470aade11610099578063b470aade14610736578063e3ab207a14610754578063e54d63f714610784578063e8095295146107b4578063eda4e6d6146107d257610239565b8063983b2d56146106885780639da7d8ba146106b8578063a2119e2f146106e8578063a9059cbb1461070657610239565b806370a082311161011157806370a08231146105e0578063731f237c146106105780638da5cb5b1461062e5780638f1df6bc1461064c57806395d89b411461066a57610239565b80636787a9be146105205780636a2d094e146105505780636d5055a6146105805780636ffa8a05146105b057610239565b806331333487116101c557806340fc89f51161019457806340fc89f514610442578063449a52f81461047257806347a50517146104a25780634abfbba2146104d2578063573cc5071461050257610239565b80633133348714610394578063313ce567146103c457806335b16eb8146103e257806340452d911461041257610239565b80631989c6a81161020c5780631989c6a8146102c8578063216ea5ec146102e6578063229ba1971461031657806323b872dd146103345780633092afd51461036457610239565b806306fdde031461023e578063095ea7b31461025c57806309f28f3c1461028c57806318160ddd146102aa575b600080fd5b6102466107f0565b6040516102539190612931565b60405180910390f35b6102766004803603810190610271919061269a565b61087e565b60405161028391906128fb565b60405180910390f35b6102946109a2565b6040516102a191906129b3565b60405180910390f35b6102b26109c4565b6040516102bf91906129e9565b60405180910390f35b6102d06109ca565b6040516102dd91906129e9565b60405180910390f35b61030060048036038101906102fb9190612751565b6109d6565b60405161030d91906129e9565b60405180910390f35b61031e610a5c565b60405161032b91906129e9565b60405180910390f35b61034e6004803603810190610349919061264b565b610a80565b60405161035b91906128fb565b60405180910390f35b61037e60048036038101906103799190612622565b610baa565b60405161038b91906128fb565b60405180910390f35b6103ae60048036038101906103a99190612751565b610c9d565b6040516103bb91906129e9565b60405180910390f35b6103cc610d4e565b6040516103d991906129e9565b60405180910390f35b6103fc60048036038101906103f79190612622565b610d54565b60405161040991906128fb565b60405180910390f35b61042c60048036038101906104279190612728565b610f7a565b6040516104399190612916565b60405180910390f35b61045c600480360381019061045791906126d6565b610f9e565b60405161046991906129e9565b60405180910390f35b61048c6004803603810190610487919061269a565b610fcf565b60405161049991906128fb565b60405180910390f35b6104bc60048036038101906104b79190612622565b6110d1565b6040516104c991906129e9565b60405180910390f35b6104ec60048036038101906104e79190612728565b611129565b6040516104f991906129e9565b60405180910390f35b61050a611189565b60405161051791906129e9565b60405180910390f35b61053a60048036038101906105359190612728565b61118f565b60405161054791906129e9565b60405180910390f35b61056a60048036038101906105659190612728565b6111fb565b60405161057791906129e9565b60405180910390f35b61059a60048036038101906105959190612622565b61121c565b6040516105a791906129e9565b60405180910390f35b6105ca60048036038101906105c591906126d6565b611287565b6040516105d791906129e9565b60405180910390f35b6105fa60048036038101906105f59190612622565b6112ba565b60405161060791906129e9565b60405180910390f35b61061861139b565b60405161062591906128fb565b60405180910390f35b610636611549565b60405161064391906128e0565b60405180910390f35b61065461156f565b60405161066191906128fb565b60405180910390f35b610672611726565b60405161067f9190612931565b60405180910390f35b6106a2600480360381019061069d9190612622565b6117b4565b6040516106af91906128fb565b60405180910390f35b6106d260048036038101906106cd91906126d6565b611871565b6040516106df91906129e9565b60405180910390f35b6106f061189d565b6040516106fd91906129b3565b60405180910390f35b610720600480360381019061071b919061269a565b6118bf565b60405161072d91906128fb565b60405180910390f35b61073e61195f565b60405161074b91906129e9565b60405180910390f35b61076e600480360381019061076991906126d6565b611983565b60405161077b91906129e9565b60405180910390f35b61079e60048036038101906107999190612751565b611997565b6040516107ab91906129e9565b60405180910390f35b6107bc611a48565b6040516107c991906129b3565b60405180910390f35b6107da611ab2565b6040516107e791906129e9565b60405180910390f35b600480546107fd90612c1c565b80601f016020809104026020016040519081016040528092919081815260200182805461082990612c1c565b80156108765780601f1061084b57610100808354040283529160200191610876565b820191906000526020600020905b81548152906001019060200180831161085957829003601f168201915b505050505081565b60008061088961156f565b5061089333610d54565b5061089d8361118f565b905080600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461092b9190612a20565b925050819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258560405161098f91906129e9565b60405180910390a3600191505092915050565b600260009054906101000a90046fffffffffffffffffffffffffffffffff1681565b60075481565b60008080549050905090565b600080600080851415610a1e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a1590612953565b60405180910390fd5b838510610a2a57600080fd5b8484610a369190612a76565b91508482610a449190612aa7565b90508084610a529190612b35565b9250505092915050565b7f000000000000000000000000000000000000000000000000000000000000000081565b6000806000610a8d61156f565b50610a9733610d54565b50610aa18461118f565b915081600a60008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610b2c57600080fd5b610b37868684611ad6565b90508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef86604051610b9691906129e9565b60405180910390a380925050509392505050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161480610c3357503373ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16145b610c3c57600080fd5b6000600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555060019050919050565b6000806000620f424091506d04ee2d6d415b85acef81000000007f0000000000000000000000000000000000000000000000000000000000000000610ce29190612a76565b905060005b84811015610d2957620f42408284610cff9190612aa7565b610d099190612a76565b83610d149190612b35565b92508080610d2190612c4e565b915050610ce7565b50620f42408583610d3a9190612aa7565b610d449190612a76565b9250505092915050565b60065481565b600080600080600080600080610d698961121c565b91506000821480610d935750610d7d611a48565b6fffffffffffffffffffffffffffffffff168210155b15610da8576000975050505050505050610f75565b6000600183610db79190612b35565b81548110610dee577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002001549650610e0487610f9e565b94506000851415610e1f576000975050505050505050610f75565b610e2887611871565b9550610e3387611287565b90506d04ee2d6d415b85acef8100000000620f42407f0000000000000000000000000000000000000000000000000000000000000000610e739190612a76565b8688610e7f9190612a76565b610e899190612aa7565b610e939190612a76565b9350620f42408185610ea59190612aa7565b610eaf9190612a76565b92506cffffffff00000000000000000019600102600160008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282541692505081905550610f198984611b7a565b50818973ffffffffffffffffffffffffffffffffffffffff167f9a2a887706623ad3ff7fc85652deeceabe9fe1e00466c597972079ee91ea40d385604051610f6191906129e9565b60405180910390a360019750505050505050505b919050565b60008181548110610f8a57600080fd5b906000526020600020016000915090505481565b6000606860ff16710fffffffff00000000000000000000000000836001900416908060020a82049150509050919050565b600080600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1661102857600080fd5b61103061156f565b5082905082600760008282546110469190612a20565b925050819055506110578482611b7a565b508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fab8530f87dc9b59234c4623bf917212bb2536d647574c8e7e5da92c2ede0c9f8856040516110b591906129e9565b60405180910390a36110c5611cd6565b50600191505092915050565b600068ffffffffffffffffff600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205460019004169050919050565b60007f0000000000000000000000000000000000000000000000000000000000000000826111579190612aa7565b7f00000000000000000000000000000000000000000000000000000000000000006111829190612a20565b9050919050565b60085481565b6000600260009054906101000a90046fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff16620f42406d04ee2d6d415b85acef8100000000846111e09190612aa7565b6111ea9190612aa7565b6111f49190612a76565b9050919050565b6000603c824261120b9190612b35565b6112159190612a76565b9050919050565b6000604860ff166cffffffff000000000000000000600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546001900416908060020a82049150509050919050565b6000608c60ff1673fffff00000000000000000000000000000000000836001900416908060020a82049150509050919050565b6000806000806112c9856110d1565b9250600260109054906101000a90046fffffffffffffffffffffffffffffffff166112f2611a48565b6112fc9190612b01565b6fffffffffffffffffffffffffffffffff16905061134a600260009054906101000a90046fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff1682610c9d565b6fffffffffffffffffffffffffffffffff169150620f42406d04ee2d6d415b85acef810000000061137b9190612aa7565b82846113879190612aa7565b6113919190612a76565b9350505050919050565b60008060008060006113ab611a48565b9350600260109054906101000a90046fffffffffffffffffffffffffffffffff16846113d79190612b01565b92506000836fffffffffffffffffffffffffffffffff161415611401576000945050505050611546565b600260009054906101000a90046fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff16915061145082846fffffffffffffffffffffffffffffffff16610c9d565b600260006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555083600260106101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555081836fffffffffffffffffffffffffffffffff16856fffffffffffffffffffffffffffffffff167fa0717e54e02bd9829db5e6e998aec0ae9de796b8d150a3cc46a92ab869697755600260009054906101000a90046fffffffffffffffffffffffffffffffff1660405161153591906129ce565b60405180910390a460019450505050505b90565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000806000806000806000806000806000611588611dbe565b995060006001028a14156115a95760009a5050505050505050505050611723565b6115b28a611983565b97506001886115c19190612a20565b90506115cc88611129565b91506115d661139b565b50600260009054906101000a90046fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff169450611613826111fb565b92506000831115611648576d04ee2d6d415b85acef81000000006116378685611997565b6116419190612a76565b9350611665565b6d04ee2d6d415b85acef8100000000856116629190612a76565b93505b61167460008560075484611eee565b985060008990806001815401808255809150506001900390600052602060002001600090919091909150556116a88a610f9e565b965060008714156116c3576116bc8a611f7a565b95506116dd565b6116cf876007546109d6565b95506116db868961216d565b505b7f55d243082e019fce4009ccea5368b92e436c17586a1e793c7deda16df4e5d6758160405161170c91906129e9565b60405180910390a160019a50505050505050505050505b90565b6005805461173390612c1c565b80601f016020809104026020016040519081016040528092919081815260200182805461175f90612c1c565b80156117ac5780601f10611781576101008083540402835291602001916117ac565b820191906000526020600020905b81548152906001019060200180831161178f57829003601f168201915b505050505081565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461181057600080fd5b6001600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555060019050919050565b6000602060ff166cffffffffffffffffff00000000836001900416908060020a82049150509050919050565b600260109054906101000a90046fffffffffffffffffffffffffffffffff1681565b60008060006118cc61156f565b506118d633610d54565b506118e08461118f565b91506118ed338684611ad6565b90508473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8660405161194c91906129e9565b60405180910390a3809250505092915050565b7f000000000000000000000000000000000000000000000000000000000000000081565b600063ffffffff8260019004169050919050565b6000806000620f424091506d04ee2d6d415b85acef81000000007f00000000000000000000000000000000000000000000000000000000000000006119dc9190612a76565b905060005b84811015611a2357620f424082846119f99190612aa7565b611a039190612a76565b83611a0e9190612a20565b92508080611a1b90612c4e565b9150506119e1565b50620f42408583611a349190612aa7565b611a3e9190612a76565b9250505092915050565b600060017f00000000000000000000000000000000000000000000000000000000000000007f000000000000000000000000000000000000000000000000000000000000000042611a999190612b35565b611aa39190612a76565b611aad9190612a20565b905090565b7f000000000000000000000000000000000000000000000000000000000000000081565b600080611ae385846122a3565b50611aee8484611b7a565b50611af7611a48565b6fffffffffffffffffffffffffffffffff1690506008548310158015611b25575080611b228661121c565b14155b8015611b5d57508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff1614155b15611b6e57611b6c85826123d4565b505b60019150509392505050565b600080600080600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546001900490506000851415611bdb5760009350505050611cd0565b611be4866110d1565b92508483611bf29190612a20565b91508273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1611611c62576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611c5990612993565b60405180910390fd5b68ffffffffffffffffff198116905068ffffffffffffffffff82168117905080600102600160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600193505050505b92915050565b60008060006001600080549050611ced9190612b35565b81548110611d24577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002001546001900490506cffffffffffffffffff000000001981169050602060ff166007549060020a02811790508060010260006001600080549050611d719190612b35565b81548110611da8577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b9060005260206000200181905550600191505090565b6000806000806001600080549050611dd69190612b35565b81548110611e0d577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020015491503073ffffffffffffffffffffffffffffffffffffffff1663e80952956040518163ffffffff167c010000000000000000000000000000000000000000000000000000000002815260040160206040518083038186803b158015611e7c57600080fd5b505afa158015611e90573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611eb491906126ff565b6fffffffffffffffffffffffffffffffff169050611ed182611983565b8111611ee557600060010292505050611eeb565b81925050505b90565b60008073fffff00000000000000000000000000000000000608c60ff16869060020a021660010281179050710fffffffff00000000000000000000000000606860ff16879060020a0216600102811790506cffffffffffffffffff00000000602060ff16859060020a02166001028117905063ffffffff83166001028117905080915050949350505050565b6000806000806000611f8b86611871565b9350620f42407f000000000000000000000000000000000000000000000000000000000000000085611fbd9190612aa7565b611fc79190612a76565b91507f0000000000000000000000000000000000000000000000000000000000000000620f424083611ff99190612aa7565b6120039190612a76565b90508381101561211b5761201686611983565b9250710fffffffff0000000000000000000000000019600102600060018561203e9190612b35565b81548110612075577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b9060005260206000200160008282541692505081905550606860ff1660019060020a027f80000000000000000000000000000000000000000000000000000000000000001760010260006001856120cc9190612b35565b81548110612103577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002001600082825417925050819055505b612160600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166d04ee2d6d415b85acef81000000008461215b9190612a76565b611b7a565b5081945050505050919050565b600080600084141561218357600091505061229d565b7f800000000000000000000000000000000000000000000000000000000000000060010260006001856121b69190612b35565b815481106121ed577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020016000828254179250508190555061225d60006001856122169190612b35565b8154811061224d577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b9060005260206000200154611871565b9050612296600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1685836122919190612b35565b611b7a565b5060019150505b92915050565b600080600080600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600190049050600085141561230457600093505050506123ce565b61230d866110d1565b925084831015612352576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161234990612973565b60405180910390fd5b848361235e9190612b35565b915068ffffffffffffffffff198116905068ffffffffffffffffff82168117905080600102600160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600193505050505b92915050565b60006cffffffff00000000000000000019600102600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825416925050819055506cffffffff000000000000000000604860ff16839060020a0216600102600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825417925050819055506124a56124b0565b506001905092915050565b600080600080600060016000805490506124ca9190612b35565b81548110612501577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002001549250600161251984610f9e565b6125239190612a20565b905082600190049150710fffffffff000000000000000000000000001982169150710fffffffff00000000000000000000000000606860ff16829060020a021682179150816001026000600160008054905061257f9190612b35565b815481106125b6577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002001819055506001935050505090565b6000813590506125dd81612d35565b92915050565b6000813590506125f281612d4c565b92915050565b60008151905061260781612d63565b92915050565b60008135905061261c81612d7a565b92915050565b60006020828403121561263457600080fd5b6000612642848285016125ce565b91505092915050565b60008060006060848603121561266057600080fd5b600061266e868287016125ce565b935050602061267f868287016125ce565b92505060406126908682870161260d565b9150509250925092565b600080604083850312156126ad57600080fd5b60006126bb858286016125ce565b92505060206126cc8582860161260d565b9150509250929050565b6000602082840312156126e857600080fd5b60006126f6848285016125e3565b91505092915050565b60006020828403121561271157600080fd5b600061271f848285016125f8565b91505092915050565b60006020828403121561273a57600080fd5b60006127488482850161260d565b91505092915050565b6000806040838503121561276457600080fd5b60006127728582860161260d565b92505060206127838582860161260d565b9150509250929050565b61279681612b69565b82525050565b6127a581612b7b565b82525050565b6127b481612b87565b82525050565b60006127c582612a04565b6127cf8185612a0f565b93506127df818560208601612be9565b6127e881612d24565b840191505092915050565b6000612800601183612a0f565b91507f4552525f4e554d50415254535f5a45524f0000000000000000000000000000006000830152602082019050919050565b6000612840600d83612a0f565b91507f4552525f4f5645525350454e44000000000000000000000000000000000000006000830152602082019050919050565b6000612880600d83612a0f565b91507f4552525f574f554c4457524150000000000000000000000000000000000000006000830152602082019050919050565b6128bc81612b91565b82525050565b6128cb81612bd7565b82525050565b6128da81612bcd565b82525050565b60006020820190506128f5600083018461278d565b92915050565b6000602082019050612910600083018461279c565b92915050565b600060208201905061292b60008301846127ab565b92915050565b6000602082019050818103600083015261294b81846127ba565b905092915050565b6000602082019050818103600083015261296c816127f3565b9050919050565b6000602082019050818103600083015261298c81612833565b9050919050565b600060208201905081810360008301526129ac81612873565b9050919050565b60006020820190506129c860008301846128b3565b92915050565b60006020820190506129e360008301846128c2565b92915050565b60006020820190506129fe60008301846128d1565b92915050565b600081519050919050565b600082825260208201905092915050565b6000612a2b82612bcd565b9150612a3683612bcd565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115612a6b57612a6a612c97565b5b828201905092915050565b6000612a8182612bcd565b9150612a8c83612bcd565b925082612a9c57612a9b612cc6565b5b828204905092915050565b6000612ab282612bcd565b9150612abd83612bcd565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615612af657612af5612c97565b5b828202905092915050565b6000612b0c82612b91565b9150612b1783612b91565b925082821015612b2a57612b29612c97565b5b828203905092915050565b6000612b4082612bcd565b9150612b4b83612bcd565b925082821015612b5e57612b5d612c97565b5b828203905092915050565b6000612b7482612bad565b9050919050565b60008115159050919050565b6000819050919050565b60006fffffffffffffffffffffffffffffffff82169050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b6000612be282612b91565b9050919050565b60005b83811015612c07578082015181840152602081019050612bec565b83811115612c16576000848401525b50505050565b60006002820490506001821680612c3457607f821691505b60208210811415612c4857612c47612cf5565b5b50919050565b6000612c5982612bcd565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff821415612c8c57612c8b612c97565b5b600182019050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f8301169050919050565b612d3e81612b69565b8114612d4957600080fd5b50565b612d5581612b87565b8114612d6057600080fd5b50565b612d6c81612b91565b8114612d7757600080fd5b50565b612d8381612bcd565b8114612d8e57600080fd5b5056fea2646970667358221220b4c34b9cd5c1cacc7f5e09ec217e773c17e22b48789448982411cb74ec27c10864736f6c63430008000033
+\ No newline at end of file
diff --git a/python/sarafu_token/data/RedistributedDemurrageToken.json b/python/sarafu_token/data/RedistributedDemurrageToken.json
@@ -0,0 +1 @@
+[{"inputs":[{"internalType":"string","name":"_name","type":"string"},{"internalType":"string","name":"_symbol","type":"string"},{"internalType":"uint8","name":"_decimals","type":"uint8"},{"internalType":"uint256","name":"_taxLevelMinute","type":"uint256"},{"internalType":"uint256","name":"_periodMinutes","type":"uint256"},{"internalType":"address","name":"_defaultSinkAddress","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_owner","type":"address"},{"indexed":true,"internalType":"address","name":"_spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"bytes32","name":"_foo","type":"bytes32"}],"name":"Debug","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"_period","type":"uint256"},{"indexed":true,"internalType":"uint256","name":"_periodCount","type":"uint256"},{"indexed":true,"internalType":"uint256","name":"_oldAmount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"_newAmount","type":"uint256"}],"name":"Decayed","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_minter","type":"address"},{"indexed":true,"internalType":"address","name":"_beneficiary","type":"address"},{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_period","type":"uint256"}],"name":"Period","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_account","type":"address"},{"indexed":true,"internalType":"uint256","name":"_period","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"Redistribution","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_from","type":"address"},{"indexed":true,"internalType":"address","name":"_to","type":"address"},{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"_account","type":"address"}],"name":"accountPeriod","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"actualPeriod","outputs":[{"internalType":"uint128","name":"","type":"uint128"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_minter","type":"address"}],"name":"addMinter","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"applyDemurrage","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_account","type":"address"}],"name":"applyRedistributionOnAccount","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_account","type":"address"}],"name":"baseBalanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"changePeriod","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_value","type":"uint256"},{"internalType":"uint256","name":"_period","type":"uint256"}],"name":"decayBy","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"demurrageAmount","outputs":[{"internalType":"uint128","name":"","type":"uint128"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_target","type":"uint256"}],"name":"demurrageCycles","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"demurragePeriod","outputs":[{"internalType":"uint128","name":"","type":"uint128"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_periodCount","type":"uint256"}],"name":"getPeriodTimeDelta","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_value","type":"uint256"},{"internalType":"uint256","name":"_period","type":"uint256"}],"name":"growBy","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"minimumParticipantSpend","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_beneficiary","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"mintTo","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"periodDuration","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"periodStart","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"redistributionCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"redistributions","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_numParts","type":"uint256"},{"internalType":"uint256","name":"_sumWhole","type":"uint256"}],"name":"remainder","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"_minter","type":"address"}],"name":"removeMinter","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"taxLevel","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"toBaseAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"redistribution","type":"bytes32"}],"name":"toRedistributionDemurrageModifier","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"bytes32","name":"redistribution","type":"bytes32"}],"name":"toRedistributionParticipants","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"bytes32","name":"redistribution","type":"bytes32"}],"name":"toRedistributionPeriod","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"bytes32","name":"redistribution","type":"bytes32"}],"name":"toRedistributionSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]
diff --git a/python/sarafu_token/runnable/legacy/deploy.py b/python/sarafu_token/runnable/legacy/deploy.py
@@ -0,0 +1,133 @@
+"""Deploys Sarafu token
+
+.. moduleauthor:: Louis Holbrook <dev@holbrook.no>
+.. pgp:: 0826EDA1702D1E87C6E2875121D2E7BB88C2A746
+
+"""
+
+# SPDX-License-Identifier: GPL-3.0-or-later
+
+# standard imports
+import sys
+import os
+import json
+import argparse
+import logging
+import time
+from enum import Enum
+
+# third-party imports
+import web3
+from crypto_dev_signer.eth.signer import ReferenceSigner as EIP155Signer
+from crypto_dev_signer.keystore import DictKeystore
+from crypto_dev_signer.eth.helper import EthTxExecutor
+
+logging.basicConfig(level=logging.WARNING)
+logg = logging.getLogger()
+
+logging.getLogger('web3').setLevel(logging.WARNING)
+logging.getLogger('urllib3').setLevel(logging.WARNING)
+
+script_dir = os.path.dirname(__file__)
+data_dir = os.path.join(script_dir, '..', '..', 'data')
+
+
+argparser = argparse.ArgumentParser()
+argparser.add_argument('-p', '--provider', dest='p', default='http://localhost:8545', type=str, help='Web3 provider url (http only)')
+argparser.add_argument('-w', action='store_true', help='Wait for the last transaction to be confirmed')
+argparser.add_argument('-ww', action='store_true', help='Wait for every transaction to be confirmed')
+argparser.add_argument('-e', action='store_true', help='Treat all transactions as essential')
+argparser.add_argument('-i', '--chain-spec', dest='i', type=str, default='Ethereum:1', help='Chain specification string')
+argparser.add_argument('-y', '--key-file', dest='y', type=str, help='Ethereum keystore file to use for signing')
+argparser.add_argument('--name', dest='n', default='Giftable Token', type=str, help='Token name')
+argparser.add_argument('--symbol', dest='s', default='GFT', type=str, help='Token symbol')
+argparser.add_argument('--decimals', dest='d', default=18, type=int, help='Token decimals')
+argparser.add_argument('--minter', action='append', type=str, help='Minter to add')
+argparser.add_argument('--sink-address', type=str, help='Sink address (if not set, signer address is used)')
+argparser.add_argument('--abi-dir', dest='abi_dir', type=str, default=data_dir, help='Directory containing bytecode and abi (default: {})'.format(data_dir))
+
+argparser.add_argument('-v', action='store_true', help='Be verbose')
+argparser.add_argument('taxlevel_minute', type=int, help='Tax level per minute in ppm')
+argparser.add_argument('period_minutes', type=int, help='Redistribution period, in minutes')
+args = argparser.parse_args()
+
+if args.v:
+ logg.setLevel(logging.DEBUG)
+
+block_last = args.w
+block_all = args.ww
+
+w3 = web3.Web3(web3.Web3.HTTPProvider(args.p))
+
+signer_address = None
+keystore = DictKeystore()
+if args.y != None:
+ logg.debug('loading keystore file {}'.format(args.y))
+ signer_address = keystore.import_keystore_file(args.y)
+ logg.debug('now have key for signer address {}'.format(signer_address))
+signer = EIP155Signer(keystore)
+
+chain_pair = args.i.split(':')
+chain_id = int(chain_pair[1])
+
+helper = EthTxExecutor(
+ w3,
+ signer_address,
+ signer,
+ chain_id,
+ block=args.ww,
+ )
+#g = ERC20TxFactory(signer=signer, gas_oracle=gas_oracle, nonce_oracle=nonce_oracle, chain_id=chain_id)
+
+
+def main():
+
+ f = open(os.path.join(args.abi_dir, 'RedistributedDemurrageToken.json'), 'r')
+ abi = json.load(f)
+ f.close()
+
+ f = open(os.path.join(args.abi_dir, 'RedistributedDemurrageToken.bin'), 'r')
+ bytecode = f.read()
+ f.close()
+
+ sink_address = args.sink_address
+ if sink_address == None:
+ sink_address = signer_address
+
+ c = w3.eth.contract(abi=abi, bytecode=bytecode)
+ (tx_hash, rcpt) = helper.sign_and_send(
+ [
+ c.constructor(args.n, args.s, args.d, args.taxlevel_minute, args.period_minutes, sink_address).buildTransaction
+ ],
+ force_wait=True,
+ )
+ logg.debug('tx hash {} rcpt {}'.format(tx_hash, rcpt))
+
+ address = rcpt.contractAddress
+ logg.debug('token contract mined {} {}Â {}Â {}'.format(address, args.n, args.s, args.d, args.taxlevel_minute, args.period_minutes, sink_address))
+ c = w3.eth.contract(abi=abi, address=address)
+
+ balance = c.functions.balanceOf(signer_address).call()
+ logg.info('balance {}: {} {}'.format(signer_address, balance, tx_hash))
+
+ if args.minter != None:
+ for a in args.minter:
+ if a == signer_address:
+ continue
+ (tx_hash, rcpt) = helper.sign_and_send(
+ [
+ c.functions.addMinter(a).buildTransaction,
+ ],
+ )
+ logg.debug('minter add {} {}'.format(a, tx_hash))
+
+ if block_last:
+ helper.wait_for()
+
+ print(address)
+
+ sys.exit(0)
+
+
+if __name__ == '__main__':
+ main()
diff --git a/python/setup.cfg b/python/setup.cfg
@@ -0,0 +1,41 @@
+[metadata]
+name = sarafu-token
+version = 0.0.1a2
+description = ERC20 token with redistributed continual demurrage
+author = Louis Holbrook
+author_email = dev@holbrook.no
+url = https://gitlab.com/grassrootseconomics/sarafu-token
+keywords =
+ ethereum
+classifiers =
+ Programming Language :: Python :: 3
+ Operating System :: OS Independent
+ Development Status :: 3 - Alpha
+ Environment :: No Input/Output (Daemon)
+ Intended Audience :: Developers
+ License :: OSI Approved :: GNU General Public License v3 or later (GPLv3+)
+ Topic :: Internet
+ #Topic :: Blockchain :: EVM
+license = GPL3
+licence_files =
+ LICENSE
+
+[options]
+include_package_data = True
+python_requires = >= 3.6
+packages =
+ sarafu_token
+ sarafu_token.runnable.legacy
+install_requires =
+ chainlib~=0.0.1a7
+ crypto-dev-signer~=0.4.13rc2
+ web3==5.12.2
+
+[options.package_data]
+* =
+ data/RedistributedDemurrageToken.bin
+ data/RedistributedDemurrageToken.json
+
+[options.entry_points]
+console_scripts =
+ sarafu-token-deploy = sarafu_faucet.runnable.legacy.deploy:main
diff --git a/python/setup.py b/python/setup.py
@@ -0,0 +1,10 @@
+from setuptools import setup
+
+setup(
+ package_data={
+ '': [
+ 'data/MintableFactor.bin',
+ ],
+ },
+ include_package_data=True,
+ )
diff --git a/python/tests/bench.py b/python/tests/bench.py
@@ -47,6 +47,14 @@ class Test(unittest.TestCase):
pass
+ def test_construct(self):
+ period = 10
+ c = self.w3.eth.contract(abi=self.abi, bytecode=self.bytecode)
+ tx_hash = c.constructor('Foo Token', 'FOO', 6, TAX_LEVEL * (10 ** 32), period, self.sink_address).transact({'from': self.w3.eth.accounts[0]})
+ r = self.w3.eth.getTransactionReceipt(tx_hash)
+ print('construct: {}'.format(r['gasUsed']))
+
+
def test_gas_changeperiod(self):
period = 43200
for i in range(5):
@@ -64,7 +72,155 @@ class Test(unittest.TestCase):
tx_hash = contract.functions.changePeriod().transact()
r = self.w3.eth.getTransactionReceipt(tx_hash)
- print('{} ({}): {}'.format(i, 60 * (10 ** i), r['gasUsed']))
+ print('changePeriod {} ({}): {}'.format(i, 60 * (10 ** i), r['gasUsed']))
+
+
+ def test_mint(self):
+ period = 10
+ c = self.w3.eth.contract(abi=self.abi, bytecode=self.bytecode)
+ tx_hash = c.constructor('Foo Token', 'FOO', 6, TAX_LEVEL * (10 ** 32), period, self.sink_address).transact({'from': self.w3.eth.accounts[0]})
+ r = self.w3.eth.getTransactionReceipt(tx_hash)
+ contract = self.w3.eth.contract(abi=self.abi, address=r.contractAddress)
+
+ start_block = self.w3.eth.blockNumber
+ b = self.w3.eth.getBlock(start_block)
+ start_time = b['timestamp']
+
+ tx_hash = contract.functions.mintTo(self.w3.eth.accounts[1], 1000000).transact({'from': self.w3.eth.accounts[0]})
+ r = self.w3.eth.getTransactionReceipt(tx_hash)
+ print ('mintTo: {}'.format(r['gasUsed']))
+
+
+ def test_transfer(self):
+ period = 10
+ c = self.w3.eth.contract(abi=self.abi, bytecode=self.bytecode)
+ tx_hash = c.constructor('Foo Token', 'FOO', 6, TAX_LEVEL * (10 ** 32), period, self.sink_address).transact({'from': self.w3.eth.accounts[0]})
+ r = self.w3.eth.getTransactionReceipt(tx_hash)
+ contract = self.w3.eth.contract(abi=self.abi, address=r.contractAddress)
+
+ start_block = self.w3.eth.blockNumber
+ b = self.w3.eth.getBlock(start_block)
+ start_time = b['timestamp']
+
+ contract.functions.mintTo(self.w3.eth.accounts[1], 1000000).transact({'from': self.w3.eth.accounts[0]})
+
+ tx_hash = contract.functions.transfer(self.w3.eth.accounts[2], 1000000).transact({'from': self.w3.eth.accounts[1]})
+ r = self.w3.eth.getTransactionReceipt(tx_hash)
+ print ('transfer: {}'.format(r['gasUsed']))
+
+
+ def test_approve(self):
+ period = 10
+ c = self.w3.eth.contract(abi=self.abi, bytecode=self.bytecode)
+ tx_hash = c.constructor('Foo Token', 'FOO', 6, TAX_LEVEL * (10 ** 32), period, self.sink_address).transact({'from': self.w3.eth.accounts[0]})
+ r = self.w3.eth.getTransactionReceipt(tx_hash)
+ contract = self.w3.eth.contract(abi=self.abi, address=r.contractAddress)
+
+ start_block = self.w3.eth.blockNumber
+ b = self.w3.eth.getBlock(start_block)
+ start_time = b['timestamp']
+
+ contract.functions.mintTo(self.w3.eth.accounts[1], 1000000).transact({'from': self.w3.eth.accounts[0]})
+
+ tx_hash = contract.functions.approve(self.w3.eth.accounts[2], 1000000).transact({'from': self.w3.eth.accounts[1]})
+ r = self.w3.eth.getTransactionReceipt(tx_hash)
+ print ('approve: {}'.format(r['gasUsed']))
+
+
+ def test_transferfrom(self):
+ period = 10
+ c = self.w3.eth.contract(abi=self.abi, bytecode=self.bytecode)
+ tx_hash = c.constructor('Foo Token', 'FOO', 6, TAX_LEVEL * (10 ** 32), period, self.sink_address).transact({'from': self.w3.eth.accounts[0]})
+ r = self.w3.eth.getTransactionReceipt(tx_hash)
+ contract = self.w3.eth.contract(abi=self.abi, address=r.contractAddress)
+
+ start_block = self.w3.eth.blockNumber
+ b = self.w3.eth.getBlock(start_block)
+ start_time = b['timestamp']
+
+ contract.functions.mintTo(self.w3.eth.accounts[1], 1000000).transact({'from': self.w3.eth.accounts[0]})
+
+ contract.functions.approve(self.w3.eth.accounts[2], 1000000).transact({'from': self.w3.eth.accounts[1]})
+
+ tx_hash = contract.functions.transferFrom(self.w3.eth.accounts[1], self.w3.eth.accounts[3], 1000000).transact({'from': self.w3.eth.accounts[2]})
+ r = self.w3.eth.getTransactionReceipt(tx_hash)
+ print ('transferFrom: {}'.format(r['gasUsed']))
+
+
+ def test_redistribute_default(self):
+ period = 10
+ c = self.w3.eth.contract(abi=self.abi, bytecode=self.bytecode)
+ tx_hash = c.constructor('Foo Token', 'FOO', 6, TAX_LEVEL * (10 ** 32), period, self.sink_address).transact({'from': self.w3.eth.accounts[0]})
+ r = self.w3.eth.getTransactionReceipt(tx_hash)
+ contract = self.w3.eth.contract(abi=self.abi, address=r.contractAddress)
+
+ start_block = self.w3.eth.blockNumber
+ b = self.w3.eth.getBlock(start_block)
+ start_time = b['timestamp']
+
+ for i in range(100):
+ addr = web3.Web3.toChecksumAddress('0x' + os.urandom(20).hex())
+ contract.functions.mintTo(addr, 1000000 * (i+1)).transact({'from': self.w3.eth.accounts[0]})
+
+ self.eth_tester.time_travel(start_time + period * 60 + 1)
+ redistribution = contract.functions.redistributions(0).call()
+ tx_hash = contract.functions.changePeriod().transact({'from': self.w3.eth.accounts[2]})
+ r = self.w3.eth.getTransactionReceipt(tx_hash)
+ print ('chainPeriod -> defaultRedistribution: {}'.format(r['gasUsed']))
+
+
+ def test_redistribution_account(self):
+ period = 10
+ c = self.w3.eth.contract(abi=self.abi, bytecode=self.bytecode)
+ tx_hash = c.constructor('Foo Token', 'FOO', 6, TAX_LEVEL * (10 ** 32), period, self.sink_address).transact({'from': self.w3.eth.accounts[0]})
+ r = self.w3.eth.getTransactionReceipt(tx_hash)
+ contract = self.w3.eth.contract(abi=self.abi, address=r.contractAddress)
+
+ start_block = self.w3.eth.blockNumber
+ b = self.w3.eth.getBlock(start_block)
+ start_time = b['timestamp']
+
+ contract.functions.mintTo(self.w3.eth.accounts[1], 1000000).transact({'from': self.w3.eth.accounts[0]})
+ contract.functions.transfer(self.w3.eth.accounts[2], 1000000).transact({'from': self.w3.eth.accounts[1]})
+
+ for i in range(100):
+ addr = web3.Web3.toChecksumAddress('0x' + os.urandom(20).hex())
+ contract.functions.mintTo(addr, 1000000 * (i+1)).transact({'from': self.w3.eth.accounts[0]})
+
+ self.eth_tester.time_travel(start_time + period * 60 + 1)
+ redistribution = contract.functions.redistributions(0).call()
+ tx_hash = contract.functions.applyRedistributionOnAccount(self.w3.eth.accounts[1]).transact({'from': self.w3.eth.accounts[2]})
+ r = self.w3.eth.getTransactionReceipt(tx_hash)
+ self.assertEqual(r.logs[0].topics[0].hex(), '0x9a2a887706623ad3ff7fc85652deeceabe9fe1e00466c597972079ee91ea40d3')
+ print ('redistribute account: {}'.format(r['gasUsed']))
+
+
+ def test_redistribution_account_transfer(self):
+ period = 10
+ c = self.w3.eth.contract(abi=self.abi, bytecode=self.bytecode)
+ tx_hash = c.constructor('Foo Token', 'FOO', 6, TAX_LEVEL * (10 ** 32), period, self.sink_address).transact({'from': self.w3.eth.accounts[0]})
+ r = self.w3.eth.getTransactionReceipt(tx_hash)
+ contract = self.w3.eth.contract(abi=self.abi, address=r.contractAddress)
+
+ start_block = self.w3.eth.blockNumber
+ b = self.w3.eth.getBlock(start_block)
+ start_time = b['timestamp']
+
+ contract.functions.mintTo(self.w3.eth.accounts[1], 2000000).transact({'from': self.w3.eth.accounts[0]})
+ contract.functions.transfer(self.w3.eth.accounts[2], 1000000).transact({'from': self.w3.eth.accounts[1]})
+
+ for i in range(10):
+ addr = web3.Web3.toChecksumAddress('0x' + os.urandom(20).hex())
+ contract.functions.mintTo(addr, 1000000 * (i+1)).transact({'from': self.w3.eth.accounts[0]})
+
+ self.eth_tester.time_travel(start_time + period * 60 + 1)
+ redistribution = contract.functions.redistributions(0).call()
+ contract.functions.changePeriod().transact({'from': self.w3.eth.accounts[0]})
+ tx_hash = contract.functions.transfer(self.w3.eth.accounts[3], 100000).transact({'from': self.w3.eth.accounts[1]})
+ r = self.w3.eth.getTransactionReceipt(tx_hash)
+ self.assertEqual(r.logs[0].topics[0].hex(), '0x9a2a887706623ad3ff7fc85652deeceabe9fe1e00466c597972079ee91ea40d3')
+ print ('redistribute account: {}'.format(r['gasUsed']))
+
if __name__ == '__main__':
unittest.main()
diff --git a/python/tests/test_basic.py b/python/tests/test_basic.py
@@ -71,25 +71,30 @@ class Test(unittest.TestCase):
self.assertEqual(self.contract.functions.actualPeriod().call(), 2)
-
def test_apply_demurrage(self):
modifier = 10 * (10 ** 37)
- demurrage_modifier = self.contract.functions.demurrageModifier().call()
- demurrage_modifier &= (1 << 128) - 1
- self.assertEqual(modifier, demurrage_modifier)
+ #demurrage_modifier = self.contract.functions.demurrageModifier().call()
+ #demurrage_modifier &= (1 << 128) - 1
+ demurrage_amount = self.contract.functions.demurrageAmount().call()
+ #self.assertEqual(modifier, demurrage_modifier)
+ self.assertEqual(modifier, demurrage_amount)
self.eth_tester.time_travel(self.start_time + 59)
- demurrage_modifier = self.contract.functions.demurrageModifier().call()
- demurrage_modifier &= (1 << 128) - 1
- self.assertEqual(modifier, demurrage_modifier)
+ #demurrage_modifier = self.contract.functions.demurrageModifier().call()
+ demurrage_amount = self.contract.functions.demurrageAmount().call()
+ #demurrage_modifier &= (1 << 128) - 1
+ #self.assertEqual(modifier, demurrage_modifier)
+ self.assertEqual(modifier, demurrage_amount)
self.eth_tester.time_travel(self.start_time + 61)
tx_hash = self.contract.functions.applyDemurrage().transact()
r = self.w3.eth.getTransactionReceipt(tx_hash)
- demurrage_modifier = self.contract.functions.demurrageModifier().call()
- demurrage_modifier &= (1 << 128) - 1
- self.assertEqual(int(98 * (10 ** 36)), demurrage_modifier)
+ #demurrage_modifier = self.contract.functions.demurrageModifier().call()
+ demurrage_amount = self.contract.functions.demurrageAmount().call()
+ #demurrage_modifier &= (1 << 128) - 1
+ #self.assertEqual(int(98 * (10 ** 36)), demurrage_modifier)
+ self.assertEqual(int(98 * (10 ** 36)), demurrage_amount)
def test_mint(self):
@@ -111,7 +116,34 @@ class Test(unittest.TestCase):
balance = self.contract.functions.balanceOf(self.w3.eth.accounts[1]).call()
self.assertEqual(balance, int(2000 * 0.98))
-
+
+ def test_minter_control(self):
+ with self.assertRaises(eth_tester.exceptions.TransactionFailed):
+ tx_hash = self.contract.functions.mintTo(self.w3.eth.accounts[2], 1024).transact({'from': self.w3.eth.accounts[1]})
+
+ with self.assertRaises(eth_tester.exceptions.TransactionFailed):
+ tx_hash = self.contract.functions.addMinter(self.w3.eth.accounts[1]).transact({'from': self.w3.eth.accounts[1]})
+
+ tx_hash = self.contract.functions.addMinter(self.w3.eth.accounts[1]).transact({'from': self.w3.eth.accounts[0]})
+ r = self.w3.eth.getTransactionReceipt(tx_hash)
+ self.assertEqual(r.status, 1)
+
+ with self.assertRaises(eth_tester.exceptions.TransactionFailed):
+ tx_hash = self.contract.functions.addMinter(self.w3.eth.accounts[2]).transact({'from': self.w3.eth.accounts[1]})
+
+ tx_hash = self.contract.functions.mintTo(self.w3.eth.accounts[2], 1024).transact({'from': self.w3.eth.accounts[1]})
+
+ with self.assertRaises(eth_tester.exceptions.TransactionFailed):
+ tx_hash = self.contract.functions.addMinter(self.w3.eth.accounts[1]).transact({'from': self.w3.eth.accounts[2]})
+
+ tx_hash = self.contract.functions.removeMinter(self.w3.eth.accounts[1]).transact({'from': self.w3.eth.accounts[1]})
+ r = self.w3.eth.getTransactionReceipt(tx_hash)
+ self.assertEqual(r.status, 1)
+
+ with self.assertRaises(eth_tester.exceptions.TransactionFailed):
+ tx_hash = self.contract.functions.mintTo(self.w3.eth.accounts[2], 1024).transact({'from': self.w3.eth.accounts[1]})
+
+
def test_base_amount(self):
tx_hash = self.contract.functions.mintTo(self.w3.eth.accounts[1], 1000).transact()
r = self.w3.eth.getTransactionReceipt(tx_hash)
@@ -120,9 +152,9 @@ class Test(unittest.TestCase):
self.eth_tester.time_travel(self.start_time + 61)
self.contract.functions.applyDemurrage().transact()
- demurrage_modifier = self.contract.functions.demurrageModifier().call()
- demurrage_amount = self.contract.functions.toDemurrageAmount(demurrage_modifier).call()
- logg.debug('d {} {}'.format(demurrage_modifier.to_bytes(32, 'big').hex(), demurrage_amount))
+ #demurrage_modifier = self.contract.functions.demurrageModifier().call()
+ #demurrage_amount = self.contract.functions.toDemurrageAmount(demurrage_modifier).call()
+ demurrage_amount = self.contract.functions.demurrageAmount().call()
a = self.contract.functions.toBaseAmount(1000).call();
self.assertEqual(a, 1020)
diff --git a/python/tests/test_pure.py b/python/tests/test_pure.py
@@ -60,20 +60,21 @@ class Test(unittest.TestCase):
pass
+ @unittest.skip('this function has been removed from contract')
def test_tax_period(self):
t = self.contract.functions.taxLevel().call()
logg.debug('taxlevel {}'.format(t))
- a = self.contract.functions.toTaxPeriodAmount(1000000, 0).call()
+ a = self.contract.functions.toDemurrageAmount(1000000, 0).call()
self.assertEqual(a, 1000000)
- a = self.contract.functions.toTaxPeriodAmount(1000000, 1).call()
+ a = self.contract.functions.toDemurrageAmount(1000000, 1).call()
self.assertEqual(a, 980000)
- a = self.contract.functions.toTaxPeriodAmount(1000000, 2).call()
+ a = self.contract.functions.toDemurrageAmount(1000000, 2).call()
self.assertEqual(a, 960400)
- a = self.contract.functions.toTaxPeriodAmount(980000, 1).call()
+ a = self.contract.functions.toDemurrageAmount(980000, 1).call()
self.assertEqual(a, 960400)
diff --git a/python/tests/test_redistribution.py b/python/tests/test_redistribution.py
@@ -71,6 +71,9 @@ class Test(unittest.TestCase):
# TODO: check receipt log outputs
def test_redistribution_storage(self):
+ redistribution = self.contract.functions.redistributions(0).call();
+ self.assertEqual(redistribution.hex(), '000000000000000000000000f424000000000000000000000000000000000001')
+
self.contract.functions.mintTo(self.w3.eth.accounts[1], 1000000).transact()
self.contract.functions.mintTo(self.w3.eth.accounts[2], 1000000).transact()
diff --git a/solidity/Makefile b/solidity/Makefile
@@ -11,6 +11,6 @@ test: all
python ../python/tests/test_redistribution.py
install: all
- cp -v RedistributedDemurrageToken.{json,bin} ../python/eth_address_declarator/data/
+ cp -v RedistributedDemurrageToken.{json,bin} ../python/sarafu_token/data/
.PHONY: test install
diff --git a/solidity/RedistributedDemurrageToken.sol b/solidity/RedistributedDemurrageToken.sol
@@ -2,52 +2,118 @@ pragma solidity > 0.6.11;
// SPDX-License-Identifier: GPL-3.0-or-later
-// TODO: assign bitmask values to contants
contract RedistributedDemurrageToken {
+ // Redistribution bit field, with associated shifts and masks
+ // (Uses sub-byte boundaries)
+ bytes32[] public redistributions; // uint1(isFractional) | uint95(unused) | uint20(demurrageModifier) | uint36(participants) | uint72(value) | uint32(period)
+ uint8 constant shiftRedistributionPeriod = 0;
+ uint256 constant maskRedistributionPeriod = 0x00000000000000000000000000000000000000000000000000000000ffffffff; // (1 << 32) - 1
+ uint8 constant shiftRedistributionValue = 32;
+ uint256 constant maskRedistributionValue = 0x00000000000000000000000000000000000000ffffffffffffffffff00000000; // ((1 << 72) - 1) << 32
+ uint8 constant shiftRedistributionParticipants = 104;
+ uint256 constant maskRedistributionParticipants = 0x00000000000000000000000000000fffffffff00000000000000000000000000; // ((1 << 36) - 1) << 104
+ uint8 constant shiftRedistributionDemurrage = 140;
+ uint256 constant maskRedistributionDemurrage = 0x000000000000000000000000fffff00000000000000000000000000000000000; // ((1 << 20) - 1) << 140
+ uint8 constant shiftRedistributionIsFractional = 255;
+ uint256 constant maskRedistributionIsFractional = 0x8000000000000000000000000000000000000000000000000000000000000000; // 1 << 255
+
+ // Account bit field, with associated shifts and masks
+ // Mirrors structure of redistributions for consistency
+ mapping (address => bytes32) account; // uint152(unused) | uint32(period) | uint72(value)
+ uint8 constant shiftAccountValue = 0;
+ uint256 constant maskAccountValue = 0x0000000000000000000000000000000000000000000000ffffffffffffffffff; // (1 << 72) - 1
+ uint8 constant shiftAccountPeriod = 72;
+ uint256 constant maskAccountPeriod = 0x00000000000000000000000000000000000000ffffffff000000000000000000; // ((1 << 32) - 1) << 72
+
+ // Cached demurrage amount, ppm with 38 digit resolution
+ uint128 public demurrageAmount;
+
+ // Cached demurrage period; the period for which demurrageAmount was calculated
+ uint128 public demurragePeriod;
+
+ // Implements EIP172
address public owner;
+
+ // Implements ERC20
string public name;
+
+ // Implements ERC20
string public symbol;
+
+ // Implements ERC20
uint256 public decimals;
+
+ // Implements ERC20
uint256 public totalSupply;
+
+ // Minimum amount of (demurraged) tokens an account must spend to participate in redistribution for a particular period
uint256 public minimumParticipantSpend;
+
+ // 128 bit resolution of the demurrage divisor
+ // (this constant x 1000000 is contained within 128 bits)
uint256 constant ppmDivider = 100000000000000000000000000000000;
- uint256 public immutable periodStart; // timestamp
- uint256 public immutable periodDuration; // duration in SECONDS
- uint256 public immutable taxLevel; // PPM per MINUTE
- uint256 public demurrageModifier; // PPM uint128(block) | uint128(ppm)
+ // Timestamp of start of periods (time which contract constructor was called)
+ uint256 public immutable periodStart;
- //bytes32[] public redistributions; // uint1(isFractional) | uint1(unused) | uint38(participants) | uint160(value) | uint56(period)
- bytes32[] public redistributions; // uint1(isFractional) | uint95(unused) | uint20(demurrageModifier) | uint36(participants) | uint72(value) | uint32(period)
- //mapping (address => bytes32) account; // uint20(unused) | uint56(period) | uint160(value)
- mapping (address => bytes32) account; // uint152(unused) | uint32(period) | uint72(value)
+ // Duration of a single redistribution period in seconds
+ uint256 public immutable periodDuration;
+
+ // Demurrage in ppm per minute
+ uint256 public immutable taxLevel;
+
+ // Addresses allowed to mint new tokens
mapping (address => bool) minter;
+
+ // Storage for ERC20 approve/transferFrom methods
mapping (address => mapping (address => uint256 ) ) allowance; // holder -> spender -> amount (amount is subject to demurrage)
- address sinkAddress; // receives redistribuion remainders
+ // Address to send unallocated redistribution tokens
+ address sinkAddress;
+ // Implements ERC20
event Transfer(address indexed _from, address indexed _to, uint256 _value);
+
+ // Implements ERC20
event Approval(address indexed _owner, address indexed _spender, uint256 _value);
+
+ // New tokens minted
event Mint(address indexed _minter, address indexed _beneficiary, uint256 _value);
- event Debug(bytes32 _foo);
+
+ // New demurrage cache milestone calculated
event Decayed(uint256 indexed _period, uint256 indexed _periodCount, uint256 indexed _oldAmount, uint256 _newAmount);
+
+ // When a new period threshold has been crossed
+ event Period(uint256 _period);
+
+ // Redistribution applied on a single eligible account
event Redistribution(address indexed _account, uint256 indexed _period, uint256 _value);
+ // Temporary event used in development, will be removed on prod
+ event Debug(bytes32 _foo);
+
constructor(string memory _name, string memory _symbol, uint8 _decimals, uint256 _taxLevelMinute, uint256 _periodMinutes, address _defaultSinkAddress) public {
+ // ACL setup
owner = msg.sender;
minter[owner] = true;
- periodStart = block.timestamp;
- periodDuration = _periodMinutes * 60;
+
+ // ERC20 setup
name = _name;
symbol = _symbol;
decimals = _decimals;
- demurrageModifier = ppmDivider * 1000000; // Emulates 38 decimal places
- demurrageModifier |= (1 << 128);
- taxLevel = _taxLevelMinute; // 38 decimal places
- sinkAddress = _defaultSinkAddress;
+
+ // Demurrage setup
+ periodStart = block.timestamp;
+ periodDuration = _periodMinutes * 60;
+ demurrageAmount = uint128(ppmDivider * 1000000); // Represents 38 decimal places
+ demurragePeriod = 1;
+ taxLevel = _taxLevelMinute; // Represents 38 decimal places
bytes32 initialRedistribution = toRedistribution(0, 1000000, 0, 1);
redistributions.push(initialRedistribution);
+
+ // Misc settings
+ sinkAddress = _defaultSinkAddress;
minimumParticipantSpend = 10 ** uint256(_decimals);
}
@@ -58,29 +124,31 @@ contract RedistributedDemurrageToken {
return true;
}
- /// ERC20
+ // Given address will no longer be allowed to call the mintTo() function
+ function removeMinter(address _minter) public returns (bool) {
+ require(msg.sender == owner || _minter == msg.sender);
+ minter[_minter] = false;
+ return true;
+ }
+
+ /// Implements ERC20
function balanceOf(address _account) public view returns (uint256) {
uint256 baseBalance;
- uint256 anchorDemurrageAmount;
- uint256 anchorDemurragePeriod;
- uint256 currentDemurrageAmount;
+ uint256 currentDemurragedAmount;
uint256 periodCount;
- baseBalance = getBaseBalance(_account);
- anchorDemurrageAmount = toDemurrageAmount(demurrageModifier);
- anchorDemurragePeriod = toDemurragePeriod(demurrageModifier);
+ baseBalance = baseBalanceOf(_account);
- periodCount = actualPeriod() - toDemurragePeriod(demurrageModifier);
+ periodCount = actualPeriod() - demurragePeriod;
- currentDemurrageAmount = decayBy(anchorDemurrageAmount, periodCount);
+ currentDemurragedAmount = uint128(decayBy(demurrageAmount, periodCount));
- return (baseBalance * currentDemurrageAmount) / (ppmDivider * 1000000);
+ return (baseBalance * currentDemurragedAmount) / (ppmDivider * 1000000);
}
/// Balance unmodified by demurrage
- function getBaseBalance(address _account) private view returns (uint256) {
- //return uint256(account[_account]) & 0x00ffffffffffffffffffffffffffffffffffffffff;
- return uint256(account[_account]) & 0xffffffffffffffffff;
+ function baseBalanceOf(address _account) public view returns (uint256) {
+ return uint256(account[_account]) & maskAccountValue;
}
/// Increases base balance for a single account
@@ -89,20 +157,17 @@ contract RedistributedDemurrageToken {
uint256 newBalance;
uint256 workAccount;
- workAccount = uint256(account[_account]); // | (newBalance & 0xffffffffffffffffff);
+ workAccount = uint256(account[_account]);
if (_delta == 0) {
return false;
}
- oldBalance = getBaseBalance(_account);
+ oldBalance = baseBalanceOf(_account);
newBalance = oldBalance + _delta;
require(uint160(newBalance) > uint160(oldBalance), 'ERR_WOULDWRAP'); // revert if increase would result in a wrapped value
- //account[_account] &= bytes32(0xfffffffffffffffffffffff0000000000000000000000000000000000000000);
- //account[_account] = bytes32(uint256(account[_account]) & 0xfffffffffffffffffffffffffffffffffffffffffffff000000000000000000);
- workAccount &= 0xfffffffffffffffffffffffffffffffffffffffffffff000000000000000000;
- //account[_account] |= bytes32(newBalance & 0x00ffffffffffffffffffffffffffffffffffffffff);
- workAccount |= newBalance & 0xffffffffffffffffff;
+ workAccount &= (~maskAccountValue);
+ workAccount |= (newBalance & maskAccountValue);
account[_account] = bytes32(workAccount);
return true;
}
@@ -113,19 +178,17 @@ contract RedistributedDemurrageToken {
uint256 newBalance;
uint256 workAccount;
- workAccount = uint256(account[_account]); // | (newBalance & 0xffffffffffffffffff);
+ workAccount = uint256(account[_account]);
if (_delta == 0) {
return false;
}
- oldBalance = getBaseBalance(_account);
+ oldBalance = baseBalanceOf(_account);
require(oldBalance >= _delta, 'ERR_OVERSPEND'); // overspend guard
newBalance = oldBalance - _delta;
- //account[_account] &= bytes32(0xffffffffffffffffffffffff0000000000000000000000000000000000000000);
- workAccount &= 0xfffffffffffffffffffffffffffffffffffffffffffff000000000000000000;
- //account[_account] |= bytes32(newBalance & 0x00ffffffffffffffffffffffffffffffffffffffff);
- workAccount |= newBalance & 0xffffffffffffffffff;
+ workAccount &= (~maskAccountValue);
+ workAccount |= (newBalance & maskAccountValue);
account[_account] = bytes32(workAccount);
return true;
}
@@ -151,31 +214,31 @@ contract RedistributedDemurrageToken {
function toRedistribution(uint256 _participants, uint256 _demurrageModifierPpm, uint256 _value, uint256 _period) private pure returns(bytes32) {
bytes32 redistribution;
- redistribution |= bytes32((_demurrageModifierPpm & 0x0fffff) << 140);
- redistribution |= bytes32((_participants & 0x0fffffffff) << 104);
- redistribution |= bytes32((_value & 0xffffffffffffffffff) << 32);
- redistribution |= bytes32(_period & 0xffffffff);
+ redistribution |= bytes32((_demurrageModifierPpm << shiftRedistributionDemurrage) & maskRedistributionDemurrage);
+ redistribution |= bytes32((_participants << shiftRedistributionParticipants) & maskRedistributionParticipants);
+ redistribution |= bytes32((_value << shiftRedistributionValue) & maskRedistributionValue);
+ redistribution |= bytes32(_period & maskRedistributionPeriod);
return redistribution;
}
// Serializes the demurrage period part of the redistribution word
function toRedistributionPeriod(bytes32 redistribution) public pure returns (uint256) {
- return uint256(redistribution) & 0xffffffff;
+ return uint256(redistribution) & maskRedistributionPeriod;
}
// Serializes the supply part of the redistribution word
function toRedistributionSupply(bytes32 redistribution) public pure returns (uint256) {
- return uint256(redistribution & 0x00000000000000000000000000000000000000ffffffffffffffffff00000000) >> 32;
+ return (uint256(redistribution) & maskRedistributionValue) >> shiftRedistributionValue;
}
// Serializes the number of participants part of the redistribution word
function toRedistributionParticipants(bytes32 redistribution) public pure returns (uint256) {
- return uint256(redistribution & 0x00000000000000000000000000000fffffffff00000000000000000000000000) >> 104;
+ return (uint256(redistribution) & maskRedistributionParticipants) >> shiftRedistributionParticipants;
}
// Serializes the number of participants part of the redistribution word
function toRedistributionDemurrageModifier(bytes32 redistribution) public pure returns (uint256) {
- return uint256(redistribution & 0x000000000000000000000000fffff00000000000000000000000000000000000) >> 140;
+ return (uint256(redistribution) & maskRedistributionDemurrage) >> shiftRedistributionDemurrage;
}
// Client accessor to the redistributions array length
@@ -192,8 +255,8 @@ contract RedistributedDemurrageToken {
currentRedistribution = redistributions[redistributions.length-1];
participants = toRedistributionParticipants(currentRedistribution) + 1;
tmpRedistribution = uint256(currentRedistribution);
- tmpRedistribution &= 0xfffffffffffffffffffffffffffff000000000ffffffffffffffffffffffffff;
- tmpRedistribution |= (participants & 0x0fffffffff) << 104;
+ tmpRedistribution &= (~maskRedistributionParticipants);
+ tmpRedistribution |= ((participants << shiftRedistributionParticipants) & maskRedistributionParticipants);
redistributions[redistributions.length-1] = bytes32(tmpRedistribution);
@@ -205,16 +268,16 @@ contract RedistributedDemurrageToken {
uint256 currentRedistribution;
currentRedistribution = uint256(redistributions[redistributions.length-1]);
- currentRedistribution &= 0xffffffffffffffffffffffffffffffffffffff000000000000000000ffffffff;
- currentRedistribution |= totalSupply << 32;
+ currentRedistribution &= (~maskRedistributionValue);
+ currentRedistribution |= (totalSupply << shiftRedistributionValue);
redistributions[redistributions.length-1] = bytes32(currentRedistribution);
return true;
}
// Get the demurrage period of the current block number
- function actualPeriod() public view returns (uint256) {
- return (block.timestamp - periodStart) / periodDuration + 1;
+ function actualPeriod() public view returns (uint128) {
+ return uint128((block.timestamp - periodStart) / periodDuration + 1);
}
// Add an entered demurrage period to the redistribution array
@@ -232,15 +295,13 @@ contract RedistributedDemurrageToken {
// Deserialize the pemurrage period for the given account is participating in
function accountPeriod(address _account) public view returns (uint256) {
- //return (uint256(account[_account]) & 0xffffffffffffffffffffffff0000000000000000000000000000000000000000) >> 160;
- return (uint256(account[_account]) & 0x00000000000000000000000000000000000000ffffffff000000000000000000) >> 72;
+ return (uint256(account[_account]) & maskAccountPeriod) >> shiftAccountPeriod;
}
// Save the given demurrage period as the currently participation period for the given address
function registerAccountPeriod(address _account, uint256 _period) private returns (bool) {
- //account[_account] &= 0x000000000000000000000000ffffffffffffffffffffffffffffffffffffffff;
- account[_account] &= 0xffffffffffffffffffffffffffffffffffffff00000000ffffffffffffffffff;
- account[_account] |= bytes32(_period << 72);
+ account[_account] &= bytes32(~maskAccountPeriod);
+ account[_account] |= bytes32((_period << shiftAccountPeriod) & maskAccountPeriod);
incrementRedistributionParticipants();
return true;
}
@@ -277,11 +338,11 @@ contract RedistributedDemurrageToken {
if (truncatedResult < redistributionSupply) {
redistributionPeriod = toRedistributionPeriod(_redistribution); // since we reuse period here, can possibly be optimized by passing period instead
- redistributions[redistributionPeriod-1] &= 0xfffffffffffffffffffffffffffff000000000ffffffffffffffffffffffffff; // just to be safe, zero out all participant count data, in this case there will be only one
- redistributions[redistributionPeriod-1] |= 0x8000000000000000000000000000000000000100000000000000000000000000;
+ redistributions[redistributionPeriod-1] &= bytes32(~maskRedistributionParticipants); // just to be safe, zero out all participant count data, in this case there will be only one
+ redistributions[redistributionPeriod-1] |= bytes32(maskRedistributionIsFractional | (1 << shiftRedistributionParticipants));
}
- increaseBaseBalance(sinkAddress, unit / ppmDivider); //truncatedResult);
+ increaseBaseBalance(sinkAddress, unit / ppmDivider);
return unit;
}
@@ -294,8 +355,8 @@ contract RedistributedDemurrageToken {
return false;
}
- // is this needed?
- redistributions[_period-1] |= 0x8000000000000000000000000000000000000000000000000000000000000000;
+ // TODO: is this needed?
+ redistributions[_period-1] |= bytes32(maskRedistributionIsFractional);
periodSupply = toRedistributionSupply(redistributions[_period-1]);
increaseBaseBalance(sinkAddress, periodSupply - _remainder);
@@ -303,32 +364,22 @@ contract RedistributedDemurrageToken {
}
- function toDemurrageAmount(uint256 _demurrage) public pure returns (uint256) {
- return _demurrage & 0x00000000000000000000000000000000ffffffffffffffffffffffffffffffff;
- }
-
- function toDemurragePeriod(uint256 _demurrage) public pure returns (uint256) {
- return (_demurrage & 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000) >> 128;
- }
-
+ // Calculate and cache the demurrage value corresponding to the (period of the) time of the method call
function applyDemurrage() public returns (bool) {
- uint256 epochPeriodCount;
- uint256 periodCount;
+ uint128 epochPeriodCount;
+ uint128 periodCount;
uint256 lastDemurrageAmount;
uint256 newDemurrageAmount;
epochPeriodCount = actualPeriod();
- //epochPeriodCount = (block.timestamp - periodStart) / periodDuration; // toDemurrageTime(demurrageModifier);
- periodCount = epochPeriodCount - toDemurragePeriod(demurrageModifier);
+ periodCount = epochPeriodCount - demurragePeriod;
if (periodCount == 0) {
return false;
}
- lastDemurrageAmount = toDemurrageAmount(demurrageModifier);
- newDemurrageAmount = decayBy(lastDemurrageAmount, periodCount);
- demurrageModifier = 0;
- demurrageModifier |= (newDemurrageAmount & 0x00000000000000000000000000000000ffffffffffffffffffffffffffffffff);
- demurrageModifier |= (epochPeriodCount << 128);
- emit Decayed(epochPeriodCount, periodCount, lastDemurrageAmount, newDemurrageAmount);
+ lastDemurrageAmount = demurrageAmount;
+ demurrageAmount = uint128(decayBy(lastDemurrageAmount, periodCount));
+ demurragePeriod = epochPeriodCount;
+ emit Decayed(epochPeriodCount, periodCount, lastDemurrageAmount, demurrageAmount);
return true;
}
@@ -344,7 +395,6 @@ contract RedistributedDemurrageToken {
// Recalculate the demurrage modifier for the new period
// After this, all REPORTED balances will have been reduced by the corresponding ratio (but the effecive totalsupply stays the same)
- //function applyTax() public returns (uint256) {
function changePeriod() public returns (bool) {
bytes32 currentRedistribution;
bytes32 nextRedistribution;
@@ -355,6 +405,7 @@ contract RedistributedDemurrageToken {
uint256 nextRedistributionDemurrage;
uint256 demurrageCounts;
uint256 periodTimestamp;
+ uint256 nextPeriod;
currentRedistribution = checkPeriod();
if (currentRedistribution == bytes32(0x00)) {
@@ -362,10 +413,11 @@ contract RedistributedDemurrageToken {
}
currentPeriod = toRedistributionPeriod(currentRedistribution);
+ nextPeriod = currentPeriod + 1;
periodTimestamp = getPeriodTimeDelta(currentPeriod);
applyDemurrage();
- currentDemurrageAmount = toDemurrageAmount(demurrageModifier);
+ currentDemurrageAmount = demurrageAmount;
demurrageCounts = demurrageCycles(periodTimestamp);
if (demurrageCounts > 0) {
@@ -374,8 +426,7 @@ contract RedistributedDemurrageToken {
nextRedistributionDemurrage = currentDemurrageAmount / ppmDivider;
}
- nextRedistribution = toRedistribution(0, nextRedistributionDemurrage, totalSupply, currentPeriod + 1);
- emit Debug(bytes32(currentDemurrageAmount));
+ nextRedistribution = toRedistribution(0, nextRedistributionDemurrage, totalSupply, nextPeriod);
redistributions.push(nextRedistribution);
currentParticipants = toRedistributionParticipants(currentRedistribution);
@@ -385,14 +436,15 @@ contract RedistributedDemurrageToken {
currentRemainder = remainder(currentParticipants, totalSupply); // we can use totalSupply directly because it will always be the same as the recorded supply on the current redistribution
applyRemainderOnPeriod(currentRemainder, currentPeriod);
}
+ emit Period(nextPeriod);
return true;
}
+ // Reverse a value reduced by demurrage by the given period to its original value
function growBy(uint256 _value, uint256 _period) public view returns (uint256) {
uint256 valueFactor;
uint256 truncatedTaxLevel;
- // TODO: if can't get to work, reverse the iteration from current period.
valueFactor = 1000000;
truncatedTaxLevel = taxLevel / ppmDivider;
@@ -403,12 +455,11 @@ contract RedistributedDemurrageToken {
}
// Calculate a value reduced by demurrage by the given period
- // TODO: higher precision
+ // TODO: higher precision if possible
function decayBy(uint256 _value, uint256 _period) public view returns (uint256) {
uint256 valueFactor;
uint256 truncatedTaxLevel;
- // TODO: if can't get to work, reverse the iteration from current period.
valueFactor = 1000000;
truncatedTaxLevel = taxLevel / ppmDivider;
@@ -427,6 +478,7 @@ contract RedistributedDemurrageToken {
uint256 baseValue;
uint256 value;
uint256 period;
+ uint256 demurrage;
period = accountPeriod(_account);
if (period == 0 || period >= actualPeriod()) {
@@ -439,11 +491,12 @@ contract RedistributedDemurrageToken {
}
supply = toRedistributionSupply(periodRedistribution);
+ demurrage = toRedistributionDemurrageModifier(periodRedistribution);
baseValue = ((supply / participants) * (taxLevel / 1000000)) / ppmDivider;
- value = decayBy(baseValue, period - 1);
+ value = (baseValue * demurrage) / 1000000;
- //account[_account] &= bytes32(0x000000000000000000000000ffffffffffffffffffffffffffffffffffffffff);
- account[_account] &= bytes32(0xffffffffffffffffffffffffffffffffffffff00000000ffffffffffffffffff);
+ // zero out period for the account
+ account[_account] &= bytes32(~maskAccountPeriod);
increaseBaseBalance(_account, value);
emit Redistribution(_account, period, value);
@@ -452,7 +505,8 @@ contract RedistributedDemurrageToken {
// Inflates the given amount according to the current demurrage modifier
function toBaseAmount(uint256 _value) public view returns (uint256) {
- return (_value * ppmDivider * 1000000) / toDemurrageAmount(demurrageModifier);
+ //return (_value * ppmDivider * 1000000) / toDemurrageAmount(demurrageModifier);
+ return (_value * ppmDivider * 1000000) / demurrageAmount;
}
// ERC20, triggers tax and/or redistribution
@@ -476,10 +530,9 @@ contract RedistributedDemurrageToken {
changePeriod();
applyRedistributionOnAccount(msg.sender);
- // TODO: Prefer to truncate the result, instead it seems to round to nearest :/
baseValue = toBaseAmount(_value);
result = transferBase(msg.sender, _to, baseValue);
-
+ emit Transfer(msg.sender, _to, _value);
return result;
}
@@ -496,6 +549,7 @@ contract RedistributedDemurrageToken {
require(allowance[_from][msg.sender] >= baseValue);
result = transferBase(_from, _to, baseValue);
+ emit Transfer(_from, _to, _value);
return result;
}
