竹：改变智能合约的语言 康奈尔区块链表示，他们现在可以维护Bamboo编译器。 Bamboo是以太坊合约的一种编程语言。 Bamboo默认情况下使状态转换明确，并避免了重入问题。 有关动机，请参阅；如果要首先部署某些内容，请参见如果需要类似定义的内容，请参见。 竹代码示例 编译器 Bamboo编译器有时会生成字节码，需要对其进行测试。 作为准备， 安装与OCaml的4.04.1 opam install bamboo应该安装bamboo 。 当您检出此存储库时， bamboo <