Blockchain: Links And Resources (46)

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 thoughts on “Blockchain: Links And Resources (46)

  1. Pingback: Blockchain: Links And Resources (45) | Angel "Java" Lopez on Blog

  2. Pingback: Blockchain: Links And Resources (47) | Angel "Java" Lopez on Blog

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 )

Google+ photo

You are commenting using your Google+ 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 )

w

Connecting to %s