Questions tagged [verification]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1
vote
1answer
26 views

How to verify the manager.tz script code?

Since the protocol update to Babylon all KT1 accounts were replaced with smart contracts which contain the manager.tz script. Code: parameter (or (lambda %do unit (list operation)) (unit ...
4
votes
1answer
37 views

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

At times it might be important for users to verify the ownership of an account (tz1/KT1/etc) in order for applications to trust. However, this should not involve divulging of secret keys or any ...
6
votes
1answer
109 views

How to recover from “No space left on device” error?

The drive the node uses ran out of disk space. This resulted in a series of errors in a format similar to: Apr 16 01:58:36 - validator.block: Validation of block ...
2
votes
1answer
41 views

Baking and verification - comparison by computation amount needed

What is the relation between computation processing amount versus the processing amount on verification of the baking results? Why I ask this is that I am wondering is it really that baking is done ...
11
votes
2answers
101 views

Reentrancy attack vector on tezos smart contracts?

I heard that Michelson helps with avoiding re-entrancy bug. Why is that? Is there some feature in the language that prevent it?
13
votes
2answers
160 views

Formal verification of Tezos smart contracts

What are the analyses of Tezos smart contracts that could benefit dapps writers the most? Just to be clear, by “analysis” here I mean “static program analysis”. See for instance here. Basically the ...