文件名称:Belmod:使用Rosette语言和Z3生成智能合约的智能合约系统
文件大小:19KB
文件格式:ZIP
更新时间:2024-05-21 01:57:30
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)