Angel \”Java\” Lopez on Blog

July 19, 2017

Blockchain: Links And Resources (46)

Filed under: Bitcoin, Blockchain, Ethereum, Smart Contracts, Solidity — ajlopez @ 2:42 pm

Previous Post
Next Post

Securify Formal Verification of Ethereum Smart Contracts
https://twitter.com/SecurifySwiss

Formal Verification of Ethereum Smart Contracts
http://securify.ch/

Arthur Gervais
https://twitter.com/HatforceSec

Ben Davenport, CTO at BitGo
https://twitter.com/bendavenport

BitGo Making digital currencies usable for business
https://twitter.com/BitGo

Suhas Daftuar Chaincode Labs
https://twitter.com/suhasdaftuar

Ethereum contract for Bitcoin SPV
https://github.com/ethereum/btcrelay

Solidity BTC Parser
https://github.com/rainbreak/solidity-btc-parser/blob/master/src/btc_tx.sol

Solidity Test
https://github.com/dapphub/ds-test

Browser-Only Solidity IDE and Runtime Environment
https://github.com/ethereum/browser-solidity

The ethereum VM implemented in JavaScript
https://github.com/ethereumjs/ethereumjs-vm

Stay tuned!

Angel “Java” Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez

2 Comments »

  1. […] Previous Post  Next Post […]

    Pingback by Blockchain: Links And Resources (45) | Angel "Java" Lopez on Blog — July 19, 2017 @ 2:43 pm

  2. […] Previous Post […]

    Pingback by Blockchain: Links And Resources (47) | Angel "Java" Lopez on Blog — July 20, 2017 @ 2:48 pm


RSS feed for comments on this post. TrackBack URI

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Create a free website or blog at WordPress.com.

%d bloggers like this: