Sami MäkeläinKeykoEnter the Dōjō: Celo Governance ProposalsKeyko’s how-to guide to creating Celo Governance Proposals for Upgrading System ContractsMay 15, 2020May 15, 2020
Sami MäkeläinTruebitJIT for TruebitThe main overhead in interpreting Truebit VM code is that on each step, all the stuff like stack have to be updated in the memory.Dec 21, 2018Dec 21, 2018
Sami MäkeläFormalizing Ethereum transactionsA new addition to the project of formalizing Ethereum and proving Ethereum contracts correct is the formalization of transactions. The…Apr 5, 2017Apr 5, 2017