dodikk

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

  // Instantiate token contract object with JSON ABI and address
  const tokenContract = new web3.eth.Contract(
    TOKEN_ABI, process.env.TOKEN_CONTRACT_ADDRESS,
    (error, result) => { if (error) console.log(error) }
  )

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];

dodikk

use std::rc::Rc;
use std::cell::{RefCell,Ref, RefMut};
use std::ops::Deref;
use std::fmt;

#[derive(Clone)]
struct Shared<T> {
    v: Rc<RefCell<T>>
}

dodikk

private static func validateEmailByBootstrapRegex(_ userInput: String) -> Bool
{
    var emailRegex = "[A-Z0-9a-z._%+-]+@[A-Za-z0-9.-]+\\.[A-Za-z]{2,64}"
    
    let emailTest = NSPredicate(format:"SELF MATCHES %@", emailRegex)
    return emailTest.evaluate(with: userInput)
}


// TODO: is NSPredicate any better