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…
Designing a new virtual machine and universal language framework
Guest blog from Professor Rosu explains the work being done in a partnership between Runtime Verification and IOHK
2017年 10月 26日 8 分で読めます
Designing a new virtual machine and universal language framework - Input Output
The IELE and K team Mathematical rigor and good design of programming languages and underlying virtual machines are critical for the success of blockchain technologies and applications. Indeed, decades of accumulated evidence show that formal techniques and their early adoption in the design of computing systems can significantly increase the safety, security and dependability…
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…
Designing a new virtual machine and universal language framework
Guest blog from Professor Rosu explains the work being done in a partnership between Runtime Verification and IOHK
2017年 10月 26日 8 分で読めます
Designing a new virtual machine and universal language framework - Input Output
The IELE and K team Mathematical rigor and good design of programming languages and underlying virtual machines are critical for the success of blockchain technologies and applications. Indeed, decades of accumulated evidence show that formal techniques and their early adoption in the design of computing systems can significantly increase the safety, security and dependability…
最新の記事
Advancing Ouroboros: Leios as the next leap in scalability 筆者: Olga Hryniuk
17 April 2025
Ouroboros Peras:Cardanoのトランザクション決済を加速 筆者: Emmanuel Ameh
11 April 2025
プログラム可能なトークンの新設計でCardanoの「凍結と押収」機能を実証 筆者: Jann Müller
12 March 2025