Search Results

Formal verification means applying a proof that the program behaves according to a specification. In general, this is done with a concrete specification language used to describe how input and output …

if in a call stack of message calls a throw happens, then the state of all called messages after the throw-ing message call remains intact, while all of the calls under the call stacks are reverted. …

It seems that there is a scope per contract. This subtlety is debated on Reddit: https://www.reddit.com/r/ethereum/comments/5hiy29/solidity_throw_after_selfdestruct_why_does_the/ I can reproduce th …

If I want to create a smart contract by executing a raw tx, is it mandatory to compute the new contracts address the way it's been defined, or could I pick my own address arbitrarly? Why?

According to the Solidity grammar the amount of return values are infinite: FunctionDefinition = 'function' Identifier? ParameterList ( FunctionCall | Identifier | 'constant' | ' …

The output is not in the build directory but in the ./environments/ directories. Truffle knows 4 environments by default development staging production test Each environment is configurable to us …

Assume a contract: contract A { function b() constant returns (uint8 result) { result =1; } } When I replace uint8 result with uint256 result then the creation of the contract get …

There is jobs.ethercasts.com Or use a freelancer portal like upwork.com Or you can contact me via a temporary email to discuss your project: [email protected]

The main purpose of any Proof of ... system is to pick a random node to confirm that nobody cheated in the last block(s). And it does so in a decentralized way, i.e. no central random generator. L …

Push is available only on storage arrays, that is member/ state variables and not in memory arrays, that is local variables: push: Dynamic storage arrays and bytes (not string) have a member fun …

Yes everything gets cleared Given this contract: contract C { struct Point { uint256 x; uint256 y; } struct Image { Point[] points; string name; } …

No, all the collection data types are very basic. This may be considered a design decision to keep the execution very cheap and will therefore not change in the future. To my knowledge, no library for …

Functions: the default is public State variables: the default is internal You can find more here: http://solidity.readthedocs.io/en/latest/contracts.html

In which functions do I need a transaction? Only in that that changes values. The other you can call from a single ethereum node. This does not require spending any any ETH. From the web3 documentat …

If you think about it, the library can not know the variable names of the calling contract. The compiler must fail. What you can do is pass the variable through the interface. In the background, no tr …