SolInv/Venti – 索利文/文蒂区块链毕设代写

区块链毕设代写本文提供国外最新区块链项目源码下载,包括solidity,eth,fabric等blockchain区块链,SolInv/Venti – 索利文/文蒂区块链毕设代写 是一篇很好的国外资料

SolInv/Venti

An RL Solution for Invariant Synthesis in Solidity

Requirements

  • PyTorch (tested under 1.9)
  • RLlib (tested under 1.6.0)
  • SolidTypes (list-sto-vars branch)

SolInv/Venti inherits part of the Trinity and ReMorpheus frameworks, but you don’t have to install them.

Commands

python ./example0.py tensorboard --host 0.0.0.0 --logdir=~/ray_results

Design Notes

Reward Design

# ================================ # # ====== reward computation ====== # # ================================ # # hm: heuristic multiplier (default 1.0, any heuristic failing will make it 0.1) # rm: repeat multiplier (default 1.0, computed by 1.0/<times>) # all rewards will be multiplied by hm and rm # there are different cases # if the invariant is complete #   - if it fails some heuristics: 1.0 #   - else #     - if it fails the checking: 0.1 #     - if it passes the checking: 10.0 * percentage_of_constraints_passed  # if the invariant is not complete #   - but it reaches the max allowed step: 0.0 (which means it should've completed before) #   - and it still can make more steps: 0.1 (continue then) 

Useful Resources

  • https://docs.ray.io/en/latest/rllib-training.html#customizing-exploration-behavior
  • https://docs.ray.io/en/latest/rllib-training.html#getting-started
  • https://codepen.io/sosuke/pen/Pjoqqp

TODO’s

  • ✓ Cache the graph for every contract.
  • ✓ Repeat multipliers should be using different denominators across contracts.
  • ✓ Investigate into the memory overflow issue.
  • ✓ Improve action masking to rule out redundant flex actions.
  • ▢ Enable GPU support.
  • ▢ Switch to a more precise DSL.
  • ▢ Investigate reason of slow back propagation (need GPU?).
  • ▢ Use Slither to generate more compact graph representation.

SolInv/Venti

Solidity中用于不变合成的RL解决方案继承了Trinity和ReMorpheus框架的一部分,但您不必安装它们

要求

  • SolidTypes(列出STOVARS分支机构)
  • RLlib (tested under 1.6.0)
  • https://docs.ray.io/en/latest/rllib-training.html#customizing-勘探行为https://docs.ray.io/en/latest/rllib-training.html#getting-开始

SolInv/Venti inherits part of the Trinity and ReMorpheus frameworks, but you don’t have to install them.

命令

python ./example0.py tensorboard --host 0.0.0.0 --logdir=~/ray_results

设计说明

奖励设计

# ================================ # # ====== reward computation ====== # # ================================ # # hm: heuristic multiplier (default 1.0, any heuristic failing will make it 0.1) # rm: repeat multiplier (default 1.0, computed by 1.0/<times>) # all rewards will be multiplied by hm and rm # there are different cases # if the invariant is complete #   - if it fails some heuristics: 1.0 #   - else #     - if it fails the checking: 0.1 #     - if it passes the checking: 10.0 * percentage_of_constraints_passed  # if the invariant is not complete #   - but it reaches the max allowed step: 0.0 (which means it should've completed before) #   - and it still can make more steps: 0.1 (continue then) 

有用资源

  • https://codepen.io/sosuke/pen/Pjoqqp
  • https://docs.ray.io/en/latest/rllib-training.html#getting-started
  • ✓ 缓存每个合同的图形

TODO’s

  • ✓ 重复乘数应在合同中使用不同的分母
  • ✓ 调查内存溢出问题
  • ✓ 改进动作掩蔽以排除冗余的flex动作
  • ▢ 启用GPU支持
  • ▢ 切换到更精确的DSL
  • ▢ 调查慢反向传播的原因(需要GPU?)
  • ▢ 使用Slither生成更紧凑的图形表示
  • ▢ Use Slither to generate more compact graph representation.

部分转自网络,侵权联系删除区块链源码网

www.interchains.cc

https://www.interchains.cc/25080.html

区块链毕设网(www.interchains.cc)全网最靠谱的原创区块链毕设代做网站 部分资料来自网络,侵权联系删除! 最全最大的区块链源码站 ! QQ3039046426
区块链知识分享网, 以太坊dapp资源网, 区块链教程, fabric教程下载, 区块链书籍下载, 区块链资料下载, 区块链视频教程下载, 区块链基础教程, 区块链入门教程, 区块链资源 » SolInv/Venti – 索利文/文蒂区块链毕设代写

提供最优质的资源集合

立即查看 了解详情