Questions tagged [liquidity]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
-1
votes
0answers
20 views

Cant Install Liquidity on Mac

I'm trying to get liquidity on my Mac using this tutorial, but when I get to step 4 to install the dependencies, I automatically get this error: [WARNING] Failed checks on liquidity package ...
1
vote
0answers
24 views

Problem with Liquidity installation

After entering this command make build-deps , I get the error message: The following dependencies couldn't be met: - liquidity → ocaml < 4.07.1 no matching version No solution found, ...
4
votes
1answer
132 views

Error 57 when installing Liquidity

I am trying to install Liquidity on a VM with Ubuntu 18.04.2 LTS following this instruction http://www.liquidity-lang.org/doc/installation/index.html . Everything goes well until stage 4: Install ...
2
votes
1answer
37 views

How to deploy a contract in Mainnnet (not Alfanet!) Tezos? I have a contract code for Fi, a working node on the Digital Ocean. What should I do next?

I have a contract code for Fi, a working Mainnet node on the Digital Ocean. What should I do next? Please explain in detail because I have little experience.
4
votes
0answers
21 views

Checking contract against contract type in Liquidity

With the example below, is it possible to get liquidity to check that the type of the contract C matches C_intf? contract type C_intf = sig type storage val%entry check_balance : nat -> _ end ...
4
votes
0answers
19 views

How to split a string in Liquidity?

I'm attempting to split apart a string by "." so that "my.name" returns {"my", "name"}. However, I can't seem to find an in-built method of performing this operation in Liquidity. Lately, I've tried ...
3
votes
1answer
44 views

How to concatenate a string and tez in Liquidity?

How can I concatenate a string and a tez value in Liquidity? let a = 1.00tz; let b = "Amount is: "; // <- how to get a in there? A more real world example; I have an addCost in my storage (...
4
votes
0answers
39 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 ...
2
votes
1answer
33 views

Liquidity “Syntax error”, ok, but what/where?

I'm having problems with liquidity syntax... (I'm using the online liquidity-lang editor). I'm trying to make a simple smart contract that adds items with history, think of it as a maintenance log ...
3
votes
1answer
35 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 ...
2
votes
0answers
17 views

Unable to deploy a Liquidity smart contract directly (without offline signature / forged operation)

I'm trying to deploy a contract directly as specified in Liquidity docs, but the CLI fails with: Failure: edsk3gUfUPyBSfrS9CCgmCiQsTCHGkviBDusMxDJstFtojtc1zcpsh is not a valid private key I have ...
5
votes
1answer
42 views

method for calling to entry point of contract instance (?) created by contract.create

Contract A is not able to find the address of the contract created by contract.create. Tried adding the signature of B as well as it's complete definition in contract A but still, it doesn't solve the ...
5
votes
2answers
36 views

Liquidity - Unhandled exception (Invalid_argument List.fold_left2)

My smart contract compiles but when I use any of the entry methods it throws "Unhandled exception (Invalid_argument List.fold_left2)". It seems to have happened when I added the owner parameter into ...
5
votes
1answer
91 views

Gas consumption in a chain of internal transfers

I am trying to perform a chain of contract calls with internal transfers. I think my current contracts are very simple, but I run out of gas after only 4 internal transfers: A script or one of its ...
6
votes
1answer
88 views

Deploying a simple contract using liquidity

Contract (simple.liq): [%%version 1.0] type storage = int let%init storage = 0 let%entry main (parameter : int) storage = ( [], storage + parameter ) Deployment command: liquidity --tezos-node ...
2
votes
1answer
37 views

How is the liquidity token.liq working

I'm asking for help because i don't really understand how the token.liq works and mostly what the functions needs. For exemple I don't seem to be able to get the balance of an account. In the input ...
5
votes
1answer
25 views

Tuples index access via contract's input params

I'm trying to get tuple value by index using contract's input param. Getting weird assertion error. let%entry main = (idx: int, storage) => { let tmp = ("test - 1","test - 2", 3) failwith(tmp[...
3
votes
1answer
22 views

ReasonML pattern matching error on tuples

I am trying to write some game on tezos via ReasonML, stuck with pattern matching on tuples, looks like it does not work let tmp = switch (players) { | (Some(p), None) => let storage ...
7
votes
1answer
59 views

Basic Syntax for iterating through List Element and processing each of them

I am creating two lists in liquidity and trying to process on them as follow: type two_element = { name: string; value : nat; } type list1 = two_element list; type list2 = two_element list; ...
5
votes
0answers
57 views

“Unhandled error: Failure backtracked” while trying to creating a contract

I'm trying to work with the example code from the liquidity documentation for Contract.create(). The code compiles and tests on the online-editor properly. It also deploys using the editor. But when I ...
8
votes
1answer
87 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 ...
4
votes
1answer
36 views

In the broker2.liq example, how is storage being returned by the call function?

The code here returns value from Contract.call() as: let _result, storage = Contract.call storage.x transfer storage () in What are the values stored in _result and storage? Note: I couldn't ...
3
votes
2answers
94 views

How can I call a contract with a type parameter?

I have the following contract: parameter (pair :doc (string %name) (string %sig)); storage (list (pair :doc (string %name) (string %sig))); code { DUP ; DIP { CDR @storage_slash_1 } ; ...
8
votes
1answer
66 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 ...
9
votes
1answer
121 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 ...
5
votes
1answer
63 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/...
10
votes
2answers
60 views

Encryption within smart contract

I can't find much documentation on this, is it possible to encrypt/decrypt data within a tezos smart contract? So how would I do something like AES crypto (although does not matter much) in a smart ...
5
votes
2answers
75 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 ...