Questions tagged [smart-contracts]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
6 votes
2 answers
58 views

How to remain auditable while using a database or index for a smart contract application?

As I am setting out to build my first proper smart contract backed application, I need to set up a database & index for the website for fast query times etc. How can I set this up in a way so that ...
user avatar
  • 1,973
4 votes
2 answers
182 views

Benefits of Michelson

I'm trying to understand the design decisions behind Michelson and I'm in the process of evaluating if I should be writing my dapp in the Tezos blockchain. What type of benefits does Michelson have ...
user avatar
  • 2,602
2 votes
1 answer
59 views

Michelson: two potential bugs in type checker / spec [closed]

TL;DR looks like 1 bug in spec and one more in type checker for alphanet. Someone please review and comment on this behavior :) parameter unit; storage string; code { DROP; PUSH int 3; ...
user avatar
10 votes
1 answer
212 views

Is there a way to generate a pseudo-random number inside a contract in liquidity?

If I require a pseudo-random number (PRN) in the internal working of a function in liquidity, is there a way to do it? Is there one in Michelson? I already know about the way to send a PRN through RPC ...
user avatar
6 votes
1 answer
60 views

Regarding annotations in michelson

Michelson has different type of annotations. I am curious about what is the main purpose of annotations and where should one use annotations vs where on shouldn't? Is there a michelson pattern where ...
user avatar
4 votes
3 answers
368 views

How to watch transaction status with eztz after eztz.contract.send

I am developing an app and I use JavaScript. I need to watch transaction from user browser. I use eztz method eztz.contract.send for create transaction. I receive back the transaction hash, but not ...
user avatar
9 votes
1 answer
143 views

How can a string be coerced into tez using Liquidity?

Documentation states the following: tez : an unbounded positive float of Tezzies, written either with a tz suffix (1.00tz, etc.) or as a string with type coercion ("1.00" : tez). Yet the following ...
user avatar
8 votes
1 answer
227 views

How to specify the smart contract entry point in eztz call?

I want to call a smart contract with eztz: eztz.contract.send(contract,from, keys, amoun, params, gasLimit,storageLimit) How to specify the entry point, my smart contract has multiple entry points : ...
user avatar
5 votes
2 answers
262 views

How to call a smart contract method with params with eztz?

Does Eztz have some method for calling smart contract methods with parameters? For example if my contract has a method let%entry createFile ((fileHash : string),(manager:key_hash)) storage How can ...
user avatar
3 votes
2 answers
271 views

A contract calling another contract

Can someone please give an example Michelson smart contract that calls another smart contract ? Some actual implementation would go a long way. Many thanks
user avatar
  • 3,185
5 votes
1 answer
95 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/...
user avatar
5 votes
1 answer
67 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 ...
user avatar
  • 697
8 votes
1 answer
136 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 ...
user avatar
8 votes
1 answer
48 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 ?
user avatar
  • 6,006
6 votes
2 answers
106 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 ...
user avatar
  • 2,638
11 votes
2 answers
215 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?
user avatar
  • 6,006
14 votes
2 answers
384 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 ...
user avatar
  • 6,006

1
3 4 5 6
7