Skip to main content
Share Your Experience: Take the 2024 Developer Survey
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 ...
Stephen Andrews's user avatar
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 ...
Rob's user avatar
  • 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/
lefessan's user avatar
  • 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 ...
FFF's user avatar
  • 3,260
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/...
Blindripper's user avatar
  • 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
Jev Björsell's user avatar
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-...
chuks's user avatar
  • 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. ...
arvidj's user avatar
  • 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 ...
jon's user avatar
  • 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 ...
Rodrigo Quelhas's user avatar
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 ...
arvidj's user avatar
  • 2,378
2 votes

How best to keep Dapp state in sync with blockchain

I'd recommend looking into indexers, such as TzKT or TzPro, for such data. For example, TzKT has a collection of websocket APIs usings C#'s SignalR. This allows you to subscribe to accounts or ...
Simon McLoughlin's user avatar
  • 1,112
1 vote

How best to keep Dapp state in sync with blockchain

Managing the state of your application and updating it to reflect the state of a blockchain works the same way as with any other external state, whether it's a connection to an SQL database or a REST ...
Richard Ayotte's user avatar
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 ...
Simon McLoughlin's user avatar
  • 1,112
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: ..., ...
Rodrigo Quelhas's user avatar
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 ...
Rodrigo Quelhas's user avatar
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 ...
Claude Barde's user avatar
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 ...
Anshu Jalan's user avatar
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 ...
Andreas Gassmann's user avatar
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 ...
arvidj's user avatar
  • 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 ...
arvidj's user avatar
  • 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 ...
Simon B.Robert's user avatar
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 ...
asbjornenge's user avatar
  • 1,973

Only top scored, non community-wiki answers of a minimum length are eligible