Blockchain: Links And Resources (300)

Previous Post
Next Post

K Framework
http://www.kframework.org/index.php/Main_Page

K Semantics of the Ethereum Virtual Machine (EVM)
https://github.com/kframework/evm-semantics

KEVM: A Complete Semantics of the Ethereum Virtual Machine
https://www.ideals.illinois.edu/bitstream/handle/2142/97207/hildenbrandt-saxena-zhu-rodrigues-guth-daian-rosu-2017-tr_0818.pdf

Defining the semantics of K in K
https://github.com/kframework/k-in-k

How Formal Verification of Smart Contracts Works
https://runtimeverification.com/blog/how-formal-verification-of-smart-contracts-works/

How Formal Verification Can Ensure Flawless Smart Contracts
https://media.consensys.net/how-formal-verification-can-ensure-flawless-smart-contracts-cbda8ad99bd1

What I think about what KEVM people think about EVM
https://medium.com/@pirapira/what-i-think-about-what-kevm-people-think-about-evm-78d99191b57e

El desarrollo de loyalty para Flips
https://www.youtube.com/watch?v=vkXBSU1T0Fk

Angel “Java” Lopez
https://github.com/ajlopez
http://www.ajlopez.com
http://twitter.com/ajlopez