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