Questions tagged [proof]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
4
votes
2answers
57 views

Prove that a solidity function was executable in the past

I was wondering if anyone knows a way of how to prove that a certain function of a solidity smart contract was executable (i.e. not reverting) after the fact without calling the function itself, e.g. ...
0
votes
0answers
32 views

Does it possible to perform Merkle root proof with filters?

I have a centralized e-commerce system with orders table inside. There are few order categories inside this system such as: Pending payment Pending shipping Pending delivery Completed Cancelled I ...
2
votes
0answers
62 views

Get proof that a transaction was included within a block

I see that the web3 api has the getProof method: https://web3js.readthedocs.io/en/1.0/web3-eth.html#getproof My question is - is there a similar way to get (and verify) a proof that a transaction x ...
0
votes
1answer
39 views

Merkeling in Ethereum

I am currently facing the challenge to prove that a transaction is mined into a block. Dose anyone know libraries/tools that do this kind of thing? e.g.: create a proof that can be validated offline ...
0
votes
1answer
322 views

Proof of work vs Proof of Stake [duplicate]

I'm newbie to Ethereum and trying to make things clear. I've read few articles about PoW(proof of work) vs PoS(proof of stake) and what I understood is, Proof of Work is nothing but the mining, in ...
4
votes
4answers
57 views

Find source of funds

Is there an automated way to discover the source of funds that were sent to a specific address? Theory: The EOS team releases 2m EOS tokens every 23 hours. See https://eos.io/instructions for more ...
4
votes
1answer
1k views

How will one stake Ether?

Once Ethereum makes the switch to proof of stake how will one choose to stake Ether? Will they have to use a special program or will Ether not in use be considered staked and be used to gain more ...
1
vote
2answers
129 views

Can it be shown that `num > 0 && num < denom` is always the same as 0% < num / denom < 100%?

In Solidity, I want to check that the numerator and denominator passed to my function evaluate to 0% < num / denom < 100%. I tried the most direct approach: num / denom > 0 && num / ...
2
votes
1answer
1k views

Proof of Stake - Let's get down to brass tacks and understand it

I have read six different articles now trying to understand this fully and completely and have been unable to get to that point. I get that you are giving the validator/forger chosen with the ...
4
votes
1answer
1k views

Proof of inclusion inside a Block Header - State Root

I'd like to verify the inclusion of a certain data within the state of a smart contract supposing that I've already have the right block header. What is the depth of the State Root? When I've ...