Yoichi Hirai

a convenience logician

Latest

What I think about what KEVM people think about EVM

I stumbled upon an interesting document by the KEVM project. The KEVM project is an attempt at defining the Ethereum Virtual Machine, whose goal overlaps with eth-isabelle project. The nature of these projects involves typing in some of the…

Empty this Ethereum contract on Ropsten written in Bamboo!

I have been developing Bamboo, a programming language for Ethereum contracts. It is super-immature. Every time I write a new contract, I find a bug in the compiler. So, please help me find bugs in the Bamboo compiler by emptying…

Bamboo compiler started producing EVM bytecode

It’s been nine months since I started working on the Bamboo compiler. There was a long dormant period, but this week the compiler started emitting some bytecode. Some of the compiled code even work as intended. So, have a look at the GitHub repo or…