Questions tagged [smart-contracts]
The smart-contracts tag has no usage guidance.
156
questions
5
votes
1answer
61 views
How are Smart Contracts saved for checking in future?
Am I understanding correctly, that I can store for example my rental contract as a Smart Contract and then it is made official with baking it with bakers?
If I got the first part right, the contract ...
8
votes
1answer
109 views
What exactly are smart contracts?
I'm new to Tezos, and in fact to Bitcoin in general. I have been reading up on it a good bit, though, and I ran across an article on cryptobriefing which states that Tezos, like Ethereum, uses smart ...
8
votes
1answer
44 views
Spending XTZ held in an implicit account from a smart contract
Is it possible for code in a KT1 smart contract to spend from a tz1 adress ?
6
votes
2answers
97 views
Michelson Logic understanding problem
If i got it right, Michelson is a stack based language.
I've read the following example about stack based languages:
3 4 5 * + = 23
how does Michelson know, that it has to mutiplicate 4 * 5 ...
11
votes
2answers
134 views
Reentrancy attack vector on tezos smart contracts?
I heard that Michelson helps with avoiding re-entrancy bug. Why is that? Is there some feature in the language that prevent it?
13
votes
2answers
292 views
Formal verification of Tezos smart contracts
What are the analyses of Tezos smart contracts that could benefit dapps writers the most?
Just to be clear, by “analysis” here I mean “static program analysis”. See for instance here.
Basically the ...
