Hello, I'm creating this proposed talk as a GitHub issue, as requested by Ligi.
-
Title: Smart contract development with TokenSPICE & Brownie
-
Description: This talk describes a Solidity development flow that includes EVM agent-based modeling to verify incentives and long-term behavior. The talk with will discuss how Eth-Brownie treats Solidity objects as Python objects, enabling more Python-based development flows. Then it describes how to use TokenSPICE to verify the code via time-domain simulations involving many interacting agents. The flow is illustrated with two real-world use cases. This is analog verification, which complements digital verification done by smart contract auditors and tools like HEVM.
-
Speaker / Bio: Trent McConaghy co-founded Ocean Protocol, building decentralized tools to level the playing field for AI and data. He has worked on AI since the mid 90s, Python since the early 2000s, and blockchain since 2013.
-
When: mid Feb 2022 or later. Exact date TBD
Hello, I'm creating this proposed talk as a GitHub issue, as requested by Ligi.
Title: Smart contract development with TokenSPICE & Brownie
Description: This talk describes a Solidity development flow that includes EVM agent-based modeling to verify incentives and long-term behavior. The talk with will discuss how Eth-Brownie treats Solidity objects as Python objects, enabling more Python-based development flows. Then it describes how to use TokenSPICE to verify the code via time-domain simulations involving many interacting agents. The flow is illustrated with two real-world use cases. This is analog verification, which complements digital verification done by smart contract auditors and tools like HEVM.
Speaker / Bio: Trent McConaghy co-founded Ocean Protocol, building decentralized tools to level the playing field for AI and data. He has worked on AI since the mid 90s, Python since the early 2000s, and blockchain since 2013.
When: mid Feb 2022 or later. Exact date TBD