# Questions tagged [michelson]

The tag has no usage guidance.

45 questions
Filter by
Sorted by
Tagged with
43 views

### Ill formed storage type in origination

Attempted to originate a contract but getting a storage type error when trying to originate it Error: proto.005-PsBabyM1.michelson_v1.ill_formed_type Error: proto.005-PsBabyM1.michelson_v1....
14 views

### Breadth-first inter-transaction semantics

In the « inter-transaction semantics » section of the Michelson specification it appears that when a contract emits internal operations (which in turn can emit their own) the overall evaluation ...
138 views

### Michelson pairs not comparable

When I try to type the following Michelson script, I get a type error. parameter unit; storage (big_map (pair string address) (list timestamp)); code {CDR; NIL operation; PAIR}; Ill formed type. At ...
15 views

### How to check in Michelson if a key_hash is delegatable

A Set_delegate operation will fail if the specified key_hash is not delegatable. Is it possible in Michelson to verify if a kh : key_hash is not delegatable and thus if the operation emitted by ...
40 views

### Relative gas cost of map vs bigmap

Does there exist a realistic performance benchmark between map/bigmap? I am looking for a tipping point where it would make more sense to use a big map for gas cost optimization
28 views

### How to interact with SmartPy BigMap in contract?

I would like to setup a smart contract that contains (as defined by smartpy) a BigMap storage. I have the following code: import smartpy as sp class contract(sp.Contract): def __init__(self): ...
25 views

### ConseilJS TezosContractIntrospector.generateEntryPointsFromAddress Uncaught (in promise) TypeError: Cannot read property '0' of undefined

