Please describe your proposed solution.
We are proposing to provide the initial set of supporting tools and knowledge to bootstrap token engineering in the Cardano ecosystem. Token engineering is the pragmatic application of science to economic problems using tokens and market mechanisms.
Rich token systems have complex interactions. The current approach to designing a token system is to copy a successful design and tweak it to come up with a set of parameters that you 'feel' are right. The approach is hit-or-miss, it could very well work however, may not be efficient or effective. It's like building a bridge, you can come up with a cool design based off ten other bridges. However the local context will be different and a strong wind causes the bridge to collapse. Our modern blockchain equivalent was the 2016 DAO Attack on Ethereum.
Copying previous designs is limiting and ideally you should validate and optimise a design before investing effort implementing it. The design of Cardano exemplifies a rigorous research led engineering project. We would like to apply this approach to the analysis, modelling and simulation of token-based micro-economic systems.
One open-source tool, specifically engineered for modelling and simulation of dynamic token-based systems is cadCAD (complex adaptive dynamics computer-aided design). cadCAD is a powerful tool which can be used to model complex systems and run simulations. Simulations such as Monte Carlo simulations with parameter sweeps and A/B testing can be performed. These provide insights into variability, parameter combinations and model comparisons, respectively. cadCAD and the associated practise of token engineering has been used extensively on Ethereum based projects, but only one project we are aware of exists in Cardano. We want to change that.
The core of our proposed solution is to implement and deliver four things:
- An extensive Stake-pool cadCAD Model that demonstrates cadCAD and token-engineering tooling using a well known, real-world Cardano example of market mechanism - Stake-Pool revenue and rewards calculation.
- Chain data availability in SQLite/BigQuery for use in the Stake-pool Model.
- Documentation and tutorial video covering the design, implementation, and use of the Stake-pool model in cadCAD.
- Proposal content documentation translated to Japanese, as the first non-english language. Our future plan is to support numerous Asian languages.
All code and tutorial content will be accessible and hosted on the tokenflows community website (tokenflows.xyz) and GitHub organisation (tokenflows). All tutorial text and subtitles will be translated to Japanese to make it accessible to that community.
Note: Our intention is to start building a community around token engineering practice. As such we are currently developing a website, tokenflows.xyz to be the central place to collect tutorials, code, and articles on EUTxO token engineering. The initial website will host this proposal and be available for community review. All proposal outputs will also be hosted on tokenflows.xyz
Depending on our overall progress we also have three stretch-goals we would like to achieve:
- Implementing the Nix Flake on Windows WSL.
- Setup a hosted environment for the stake-pool model using either AWS or Fly.io to make it easier to get started. Using Nix, DivNix and Terraform.
- Translate the stake-pool Notebook content into a Japanese version.
The aim is to bootstrap a token engineering community for the Cardano and EUTxO chains. Hence, the project will engage developers and engineers to understand the use of complex systems modelling in the UTxO environment. By doing so, they can apply token engineering to use tokens to coordinate actions.