8
votes
Accepted
Address, Key, and Key Hash
The key_hash is just the address, which is derived from hashing the key. So if you have the key, you can easily generate the key_hash/address.
The reason you may want the key is because you need this ...
- 3,351
8
votes
Formal verification of Tezos smart contracts
So this is a huge question and I think there are many people more qualified than me, but I'll offer some initial guidance.
In Software Foundations, a book on Coq, they talk about an implied language ...
- 576
7
votes
How do I begin developing on the Tezos network?
If you plan to write Smart Contracts, using Liquidity is often simpler than Michelson:
http://www.liquidity-lang.org/
- 3,308
6
votes
Accepted
Formal verification of Tezos smart contracts
If we agree that the purpose of analyses is to both prove properties and help users of smart contracts to understand them, I would say:
Values: studying what values each element of the storage can ...
- 3,250
5
votes
Accepted
How do I begin developing on the Tezos network?
There are several useful Tools/SDKs, this are some that come to my mind:
https://github.com/TezTech/eztz
https://github.com/maht0rz/tezos-environment-manager
https://github.com/keefertaylor/...
- 2,635
5
votes
Accepted
How do I get the storage value of a bigmap using pair datatype as key with taquito library?
As of Taquito release v6.1.0-beta.0 Taquito offers a new API for Maps which support pairs as keys in Maps and BigMaps.
Here's a link to documentation & examples on Accessing Map values using Pairs
- 443
4
votes
How do I begin developing on the Tezos network?
Here is a link to a guide from reddit on how to set up a development environment using a localhost instance of a Tezos network and emac.
https://medium.com/tezsure/setting-up-a-development-...
- 275
4
votes
Accepted
Taquito default entrypoint not found
The contract you point to takes a single parameter of type address. Thus, as you write, it only has the default entrypoint. In taquito, the main entry point can be call through contract.methods.main. ...
- 2,378
4
votes
Accepted
Listen for operations of a deployed contract
After working with @taquito/rpc for a little while and having success there I also discovered in the main @taquito/taquito package there's some useful things you can subscribe to on the stream. A ...
- 133
3
votes
What's the best way to retrieve BigMap values/keys?
You can also use ../<block_id>/context/big_maps/<big_map_id>?[offset=uint]&[length=uint] to get the list of values in a big map. About keys, those are not stored in the tezos node and ...
- 3,923
2
votes
Listen for operations of a deployed contract
First, note that there is work in progress to implement on-chain events for Tezos: TZIP and MR.
At the moment however, I don't think you have a choice other than using an indexer. In addition to ...
- 2,378
1
vote
Liquidity Baking interactions from a DAPP - Error during estimation being returned from temple wallet
The Dexter calculations are out of date for the Liquidity baking contract, as the calculations don't take into account the new subsidy. It was forked by the liquidity baking team, and I forked that ...
- 1,037
1
vote
AddressValidationError when calling an entrypoint with Taquito
The issue is probably the order of the fields.
Try to pass an object as value instead:
routerMap.set("...", {
exchangeAddress: ...,
minimumOutput: ...,
requiredTokenAddress: ...,
...
- 3,923
1
vote
Accepted
Unpacking return unexpected result
For packing and unpacking michelson values, you can use the @taquito/michel-codec package.
Example:
const { packDataBytes, unpackDataBytes } = require("@taquito/michel-codec");
export ...
- 3,923
1
vote
How to obtain the public key (not public hash - PKH) using taquito
Taquito doesn't have such a feature per se, but you can access this piece of information through the client property of the wallet instance, which contains the same data as the DappClient instance of ...
- 906
1
vote
Best way to duplicate/sync private database with FA2 contract transactions & balances
tzkt.io offers a websocket based listener that can be used for the scenario mentioned by you.
Alternatively, you can run a cron job that checks for changes in the contract storage (tzkt's API can be ...
- 351
1
vote
Knowing the parameter name for a call to an entrypoint with Beacon
I would like to clarify some of the beacon behavior.
The main responsibility of beacon is establishing and maintaining a communication channel between a dApp and a wallet. Beacon itself does NOT do ...
- 196
1
vote
Accepted
Knowing the parameter name for a call to an entrypoint with Beacon
Did you try value: { "int" : "10000" }?
It seems that:
the field value in parameters should be micheline (seeing how Unit is expressed)
the entrypoint %stake has type nat (the ...
- 2,378
1
vote
How can I delay executing a smart contract until 30 minutes after its last invocation using Tezos SmartPy?
I'll just pust @FFF answer from Twitter here for reference:
You cannot trigger automatically the contract after 30 minutes. You
need someone to do it (typically an oracle). What you can do is ...
- 2,378
1
vote
Accepted
How to ensure that operation was included in a block with taquito
Taquito return an operation object for each operation you inject using it.
For instance if you do:
const op = Tezos.contract.transfer({to: address, amount: 1})
You can wait until the confirmation ...
- 357
1
vote
Are there any wallets that can call contracts?
Apparently Galleon just added support for calling contracts 🎉 Seems like this is something most wallets has not gotten around to yet.
I will encourage anyone who stumbled across one that support it ...
- 1,973
Only top scored, non community-wiki answers of a minimum length are eligible