IELE: A New Virtual Machine for the Blockchain
Specialized smart contract execution on the blockchain
2017年 12月 15日 8 分で読めます
IELE- A New Virtual Machine for the Blockchain - Input Output
Runtime Verification (RV) is proud to release their first version of IELE, a new virtual machine for the blockchain.
What is IELE?
IELE is a variant of LLVM specialized to execute smart contracts on the blockchain. Its design, definition and implementation have been done at the highest mathematical standards, following a semantics-first approach with verification of smart…
Simplicity
Only once in my life have I encountered a programming language that was too simple to use. That was Lispkit Lisp, developed by Peter Henderson, Geraint Jones, and Simon Jones, which I saw while serving as a postdoc at Oxford, 1983–87, and which despite its simplicity was used to implement an entire operating system. It is an indightment of the field of programming…
What is our release strategy for Cardano?
A new development approach from IOHK engineers will bring benefits to users
2017年 12月 1日 4 分で読めます
Since the release of mainnet, IOHK engineers have not only started work planning the new features of Shelley, the next big release, but have also been evolving the way they work. The biggest change is that the team developing Cardano will follow a new release cycle where updates are more regularly made to the live software. This is now possible because we have the foundation of…
Ethereum Classic community comes together at successful Hong Kong summit
Principles and plans for growth unite participants at event organised by Grayscale
2017年 11月 22日 10 分で読めます
Since day one, Ethereum Classic has been driven by principles. What began as a disparate group of people who came together after the DAO hack and the consequent hard fork on Ethereum has now become a strong and growing community, united by a belief in immutability and that code is law. So it was tremendously exciting to see everyone gather at the first Ethereum Classic Summit…
Writing a High-Assurance Blockchain Implementation
Guest blog from Edsko de Vries, who is working on the high assurance implementation of the Ouroboros blockchain protocol
2017年 11月 3日 9 分で読めます
Writing a High-Assurance Blockchain Implementation - Input Output
In our previous blog post Cryptocurrencies need a safeguard to prevent another DAO disaster we discussed the need for high assurance development of cryptocurrencies and their underlying blockchain protocols. We also sketched one way in which one might go about this, but we did not give much detail. In this follow-up blog post we delve into computer science theory a bit more…
最新の記事
暫定憲法委員会選挙におけるIOGの投票 筆者: Tim Harrison
27 June 2024
Ouroboros Genesisの設計更新情報 筆者: Nicolas Frisby
8 May 2024
フルP2Pノード稼働に向かって 筆者: Marcin Szamotulski
14 March 2024