Ejecución de un contrato en Solidity

Clase 26 de 37 • Curso de Bitcoin y Blockchain 2017

Resumen

**Las funciones de transferencia son dos: **

Transfer es interna
Transfer es pública

Vamos a recibir los datos de quién envía, quién recibe y el valor.

La función require permite verificar condicionales, y es importante para esta fase del proceso de creación de contratos. Así evitas por ejemplo, que se envíe más de lo que se tiene. Recuerda que al hacer deploy sobre un contrato ya no se puede cambiar.
Require lo debes utilizar para validar datos de entrada, y assert se utiliza para validar lo que ya tienes dentro de la función.

Juan Antonio Sopale

student•

Un apunte:
Para el constructor es más correcto poner la palabra reservada constructor ya que actualmente, functon NombreDelContrato (…) está deprecado.

constructor (uint256 initialSupply, string tokenName, string tokenSymbol) public { //Constructor
    
        totalSupply = initialSupply * 10 ** uint256(decimals);
        name = tokenName;
        symbol = tokenSymbol;
        balanceOf[msg.sender] = totalSupply; //se asigna todos los tokens al creador del contrato
        /* msg es una variable que se crea automáticamente en cada transacción de ethereum; msg.sender indica quién está enviando la transacción */
    }

Juan Antonio Sopale

student•

Y en la llamada al evento hay que indicarlo ahora con el prefijo emit (hacerlo sin prefijo también está deprecado):

emit Transfer(_from, _to, _value);

José Guillermo

student•

Validaciones:
¿Cuándo usar assert y cuando usar require?

Require: Se utiliza para validar datos que vivan dentro de ‘scope’ del usuario, es decir, aquellos datos que ingresa el usuario y que durante el código es cuando existen.
Assert: Se usa para validar datos y verificar estados que ya se encuentren escritos en la base de datos (blockchain).

Mauricio Nicolás Arismendi Aedo

student•

Entonces require es pre-aprobación de la transferencia por la blockchain, y assert es post-aprobación de la transferencia por la blockchain 😮

OSCAR MARIO PEREZ RUIZ

student•

Gracias !!!! 👍

Alejandro Marroquin Cruz

student•

Hay ligeros cambios con las nuevas versiones de solidity, aquí les comparto el código funcionando en la versión 0.6.6 :)

pragma solidity ^0.6.6;

contract TokenERC20{
    string public name;
    string public symbol;
    uint8 public decimals=18;
    uint256 public totalSupply;
    mapping (address=>uint256)public balanceOf;
    
    event Transfer(address from, address to, uint256 value);
    
    constructor(uint256 initialSupply, string memory tokenName, string memory tokenSymbol) public{
        totalSupply=initialSupply*10**uint256(decimals);
        name=tokenName;
        symbol=tokenSymbol;
        balanceOf[msg.sender]=totalSupply;
    }
    
    function _transfer(address _from, address _to, uint _value) internal{
        require(balanceOf[_from]>=_value);
        require(balanceOf[_to]+_value>balanceOf[_to]);
        uint previousBalance = balanceOf[_from]+balanceOf[_to];
        balanceOf[_from]-=_value;
        balanceOf[_to]+=_value;
        emit Transfer(_from, _to, _value);
        assert(balanceOf[_from]+balanceOf[_to]==previousBalance);
    }
    
    function transfer(address _to,uint256 _value) public{
        _transfer(msg.sender,_to,_value);
    }
}

interface TokenERC20Interface{
    
}

contract BasicContract{
    
}

Andres Leonardo Arevalo

student•

Por esa transferencia de tokens no cobran algún tipo de comisión?

Diego Forero

Team Platzi•

Si, es lo que se define como GAS en la red de Ethereum, al igual que en bitcoin entre más fee o comisión pagues más rápido va a ser validada tu transacción, aunque la Ethereum si es más rápida que Bitcoin.

Julio J Yépez

student•

Para poder ejecutar el contrato del ejercicio en remix, es necesario asegurarse que el nombre del script sea “TokenERC20.sol” … e indicar el Gas Price en los settings, puede ser 100 000.

Jonathan Macalupu Reyes

student•

¿Donde puedo configurar el Gas Price?, veo que sólo existe Gas limit. @jjyepez puedes ayudarme.

Gracias!

Julio J Yépez

student•

Hey Jonathan!
En el video 23 (min 03:00 seg) Yohan explica los detalles sobre el Gas Price Limit y el Gas Price …

Pero te dejo acá mi conclusión.

Revisando esta respuesta he caído en cuenta de que tenía una confusión.

Lo que tú defines en tu contrato en solidity es el Gas Price Limit, es decir … la cantidad de Gas (o costo máximo de código) que va a permitirse usar tu contrato y sus recursos asociados … Y lo que se refiere a la comisión es … en la medida en que tu uses menos Gas (código y potencia de procesamiento) … para resolver las transacciones de tu contrato, pues menos comisión le tocará al minero que las procese. Así pues, un minero estará en la opción de definir, cuáles transacciones está interesado en minar, en base a su Gas Price Limit definido … y tomar aquellas transacciones con Gas Price Limit mayor para obtener una mayor comisión.

En definitiva, tu fijas el Gas Price Limit de tu contrato, pero no defines el Gas Price usado realmente … eso lo determina la cantidad de líneas de código y requerimientos de procesamiento funcional de tu contrato.

La IDE Remix tiene una pestaña de Analisis que te permite estimar cuánta cantidad de Gas (Gas price) usará el procesamiento de tu contrato … y te alerta cuando esté cerca de superar el Gas Price Limit.

