Weekly Twitter Summary (2018-06-03 – 2018-06-09)
Keep your finger on the pulse of the latest #cryptocurrency [...]
#238 Amrit Kumar & Dr.Ilya Sergey: Scilla – A Formal Verification Oriented Contract Language
We are joined by Dr. Amrit Kumar and Dr. Ilya Sergey to discuss Scilla, the smart contract language of the upcoming Zilliqa blockchain. In a previous episode, we've already covered the vision and technical approach of Zilliqa to solve the transaction scalability problem of permissionless blockchains. This episode focuses specifically on their smart contract language development efforts.
#238 Amrit Kumar & Dr.Ilya Sergey: Scilla – A Formal Verification Oriented Contract Language
Support the show, consider donating: BTC: 1CD83r9EzFinDNWwmRW4ssgCbhsM5bxXwg ETH: 0x8cdb49ca5103Ce06717C4daBBFD4857183f50935 With the rise of smart contract technology, we’ve become acutely aware of the need for smart contract code to accurately ...
Weekly Twitter Summary (2018-05-27 – 2018-06-02)
RT @Gadienre: Another Blockchain conference? NO. This one is DIFFERENT: [...]
IBM panel seeking CVA members in San Francisco
We recently received word from the Trade Commissioner Swiss Business Hub [...]
CO accounting for cryptocurrencies
Authors: Markus Vogel (Co-Chair Working Group Tax / Accounting / [...]
