Belmod:使用Rosette语言和Z3生成智能合约的智能合约系统

【文件属性】：
文件名称：Belmod:使用Rosette语言和Z3生成智能合约的智能合约系统
文件大小：19KB
文件格式：ZIP
更新时间：2021-05-01 08:10:50
Racket 贝尔莫德 使用Rosette语言和Z3生成智能合约的智能合约系统

【文件预览】：
Belmod-Blogpost
----TESTME.rkt(11B)
----data.tsv(353B)
----TODO.org(2B)
----syntheticsmartcontract.rkt(3KB)
----LICENSE(11KB)
----ANN.rkt(5KB)
----gas-price.js(928B)
----examples()
--------sol-assert.rkt(730B)
--------champa.rkt(6KB)
--------shipping-synthesis.rkt(23KB)
--------multisig-wallet.rkt(14KB)
--------example-java-contract.java(1KB)
--------unitzero.rkt(2KB)
--------lllc-smart-contract.rkt(82B)
----.gitignore(44B)
----README.md(98B)
----ingest.rkt(0B)