Trying to retrieve contract entry points using the TezosContractIntrospector The following code: async function entry_points(){ const server={ url:'https://conseil-dev.cryptonomic-infra.tech:...
115 views

### Ethereum/Solidity dev here, looking to migrate some Solidity contracts onto Tezos. Was hoping to have some light shed on a few questions

Was hoping to have some light shed on a few questions. Narrowing in on using Ligo, Archetype, or Liquidity. Is Liquidity kind of a dead-end right now? I noticed it's not listed on developeres.tezos....
48 views

### Originate contract with init

I have a contract of type: pair (pair (list nat) (pair mutez (map address (list nat)))) (pair address (pair address bool)) What is an example of a valid initial storage that can be passed to ...
37 views

### What is the behavior of SET_DELEGATE in particular cases

The Michelson Documentation does not say much about this function: SET_DELEGATE: Forge a delegation. :: option key_hash : 'S -> operation : 'S This left me wondering about its behavior and if ...
125 views

### How to deploy a smart contract influenced by UI inputs using ConseilJS and SmartPy generated Michelson?

I wish to be able to create a smart contract taking input from a UI to supply parameters pubKey,prvKey,pubHash for the deployment and minAmount and maxTime to influence the Michelson. I have the ...
30 views

### What is the execution sequence of this Michelson code snippet

I tried to get a better grip on michelson but found myself fail at a simple piece of michelson code. Is anyone willing to help on the logic of below code? Thanks a lot! parameter (pair nat nat); ...
36 views

### What is the size limit of a list in Michelson

Can lists be used to store large amounts of data like big maps ? The doc (https://tezos.gitlab.io/whitedoc/michelson.html?highlight=michelson%20types#core-data-types-and-notations) doesn't talk about ...
14 views

### Split function contract template

Is there a code template for a simple contract which splits the incoming funds and sends them proportionally to a list of pre-registered addresses? Example: Contract has the following functions: ...
34 views

### How to use Emacs michelson-mode with Tezos sandboxed client?

The Emacs michelson-mode relies on being able to call Tezos client. How can you use the Tezos sandboxed client for it?
38 views

### Error too big to serialize within the provided gas bounds. Increasing the gas bounds does not help

I am developing a fairly large set of contracts that interact with each other. I wanted to reorganize and optimized the code and I've added lots of PUSH string "..."; FAILWITH to help me debug. I am ...
43 views

### Why cant i call the contract entry point with type parameter througth eztz.contract.send

im trying to call the entry point create_proposition ... (pair :proposition %_Liq_entry_create_proposition (key_hash %destination) (mutez %amount)) using the function eztz.contract....
36 views

### Getting errors related to the smart contract after running eztz.contract.send()

im tryng to send a operation to a previously deployed contract and im geting these errors, error: "Operation Failed" ​ errors: (3) […] ​​ 0: {…} ​​​ contract: "...
53 views

### how can i send operation throught eztz to a contract specific entry point?

im tryng to send the operation to a deployed contract, this is my function ... eztz.contract .send( "KT18qHvhEZUwiawA8QEURwuK8RGJj184725L", keysext.pkh, keysext.sk, 5, "RIGHT LEFT UNIT", "...
73 views

### Error while initializing storage in contract deployment

I am using folowing command: ./tezos-client originate contract TestContract for tz1address transferring 1 from tz1address running contes.fi --init 'pair (map "KT1address" 1) (map "KT1address" "2019-...
47 views

### How to implement a signature checker for the signature scheme BLS?

We are willing to implement a signature checker for the signature scheme BLS (or BLS12-381). To the best of our knowledge, it may not be too painful since the smart contract language already supports ...
62 views

### Contract - purpose of returned internal operations?

I keep seeing contract internal operations being returned empty (stack - 'NIL operation;') in the example Tezos Michelson contracts. What is the purpose of the internal operations? Also, are there ...
74 views

### Error while initializing storage in contract deployment cmd using tezos-client command line interface option

I am using the following command originate contract new for mgr transferring qty from src running prg for deploying a contract using Command Line Interface as mentioned in CLI document. This ...
32 views

### Michelson contract files - spaces, new lines and comments

I wanted to check that when a Michelson contract file is created. Do file spaces, new lines and comments increase the gas cost when deployed?
60 views

### Michelson P2P message encoding

I'm looking to implement full message "forging" with no reliance on RPC calls. The P2P message doc does not cover all the details. Let's say I have the JSON representation of parameters and code, how ...
120 views

### Contract accepting an ANY type

A contract that is upgradable would benefit from being able to accept ANY type, and forward that type to the current app contract based on how that ANY type parses. For example, a request might be ...
139 views

### Contract Factories

Has there been any research into how a contract factory might be made in Michelson/Liquidity? To elaborate, in Solidity a contract factory might look like: pragma solidity ^0.4.8; contract Bakery { ...
325 views

### How does NOW work?

Say a contract has a condition based on NOW being after a time. Is NOW UTC, and is this validated by each node before being added to the chain? Let's say you want ensure a function is called during ...
188 views

### Implementation details for PACK and UNPACK

In the Operations on bytes section of the Michelson white document, it is mentioned that: "PACK: Serializes a piece of data to its optimized binary representation." I am curious to know more ...
96 views

### Language features needed for Marigold

In the Marigold presentation it is stated that But first, project resources are dedicated to a new smart contract language for Tezos. What currently exists was sufficient for the Marigold ...
241 views

### What is the BigMap container and why does it matter?

I have heard in many places that Tezos is making use of a specific kind of container called BigMap in order to store data inside a smart contract. The object must be relatively complex because so far ...
93 views

### Is there a way to call a function inside a contract from a function in another contract?

I want to have two different contracts that have functions that should interact with each other. Is there a way to pass/return values through function call between contracts?
34 views

### How SET_CAR/SET_CDR macros should be expanded?

Michelson specification declares the following rule for expansion of SET_CDR macro SET_CDR @var %field => CAR %field ; PAIR @var However, %field is supposed to be a field annotation of right ...
29 views

### Understanding the UNPAIR syntactic sugar

UNP(\left=A|P(\left)(\right))(\right=I|P(\left)(\right))R: A syntactic sugar for destructing nested pairs. These macros follow the same convention as the previous one. > UNPAIR / S => DUP ; CAR ;...
49 views

### Michelson Application Binary Interface

Is there an Application Binary Interface for Michelson contracts (akin to Ethereum ABI)?
216 views

### How can I deploy a Michelson smart contract?

I'm wondering how to deploy a Michelson smart contract on Tezos. Maybe I'm just bad at googling, but all the examples I can find are using liquidity-cli. I'm not using liquidity for this contract, ...
101 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 ...
57 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; ...
120 views

### Get a returned value when calling a Michelson contract

A call to a Michelson contract results in a storage update and the emission of operations. Is there a simple/standard way for the called contract to return a value to the caller?
44 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 ...
178 views

### Differences between Micheline and Michelson

What is the difference between Micheline and Michelson? Is Micheline a subset of Michelson?
136 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
62 views

### What does the DIP opcode in Michelson do?

It says Runs code protecting the top of the stack. but I’m not sure what is meant by that.