Sami MäkeläinKeykoEnter the Dōjō: Celo Governance ProposalsKeyko’s how-to guide to creating Celo Governance Proposals for Upgrading System Contracts5 min read·May 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.6 min read·Dec 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…3 min read·Apr 5, 2017----