A simple API to do stuff with Ethereum.
https://t.co/QKOBSIVxFe
/sign - Sign a message
/verify - Verify a message
/send - send a tx that invokes a smart contract's function
/call - invoke a smart contract function without a tx
send, call --> inspired by seth by
@dapptools
You can now use solc 0.5.0 with dapptools by @dapphub!
Download instructions at https://t.co/JdIrM7W8FL then:
dapp pkg selfupdate
dapp --use solc:0.5.0 build
First use will take a while, since it'll download/compile solc 0.5.0, next time it'll be fast! Thanks #solidity team!
Thank you to everyone who attended our formal verification workshop earlier today at @EFDevcon. Special shoutout to @dapphub for a dynamite collaboration.
Check out K Lab from @dapphub for the KEVM
The KLab tool interactively explores execution traces produced by the K Framework
This is what I call magic. Thank you so much for this amazing tool!
https://t.co/se0usxUktg
@InputOutputHK@IOHK_Charles@rv_inc
@nic_carter We believe that the free software movement is the most important cultural predecessor to the modern-day renaissance in decentralized technologies
Trail of Bits is doing the most incredible work, taking the tooling of deep offensive research into the realm of proper software engineering. https://t.co/rWfzeUkdV1