Vettore di attacco di rientranza su contratti intelligenti tezos?

Question

Vettore di attacco di rientranza su contratti intelligenti tezos?

- 11
- 136 2019-01-31
Ho sentito che Michelson aiuta aevitarebug di rientranza.Perché?C'è qualche caratteristicanella lingua che loimpedisce?

I heard that Michelson helps with avoiding re-entrancy bug. Why is that? Is there some feature in the language that prevent it?

security smart-contracts verification
- fonte
- Ezy

2 risposta

voti

- 0
- 2019-02-03
Per chiamare un altro contrattointelligente,chiama TRANSFER_TOKENS.

La semantica della valutazione del contratto è stata adattata (attorno ad alphanet,non sonoesattamente sicuro di quando ciò sia accaduto)in modo chetutte letransazioni/operazioni come TRANSFER_TOKENS siano realmenteeseguite dopo la restituzione della valutazione del contratto.

Ciòimplica cheil contrattonon è soggetto a rientroimmediato.

To call another smart contract, you call TRANSFER_TOKENS.

The semantics of contract evaluation has been adapted (around alphanet, I'm not exactly sure when this happened) so that all transactions/operations such as TRANSFER_TOKENS are really executed after the contract evaluation returns.

This implies that the contract is not subject to immediate reentrancy.
- fonte
- FFF

lefessan · Accepted Answer · 2019-01-31

16

2019-01-31

Michelson (e un linguaggio di livello superiore come Liquidity sopra diesso)non consente a un contrattointelligente di chiamare un altro contrattointelligente senzaprima confermareil suo stato/archiviazione.Rendemenoprobabiligli attacchi di rientro,manonimpossibile.

Sarebbepossibileestendere latua risposta o almenofare riferimento a un'altrafonte chepotrebbe spiegare un casoin cui questo *potrebbe * accadere?

Would it be possible to extend your answer or at least refer to another source that could explain a case where this *could* happen?
- 0
- 2019-02-01
- latte_jed