dodikk

#define KINDOF_CAST(arg) ((__kindof typeof(arg))(arg))

// By Scherbinin Anatoly from the cocoa chat ("Какао-чат: Cocoa, Xcode, objective C")

dodikk

/******************************************************************************

                              Online C++ Compiler.
               Code, Compile, Run and Debug C++ program online.
Write your code in this editor and press "Run" button to compile and execute it.

*******************************************************************************/

#include <iostream>

dodikk

function confirmEtherTransaction(txHash, confirmations = 10) {
  setTimeout(async () => {
    
    // Get current number of confirmations and compare it with sought-for value
    const trxConfirmations = await getConfirmations(txHash)
    
    console.log('Transaction with hash ' + txHash + ' has ' + trxConfirmations + ' confirmation(s)')

    if (trxConfirmations >= confirmations) {
      // Handle confirmation event according to your business logic

dodikk

async function getConfirmations(txHash) {
  try {
    // Instantiate web3 with HttpProvider
    const web3 = new Web3('https://rinkeby.infura.io/')

    // Get transaction details
    const trx = await web3.eth.getTransaction(txHash)

    // Get current block number
    const currentBlock = await web3.eth.getBlockNumber()

dodikk

function watchEtherTransfers() {
  // Instantiate web3 with WebSocket provider
  const web3 = new Web3(new Web3.providers.WebsocketProvider('wss://rinkeby.infura.io/ws'))

  // Instantiate subscription object
  const subscription = web3.eth.subscribe('pendingTransactions')

  // Subscribe to pending transactions
  subscription.subscribe((error, result) => {
    if (error) console.log(error)

dodikk

This gist shows how formal conditions of Solidity smart contracts can be automatically verified even in the presence of potential re-entrant calls from other contracts.

Solidity already supports formal verification of some contracts that do not make calls to other contracts. This of course excludes any contract that transfers Ether or tokens.

The Solidity contract below models a crude crowdfunding contract that can hold Ether and some person can withdraw Ether according to their shares. It is missing the actual access control, but the point that wants to be made

dodikk

/**
 * Base contract that all upgradeable contracts should use.
 * 
 * Contracts implementing this interface are all called using delegatecall from
 * a dispatcher. As a result, the _sizes and _dest variables are shared with the
 * dispatcher contract, which allows the called contract to update these at will.
 * 
 * _sizes is a map of function signatures to return value sizes. Due to EVM
 * limitations, these need to be populated by the target contract, so the
 * dispatcher knows how many bytes of data to return from called functions.

dodikk

adk@adk-VirtualBox:~/Applications$ ./jre1.8.0_181/bin/java -jar cakeshop-0.10.0-x86_64-linux.war 
Defaulting to spring profile: local
Extracting geth to /home/adk/Applications/data/geth
[INFO ] 2018-09-26 12:25:09.795 [main] SpringBootApplication - Starting SpringBootApplication v0.10.0 on adk-VirtualBox with PID 11187 (/home/adk/Applications/cakeshop-0.10.0-x86_64-linux.war started by adk in /home/adk/Applications)
[INFO ] 2018-09-26 12:25:09.804 [main] SpringBootApplication - The following profiles are active: container,spring-boot,local
[INFO ] 2018-09-26 12:25:13.995 [main] AppConfig - eth.config.dir=/home/adk/Applications/data/local
[WARN ] 2018-09-26 12:25:13.996 [main] AppConfig - Authentication disabled.
[INFO ] 2018-09-26 12:25:14.022 [main] AppConfig - Loading config from /home/adk/Applications/data/local/application.properties

dodikk

{
    "nonce": "0x0000000000000042",
    "difficulty": "0x40000",
    "alloc": {
            "YOUR_COINBASE_ADDRESS": {
            "balance": "10015200000000000000000"
        }
    },
    "mixhash": "0x0000000000000000000000000000000000000000000000000000000000000000",
    "coinbase": "0x0000000000000000000000000000000000000000",

dodikk

var videoTags = document.getElementsByTagName('video');

var result = [];

result.push('====\n')
for (var i = 0; i < videoTags.length; i++)
{
    // result.push("====singleVideoTag \n");
    
    var singleVideoTag = videoTags[i];