Skip to main content
16 votes
Accepted

Reentrancy attack vector on tezos smart contracts?

Michelson (and higher level language like Liquidity on top of it) does not allow a smart contract to call another smart contract without commmitting its state/storage first. It makes reentrancy ...
lefessan's user avatar
  • 3,308
11 votes
Accepted

How to recover from "No space left on device" error?

The clue to the solution is in the part of the error saying that Validation of block BK... failed. It seems that it wasn't checking to see if there was any new free disk space available, it was just ...
Bake ꜩ for Me'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
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 to verify the manager.tz script code?

How to check the proof Currently, the only way to check the proof is to install and run the Coq proof assistant on the manager.tz file. This is automated in the continuous integration script of the ...
Raphaël Cauderlier's user avatar
5 votes

What's the easiest way for an account holder to verify/sign that they are the rightful owner of an account?

If it's a tz1 account (or the manager key of a KT1 account), the simplest is to sign a message and provide the public key. This can be done in command line in the following way: ./tezos-client hash ...
Arthur B's user avatar
  • 4,599
2 votes
Accepted

Baking and verification - comparison by computation amount needed

@ArthurB please correct me if I said anything silly :) Nondeterminism: two bakers won't produce the same block The baking process is not deterministic. Among other things, if several people bake ...
Suzanne Soy's user avatar
2 votes
Accepted

Why are formal proofs and verification important for smart contracts?

Program verification is recognised as crucial in the Tezos community since the very beginning of the Tezos project. It is mentioned in the position and white papers and many teams work on this topic. ...
Raphaël Cauderlier's user avatar
1 vote
Accepted

Smart contracts - get tz address from signature like ecrecover ethereum

For implicit accounts, the address is nothing more than the hash of the public key so this means that you can compute the address from the public key but not the other way around. In Michelson, you ...
Raphaël Cauderlier's user avatar

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