文件名称：MultiBranch:MultiBranch 锻造仿真工具
文件大小：1.56MB
文件格式：ZIP
更新时间：2024-07-25 15:00:41
Coq
这是 PoS 加密货币网络的多分支锻造模拟工具。 请阅读我们的论文： （很快会有更多论文） （我们所有的文章和论文都可以在找到） 跑步 如果您使用 Linux，您可以下载并运行现成的可执行程序。 在那里下载带有锻造模型参数的存档和配置文件 如果您使用其他操作系统或不想运行下载的二进制文件，请从源代码编译程序并运行。 编译 编译你需要： GHC haskell 编译器。 sudo apt-get install ghc cabal-install 用于外部 haskell 软件包安装sudo apt-get install cabal-install ConfigFile 包，可以本地安装cabal install ConfigFile 然后运行compile.sh shell-script for Linux 来编译源代码 除非手动指定另一个名称，否则可执行文件名称为multi
【文件预览】：
MultiBranch-master
----simplot.gp(455B)
----.gitignore(130B)
----constants.hs(202B)
----compile.sh(151B)
----LICENSE(18KB)
----README.md(3KB)
----multibranch.cfg(447B)
----multibranch.hs(6KB)
----forging.hs(6KB)
----coq()
--------HashTable.v(9KB)
--------POStructures.v(16KB)
--------Hex.v(3KB)
--------LTree2.v(47KB)
----postructures.hs(38KB)
----multibranch(4.85MB)