-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
(feat) Deploy contracts to BSC testnet and to Zilliqa testnet (WIP)
- Loading branch information
1 parent
f0b3f08
commit f8fc0ce
Showing
29 changed files
with
12,321 additions
and
21 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,17 @@ | ||
| node_modules | ||
| .env | ||
|
|
||
| # Hardhat files | ||
| /cache | ||
| /artifacts | ||
|
|
||
| # TypeChain files | ||
| /typechain | ||
| /typechain-types | ||
|
|
||
| # solidity-coverage files | ||
| /coverage | ||
| /coverage.json | ||
|
|
||
| # Hardhat Ignition default folder for deployments against a local node | ||
| ignition/deployments/chain-31337 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,13 @@ | ||
| # Sample Hardhat Project | ||
|
|
||
| This project demonstrates a basic Hardhat use case. It comes with a sample contract, a test for that contract, and a Hardhat Ignition module that deploys that contract. | ||
|
|
||
| Try running some of the following tasks: | ||
|
|
||
| ```shell | ||
| npx hardhat help | ||
| npx hardhat test | ||
| REPORT_GAS=true npx hardhat test | ||
| npx hardhat node | ||
| npx hardhat ignition deploy ./ignition/modules/Lock.ts | ||
| ``` |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,195 @@ | ||
| scilla_version 0 | ||
|
|
||
| (***************************************************) | ||
| (* Associated library *) | ||
| (***************************************************) | ||
| import IntUtils | ||
| library FungibleToken | ||
|
|
||
| let one_msg = | ||
| fun (msg : Message) => | ||
| let nil_msg = Nil {Message} in | ||
| Cons {Message} msg nil_msg | ||
|
|
||
| let two_msgs = | ||
| fun (msg1 : Message) => | ||
| fun (msg2 : Message) => | ||
| let msgs_tmp = one_msg msg2 in | ||
| Cons {Message} msg1 msgs_tmp | ||
|
|
||
| (* Error events *) | ||
| type Error = | ||
| | CodeIsSender | ||
| | CodeInsufficientFunds | ||
| | CodeInsufficientAllowance | ||
|
|
||
| let make_error = | ||
| fun (result : Error) => | ||
| let result_code = | ||
| match result with | ||
| | CodeIsSender => Int32 -1 | ||
| | CodeInsufficientFunds => Int32 -2 | ||
| | CodeInsufficientAllowance => Int32 -3 | ||
| end | ||
| in | ||
| { _exception : "Error"; code : result_code } | ||
|
|
||
| let zero = Uint128 0 | ||
|
|
||
| (* Dummy user-defined ADT *) | ||
| type Unit = | ||
| | Unit | ||
|
|
||
| let get_val = | ||
| fun (some_val: Option Uint128) => | ||
| match some_val with | ||
| | Some val => val | ||
| | None => zero | ||
| end | ||
|
|
||
| (***************************************************) | ||
| (* The contract definition *) | ||
| (***************************************************) | ||
|
|
||
| contract FungibleToken | ||
| ( | ||
| contract_owner: ByStr20, | ||
| name : String, | ||
| symbol: String, | ||
| decimals: Uint32, | ||
| init_supply : Uint128 | ||
| ) | ||
|
|
||
| (* Mutable fields *) | ||
|
|
||
| field total_supply : Uint128 = init_supply | ||
|
|
||
| field balances: Map ByStr20 Uint128 | ||
| = let emp_map = Emp ByStr20 Uint128 in | ||
| builtin put emp_map contract_owner init_supply | ||
|
|
||
| field allowances: Map ByStr20 (Map ByStr20 Uint128) | ||
| = Emp ByStr20 (Map ByStr20 Uint128) | ||
|
|
||
| (**************************************) | ||
| (* Procedures *) | ||
| (**************************************) | ||
|
|
||
| procedure ThrowError(err : Error) | ||
| e = make_error err; | ||
| throw e | ||
| end | ||
|
|
||
| procedure IsNotSender(address: ByStr20) | ||
| is_sender = builtin eq _sender address; | ||
| match is_sender with | ||
| | True => | ||
| err = CodeIsSender; | ||
| ThrowError err | ||
| | False => | ||
| end | ||
| end | ||
|
|
||
| procedure AuthorizedMoveIfSufficientBalance(from: ByStr20, to: ByStr20, amount: Uint128) | ||
| o_from_bal <- balances[from]; | ||
| bal = get_val o_from_bal; | ||
| can_do = uint128_le amount bal; | ||
| match can_do with | ||
| | True => | ||
| (* Subtract amount from from and add it to to address *) | ||
| new_from_bal = builtin sub bal amount; | ||
| balances[from] := new_from_bal; | ||
| (* Adds amount to to address *) | ||
| get_to_bal <- balances[to]; | ||
| new_to_bal = match get_to_bal with | ||
| | Some bal => builtin add bal amount | ||
| | None => amount | ||
| end; | ||
| balances[to] := new_to_bal | ||
| | False => | ||
| (* Balance not sufficient *) | ||
| err = CodeInsufficientFunds; | ||
| ThrowError err | ||
| end | ||
| end | ||
|
|
||
| (***************************************) | ||
| (* Transitions *) | ||
| (***************************************) | ||
|
|
||
| (* @dev: Increase the allowance of an approved_spender over the caller tokens. Only token_owner allowed to invoke. *) | ||
| (* param spender: Address of the designated approved_spender. *) | ||
| (* param amount: Number of tokens to be increased as allowance for the approved_spender. *) | ||
| transition IncreaseAllowance(spender: ByStr20, amount: Uint128) | ||
| IsNotSender spender; | ||
| some_current_allowance <- allowances[_sender][spender]; | ||
| current_allowance = get_val some_current_allowance; | ||
| new_allowance = builtin add current_allowance amount; | ||
| allowances[_sender][spender] := new_allowance; | ||
| e = {_eventname : "IncreasedAllowance"; token_owner : _sender; spender: spender; new_allowance : new_allowance}; | ||
| event e | ||
| end | ||
|
|
||
| (* @dev: Decrease the allowance of an approved_spender over the caller tokens. Only token_owner allowed to invoke. *) | ||
| (* param spender: Address of the designated approved_spender. *) | ||
| (* param amount: Number of tokens to be decreased as allowance for the approved_spender. *) | ||
| transition DecreaseAllowance(spender: ByStr20, amount: Uint128) | ||
| IsNotSender spender; | ||
| some_current_allowance <- allowances[_sender][spender]; | ||
| current_allowance = get_val some_current_allowance; | ||
| new_allowance = | ||
| let amount_le_allowance = uint128_le amount current_allowance in | ||
| match amount_le_allowance with | ||
| | True => builtin sub current_allowance amount | ||
| | False => zero | ||
| end; | ||
| allowances[_sender][spender] := new_allowance; | ||
| e = {_eventname : "DecreasedAllowance"; token_owner : _sender; spender: spender; new_allowance : new_allowance}; | ||
| event e | ||
| end | ||
|
|
||
| (* @dev: Moves an amount tokens from _sender to the recipient. Used by token_owner. *) | ||
| (* @dev: Balance of recipient will increase. Balance of _sender will decrease. *) | ||
| (* @param to: Address of the recipient whose balance is increased. *) | ||
| (* @param amount: Amount of tokens to be sent. *) | ||
| transition Transfer(to: ByStr20, amount: Uint128) | ||
| AuthorizedMoveIfSufficientBalance _sender to amount; | ||
| e = {_eventname : "TransferSuccess"; sender : _sender; recipient : to; amount : amount}; | ||
| event e; | ||
| (* Prevent sending to a contract address that does not support transfers of token *) | ||
| msg_to_recipient = {_tag : "RecipientAcceptTransfer"; _recipient : to; _amount : zero; | ||
| sender : _sender; recipient : to; amount : amount}; | ||
| msg_to_sender = {_tag : "TransferSuccessCallBack"; _recipient : _sender; _amount : zero; | ||
| sender : _sender; recipient : to; amount : amount}; | ||
| msgs = two_msgs msg_to_recipient msg_to_sender; | ||
| send msgs | ||
| end | ||
|
|
||
| (* @dev: Move a given amount of tokens from one address to another using the allowance mechanism. The caller must be an approved_spender. *) | ||
| (* @dev: Balance of recipient will increase. Balance of token_owner will decrease. *) | ||
| (* @param from: Address of the token_owner whose balance is decreased. *) | ||
| (* @param to: Address of the recipient whose balance is increased. *) | ||
| (* @param amount: Amount of tokens to be transferred. *) | ||
| transition TransferFrom(from: ByStr20, to: ByStr20, amount: Uint128) | ||
| o_spender_allowed <- allowances[from][_sender]; | ||
| allowed = get_val o_spender_allowed; | ||
| can_do = uint128_le amount allowed; | ||
| match can_do with | ||
| | True => | ||
| AuthorizedMoveIfSufficientBalance from to amount; | ||
| e = {_eventname : "TransferFromSuccess"; initiator : _sender; sender : from; recipient : to; amount : amount}; | ||
| event e; | ||
| new_allowed = builtin sub allowed amount; | ||
| allowances[from][_sender] := new_allowed; | ||
| (* Prevent sending to a contract address that does not support transfers of token *) | ||
| msg_to_recipient = {_tag: "RecipientAcceptTransferFrom"; _recipient : to; _amount: zero; | ||
| initiator: _sender; sender : from; recipient: to; amount: amount}; | ||
| msg_to_sender = {_tag: "TransferFromSuccessCallBack"; _recipient: _sender; _amount: zero; | ||
| initiator: _sender; sender: from; recipient: to; amount: amount}; | ||
| msgs = two_msgs msg_to_recipient msg_to_sender; | ||
| send msgs | ||
| | False => | ||
| err = CodeInsufficientAllowance; | ||
| ThrowError err | ||
| end | ||
| end |
Oops, something went wrong.