Aclarado el punto 🤓🤘

Everardo Sánchez

student•

Tengo tres preguntas.

Dentro de la función interna de _transfer, ¿en qué casos el resultado de sumar el balanceOf[_to] + _value sería menor que el valor de balanceOf[_to] si se están usando enteros sin signo?

Cuando explica la parte del assert contra previousBalances, Yohan comenta que sirve para asegurarnos que la cantidad que se envía no altera significativamente el estado de la aplicación.
¿A qué se refiere con eso y qué podría causar que se corrompiera?

Diego Forero

Team Platzi•

Para tu primera pregunta, si _value es 0 entonces balanceOf[_to] + _value no va a ser mayor que balanceOf[_to] esto es mas para garantizar que no se realiza una transferencia vacía o con _value 0.

En tu segunda pregunta son validaciones para que el contrato no haga cosas inesperadas, si es una transferencia lo lógico es que el valor que tiene la persona que envía mas el valor que la persona que recibe debe siempre estar en equilibrio, si no es así algo esta mal en la lógica y puedes estar por ejemplo transfiriendo mas de lo que estas definiendo o recibiendo menos de lo que se espera, por esto es importante siempre hacer este tipo de validaciones.

Juan Carlos Gonzalez Ruiz

student•

Tengo una inquietud, será que se puede vaciar el acumulado de la cuenta que recibe, de la misma manera en que se puede sumar el valor? Es decir, ya que…
balanceOf[_to] += _value; entonces es posible que…
balanceOf[_to] = 0; // vaciar cuenta

Jorge Szwako

student•

Creeria que es posible definirlo en el constructor. Pero seria una mala implementación. y en la primera transferencia se realizaria eso y luego el contrato quedaria con balance cero.

Pero son errores que puede cometer el creador del contrato. un tercero no podria hacerlo.

Fernando Mejia

student•

Cada una de las lineas extras que pusiste como validaciones que están en el contrato, nos las cobran cierto?

Juan Diego Forero Granados

student•

Cuando hace las transferencias en donde se ve el valor del gas utilizado? o por que no se ve el cobro del gas en ninguna parte?

Korpi delfin

student•

El gas de un smartcontract va para los mineros de la cadena.

Jonathan Macalupu Reyes

student•

Tengo unos problemas al ejecutar en remix:

mi código:

pragma solidity ^0.4.16;

contract TokenERC20 {
  string public name;
  string public symbol;
  uint8 public decimals = 18;
  uint256 public totalSupply;
  mapping (address => uint256) public balanceOf;


  event Transfer(address from, address to, uint256 value);

  function TokenERC20(uint256 initialSupply, string tokenName, string tokenSymbol) public  {
  totalSupply = initialSupply * 10 ** uint256(decimals);
  name = tokenName;
  symbol = tokenSymbol;
  balanceOf[msg.sender] = totalSupply;
  }

  function _transfer(address _from, address _to, uint _value) internal {
    require(balanceOf[_from] >= _value);
    require(balanceOf[_to] + _value > balanceOf[_to]);
    uint previousBalances = balanceOf[_from] + balanceOf[_to];
    balanceOf[_from] -= _value;
    balanceOf[_to] += _value;
    Transfer(_from, _to, _value);
    assert(balanceOf[_from] + balanceOf[_to] == previousBalances);
  }

  function  transfer(address _to, uint256 _value) public {
    _transfer(msg.sender, _to, _value);
  }
}

interface TokenERC20Interface {

}

contract BasicContract {

}

y obtengo esto:

transact to TokenERC20.transfer errored: VM error: revert.
revert The transaction has been reverted to the initial state.
Note: The constructor should be payable if you send value. Debug the transaction to get more information.

Álvaro René Sánchez Serrano

student•

¿Que pasa si sin querer presionas f5 , tu código se borra?

Diego Forero

Team Platzi•

Debe tener algún sistema de auto guardado, no creo que se pierda, la verdad no lo he probado pero debe tener auto guardado.

Dante Calderón

student•

Codigo con nuevos cambios:

// SPDX-License-Identifier: GPL-3.0

pragma solidity >=0.7.0 <0.8.0;

contract TokenERC20 {
    string public name;
    string public symbol;
    uint8 public decimals = 18;
    
    uint256 public totalSupply;
    mapping (address => uint256) public balances;
    
    event Transfer(address _from, address _to,  uint256 _value);
    
    constructor(uint256 _initialSupply, string memory _tokenName, string memory _tokenSymbol) {
        totalSupply = _initialSupply * 10 ** uint256(decimals);
        name = _tokenName;
        symbol = _tokenSymbol;
        
        balances[msg.sender]  = totalSupply;
    }
    
    
    function balanceOf(address token) public view returns (uint) {
        return balances[token];
    }
    
    function _transfer(address _from, address _to, uint _value) internal {
        require(balanceOf(_from) >= _value);
        require(balanceOf(_to) + _value > balanceOf(_to));
        
        uint previousBalances = balanceOf(_from) + balanceOf(_to);
    
        balances[_from] -= _value;
        balances[_to] += _value;
        
        // Notify
        emit Transfer(_from, _to, _value);
        
        assert(balanceOf(_from) + balanceOf(_to) == previousBalances);
    }
    
    
    function transfer(address _to, uint256 _value) public {
        _transfer(msg.sender, _to, _value);
    }
}

IA Interactive

student•

Cuando sale PlatziCoin?

Zalo Testa

student•

Aquí hay algo importante: Cuando utilizar require y cuando utilizar assert.