Questions tagged [verification]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers

Endorsement Operation Signature verification using TzGO

I am trying to verify the endorsement operations of the endorsers in every blocks but I am unable to verify them. I took the details of the endorsement operation and reentered the details in ...
sha25652's user avatar
1 vote
1 answer

Why are formal proofs and verification important for smart contracts?

On the Ethereum blockchain, there is a lot of talk about formal proofs and verification of smart contracts. In particular, ERC20 tokens and various exchange contracts will mention that they are ...
MCH's user avatar
  • 680
1 vote
1 answer

Smart contracts - get tz address from signature like ecrecover ethereum

I want to be able to verify that a signature is signed by a public key's address in my smart contract method on tezos. For example with solidity see:
jon's user avatar
  • 133
1 vote
1 answer

How to verify the script code?

Since the protocol update to Babylon all KT1 accounts were replaced with smart contracts which contain the script. Code: parameter (or (lambda %do unit (list operation)) (unit ...
XTZST2O's user avatar
  • 835
4 votes
1 answer

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 ...
Caleb's user avatar
  • 41
7 votes
1 answer

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 ...
Bake ꜩ for Me's user avatar
2 votes
1 answer

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 ...
mico's user avatar
  • 697
11 votes
2 answers

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?
Ezy's user avatar
  • 6,064
14 votes
2 answers

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 ...
Ezy's user avatar
  • 6,064