Questions tagged [contract-verification]
117 questions
2
votes
1 answer
Ethereum shape analysis
I am currently researching about the formal verification of smart contracts.
I am surprised that I did not manage to find a paper about the (shape) analysis of the storage of a contract.
Is there in the literature or in github a tool to perform…
Briomkez
- 1,894
- 1
- 11
- 33
1
vote
1 answer
How can I get the ABI Encoded constructor argument to verify my TOKEN on etherscan.io?
I'm exhausted of researching about the Constructor Arguments ABI-Encoded, it seems very confused.
Can somebody help me? ...So, this is the code:
pragma solidity ^0.4.16;
contract owned {
address public owner;
function owned() public {
…
Ben CryptoKing
- 11
- 1
1
vote
2 answers
How does a miner verify the output of a smart contract?
I am new to Ethereum and smart contracts. I understand ethereum is modeled as a state machine and smart contracts work as "agents" to change the state through transactions. However, it seems rather impossible for a miner to verify the smart contract…
user2051548
- 13
- 2
1
vote
0 answers
The concept of delayed abstraction: VerX
I am trying to understand the concept of delayed abstraction mentioned in paper [416] at:
Link of VerX
VerX tool uses the concept of delayed abstraction for SC verification. Is Delayed abstraction related to automatic generation of abstractions? I…
zak100
- 1,406
- 1
- 13
- 37
0
votes
2 answers
Are smart contracts deployed verified?
On Ethereum, I understand that one can create a contract and deploy it onto the blockchain. But I am not clear how this contract gets verified by miners before being deployed onto the chain. For example, it can be a voting contract as shown here or…
K Kolluru
- 467
- 7
- 18
0
votes
1 answer
Problems verifying token contract address
I am having problems verifying my token as it shows
https://i.stack.imgur.com/N8GFF.png
Even though the bytecode appears to be correct im getting a safemath.sol error and i cant seem to figure out how to fix it.
Flattened Contract:
[
ItsInhaleYo
- 1
- 1
-1
votes
1 answer
Verify contract code on Etherscan when deployed with Ethersjs factory
I have contract compiled via hardhat and types generated via typechain. In my typescript code I am using await MyContract__factory.deploy() to deploy the contract.
Is there a way / library / etc to use the contract factory (which contains the ABI…
Milk
- 421
- 2
- 11