Questions tagged [smart-contracts]
The smart-contracts tag has no usage guidance.
407
questions
5
votes
1
answer
97
views
Contract.create bytes array return value
I'm using liquidity lang, and define a storage:
type storage = {
usersDocuments : (address,address set) big_map;
documents: string set;
}
and I add in to usersDocuments https://pastebin.com/...
- 493
5
votes
1
answer
70
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 ...
- 697
8
votes
1
answer
140
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 ...
- 187
8
votes
1
answer
49
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,064
6
votes
2
answers
108
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 ...
- 2,635
11
votes
2
answers
245
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?
- 6,064
14
votes
2
answers
400
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 ...
- 6,064