Crypto | Mythril (MITH) Mobile Size Whitepaper
Mythril Platform is a SaaS solution that brings advanced security analysis directly into smart contract development environments and build pipelines. It allows anyone to create purpose-built Ethereum security tools (“Mythril tools”). Mythril tool developers automatically earn rewards based on the usage of their tools.
本ページに掲載しているホワイトペーパーは、スマホ／モバイルでの読解の補助を目的に、原文を成形しストックしたものです。 原文はこちらをご覧ください。 https://mythril.ai/files/whitepaper.pdf
Mythril Platform is a SaaS solution that brings advanced security analysis directly into smart contract development environments and build pipelines. It allows anyone to create purpose-built Ethereum security tools (“Mythril tools”). Mythril tool developers automatically earn rewards based on the usage of their tools. End users use Mythril tools, such as Truffle plugins, IDE extensions and CI scripts, which are easy to install and work out-of-the-box.
With Mythril Platform, we also introduce a novel usage-based tokenized license system. Instead of doing an ICO, we will activate a market contract with buy and sell functions once the system goes into production. The system is designed such that token valuation reflects real-world demand for the service.
Mythril Platform is built by the creators of the Mythril smart contract security analyzer1, a popular Ethereum security tool that is used to secure many projects throughout the Ethereum ecosystem. It has been initiated to incentivize and fast-track the development of security tooling for the Ethereum ecosystem. The Mythril mission is to raise the baseline security level of all smart contracts deployed on the Ethereum blockchain.
The global blockchain industry is driven by increasing focus on transparency, immutability and scalability. Benefits offered by blockchain such as reduced total cost of ownership, faster transactions, and transparency and immutability are among the prominent market drivers.
Additionally, elevating adoption of blockchain for smart contracts, payments, and digital identities may offer avenues for market growth over the next seven years.
We have seen tremendous growth in 2017 - 2018 across all blockchain sectors but especially the Ethereum ecosystem driven by smart contracts. The industry is witnessing an upcoming trend of financial institutions and venture capitalists investing heavily in various blockchain and Ethereum based projects which is also anticipated to propel demand over the next several years.
Smart contracts help exchange money, property, shares, or anything of value in a transparent, conflict-free way while avoiding the services of a middleman. Using the Ethereum platform, smart contracts can be programmed using basic logic. On the most basic level, they can:
- Perform calculations (e.g. calculating interest)
- Store information (e.g. membership records)
- Send transactions to other accounts (e.g. payment for a good or service)
Today the value of the Ethereum market on its own is over $20 billion, and currently there are more than 88,000 ERC20 tokens with a combined market value in the billions of dollars. There are more than 1.7 million smart contracts deployed on mainnet and that number is growing.
Unfortunately, many Ethereum projects are at risk of failure due to security bugs in their smart contract or distributed application implementation.
There are plenty of examples for theft and loss of funds caused by smart contract security flaws. In June 2016, an attacker withdrew 3.6 million Ether from the DAO smart contract2 in the world's first large smart-contract hack. In July 2017, 153,000 Ether (at the time worth $30m) were drained from the Parity multisig wallet. In November 2017, 513,744 Ether ($150 million) were inadvertently locked in the same multisig wallet when an attacker “accidentally” killed the wallet contract.
Smart contract vulnerabilities are to a great extent caused by design: Ethereum's most popular programming language, Solidity, is easy to pick up, but the semantics of code executing in a decentralized system are difficult to understand, and there are many compiler quirks developers need to be familiar with. Nevertheless security is usually done post development as part of an audit, shortly before the smart contract system is deployed to the mainnet. This causes release delays and significant costs, especially when architectural changes are necessary.
Smart contract security tools exist, but they are difficult for developers to use. Reasons for this include:
- The tools are difficult to install and keep updated, and are incompatible with some environments;
- They don’t integrate well with development environments and build pipelines;
- Results are reported in ways that are only useful to security experts;
- Analysis techniques such as symbolic analysis are resource-intensive, leading to long waiting times which further reduces usability.
To permanently raise the baseline security level of all smart contracts deployed on the Ethereum blockchain, turnkey solutions are needed that fit the individual requirements of Ethereum developers.
Mythril tools seamlessly integrate with development environments and build pipelines used in the Ethereum ecosystem. End users, such as developers, testers and auditors, can use Mythril tools to address security from the beginning of the development lifecycle and continuing on through live deployment, with the following benefits:
- The majority of security issues are prevented during development;
- Faster time-to-market and significant cost reduction because code doesn’t have to be re-architectured at the late stage;
- Decreased risk of losing funds due to an error in the smart contract code.
The Mythril mission is to raise the baseline security level of all smart contracts deployed on the Ethereum blockchain. Our goals are to:
- Build a robust community and ecosystem for Ethereum security tools;
- Incentivize developers to build new security tools and facilitate their adoption;
- Improve trust in applications and smart contracts on the Ethereum blockchain which helps protect the reputation and value of the entity behind the contracts;
- Help protect end users from financial loss and code level security attacks;
- Facilitate and foster collaboration within the Ethereum security ecosystem and community.
Our open-source tool Mythril (now called “Mythril Classic”) has proven popular in the Ethereum ecosystem and is widely used by auditors and developers. As of October 19th 2018, Mythril Classic has been downloaded more than 200,000 times from Dockerhub and Pypi combined. The Mythril Classic Github repository and Mythril-related articles are within the top three organic Google results for most search terms related to smart contract security analysis, such as:
- smart contract security analysis tools
- Ethereum security tool
- smart contract security tool
- analyzing Ethereum smart contracts
Performance of the Mythril open source tool is on-par with the best tools on the market. With Mythril Platform, the Mythril team is upping their game: We are building a new set of security analyzers that incorporate the the most bleeding edge tech available.
Using a mix of proven Mythril components and novel security analysis modules, the Mythril team has built an API that provides a simple interface to powerful security analysis and utility functions (think “INFURA3 for smart contract security”). Tool developers can build Mythril security tools using an easy-to-use SDK. Security tools built on Mythril Platform don’t need to implement their own security analysis logic. Instead, they simply submit source code and/or bytecode to the API for analysis.
Mythril Platform combines symbolic execution, static analysis of the bytecode and source code, and dynamic analysis / input fuzzing, to provide the most accurate results possible.
End users, such as smart contract developers and auditors, don’t access the API directly, but instead use lightweight-tools built by the Mythril team and third party tool developers.
Mythril Platform can be plugged into a variety of tools that fulfill the needs of auditors and developers in the Ethereum ecosystem. Anyone can create Mythril-based tools and offer them in package managers and marketplaces for popular IDEs and code repositories. High-usability tools will be promoted in a Mythril tools marketplace.
Tools that can be built on Mythril Platform include:
- Command-line security analyzers for different development environments (e.g. Truffle);
- Integration for different environments (e.g. Github + CircleCI);
- Plugins for IDEs such as VS Code, Sublime Text, Atom and vim;
- Blackbox tools that analyze bytecode on the testnet or mainnet;
- Integration with blockchain explorers for large-scale analysis.
Building on the existing Mythril platform, we will implement a license token that will allow professional users to access advanced service levels and features. As we have no need to raise Ether, the token will be launched without a traditional ICO, and is designed such that its value is derived from actual usage.
Mythril tokens (MYTH) work as divisible software licenses that grant access to advanced service levels (i.e., better rate limits, execution speed and reserved computing power) in Mythril Platform. This system offers advantages to both Mythril tools developers and end users:
For Mythril end users:
- Pay-per-use: We are enabling a true utility-based usage model, where tokens are deducted for actual use only. Unused tokens can be sold back to the market at any time.
- Transferability: Mythril subscriptions are divisible and can be shared and transferred between users simply by sending tokens, Ths gifting dynamic can act as a driver for viral growth.
- Passwordless login: Users are identified by the pair API key and can be authenticated using the Ethereum private key. Users do not necessarily have to enter personal information.
For the Mythril team, tool developers and contributors:
- Revenues generated by Mythril tool users can be split easily and transparently in a decentralized fashion between contributors, tool developers and the Mythril team.
- Significant savings in transaction fees as opposed to accepting credit card payments or Paypal.
The tokenized license system works by separating the purchasing of a plan into two steps. In order to optimise UX, these steps can be combined into a single transaction and the user can be presented with a familiar “choose a plan” page and checkout process.
The first step is to purchase MYTH tokens from a market contract. The market mints tokens when they are bought, and burns them when they are sold. The effective price for each order is calculated based on a custom bonding curve that is designed to discourage speculation, reward early adopters and provide price stability at a certain point of adoption.
The second step is to exchange these tokens for a license by depositing them into the license contract. The first plan on offer will be a daily “pay as you go” plan. When the user makes an API call, the API will check with the license contract to ensure that the user has an active plan. If the daily plan is priced at, say, one token per day, for every day where at least one API call is made, one token is deducted from the user’s balance. The user can then make as many API calls as they want within that day and they will not be charged for days where they don’t make any API calls.
If the user decides that they won’t need to use the API for a while they can simply withdraw their unused tokens and either transfer them to other users or sell them back to the market. Tokens that have been used remain in the license contract and will be distributed accordingly between contributors, tool developers and the Mythril team, who can in turn choose to sell them back to the market.
To keep the tool discovery and setup process as frictionless as possible, Mythril tools will be offered primarily via widely used marketplaces and package managers, and will be installed through the respective mechanisms (e.g., Github marketplace, NPM, or IDE extension browser). Developers download and install Mythril tools in their familiar environment.
Every Mythril tool has a mandatory setup step that requires the user to enter Mythril Platform account credentials. To create an account, the user must visit a dapp running on the Mythril website4 with a web3-ready browser (e.g. Chrome with Metamask) and sign up with their Ethereum address.
By default, newly generated accounts run on the free license plan. The free plan is associated with a rate limit that restricts the number of analysis passes within specific timeframes.
Professional users, such as developers that seek to use the API within a larger team or CI environment, are encouraged to upgrade to a paid plan to do so. Furthermore, some advanced features will be available to paying subscribers only.
The Mythril team consists of some of the best minds in Ethereum security and token economics. We have a successful history in shipping products, including the popular Mythril security analyzer, and are the forefront of smart contract security research and token-powered subscription systems.
Bernhard Mueller - Hacker in Residence
Bernhard is the creator of the Mythil security analyzer. He has a long track record in the application security industry. Besides disclosing critical vulnerabilities in products such as MS SQL Server, Internet Explorer and Adobe Flash, he has published articles and papers in a variety of fields including Internet protocols, web apps, operating systems and server software. Bernhard has received two nominations (and one win) for BlackHat’s “Most Innovative Research” Pwnie award, including for his work on the security analysis technology that powers Mythril.
Tom Lindeman - Business Strategist
Tom is a co-founder of ConsenSys Diligence and co-chair of Enterprise Ethereum Alliance Security Working Group. Currently creating web3 crypto token economies on the Ethereum blockchain with focus on disruptive decentralized products, security, developer tools, and
n-sided ecosystems. Formerly CEO of Shinobi Cyber, Inc. and Founder of InterShare with twenty years of Microsoft experience identifying, creating and delivering innovative products and technologies to market.
Joran Honig - Engineer and Researcher, Security Analysis
Joran is a long-term member of the Mythril core development team with a focus on symbolic execution and security analysis. As a Masters student in Cyber Security at the University of Twente, he is the proverbial young genius on the team. His contributions include advanced integer overflow detection, symbolic execution search strategies, callback support,multi-transactional analysis, and many other fundamental improvements.
Rocky Bernstein - Software Engineer, Mythril Tools
Rocky is a long-time open-source developer and advocate. He started his full-time career at IBM Research, working on an optimizing compiler for IBM's RISC processor. There he was introduced to elliptic curves by Victor Miller before they came into use in cryptography. He has since worked as a contractor for the Climate Studies department of NASA, for a New York financial firm, a university and many start-ups. As a Mythril engineer, he focuses on melding static analysis information with dynamic information to provide better results than either can provide on its own.
Valentin Wüstholz - Engineer and Researcher, Security Analysis
Valentin is a researcher in the area of program analysis, formal methods, and software security. He is passionate about developing tools and techniques that allow us to produce more reliable and correct software. He has held positions both in academia (at ETH Zürich and UT Austin) and in industry (at Microsoft and Google). Three of Valentin's papers on program analysis, formal methods and software security received best paper awards (at FM 2011, ICSE 2016, and TACAS 2017). Valentin has also been a lead developer for several program analysis tools and has been contributing to various other program analysis tools, such as Boogie, Clousot, Dafny, and Spec#.
Gerhard Wagner - Engineer and Researcher, Dev Tools and SaaS platform
Gerhard is security professional who has made significant contributions to the IT security space as a security researcher, hacker, engineer, public speaker and entrepreneur. With his passion for engineering and building tools and his more than a decade of experience in the software security space, he wants to help the community to build more secure and resilient smart contract systems.
Federico Gimenez - Software Engineer, Node.js and API
Federico is a tech professional with 15+ years of experience. He is especially interested in all the processes that surround the product lifecycle, not only the development effort by itself.
Previously, he worked as a senior software engineer on the Ubuntu Core Team at Canonical, as well as the lead release engineer at Giant Swarm.
Nikhil Parasaram - Software Engineer, Mythril Symbolic Analyzer
Nikhil Parasaram is a researcher at the International Institute of Information Technology in Hyderabad. As one of the earliest key contributors to the Mythril project, he has made significant contributions to both the symbolic execution backend and the “myth” command line tool. He has a keen eye on identifying problems in the code, as well as the skill for fixing them.
Dominik Muhs - Software Engineer, Mythril Symbolic Analyzer
Dominik is a hacker from Dresden, Germany. Since March 2018 he has been working with technology related to the Ethereum ecosystem, doing jobs ranging from backend development and data engineering to data science. To satify his urge to tinker with technology (and occasionally break things), he has joined ConsenSys Diligence as a security engineer. Apart from playing around with data, he enjoys long walks through online communities and the occasional real-world beer.
John Griffin - Advisor, License System and Token Design
John is the founder and CTO of Atchai Digital, a product development company that has successfully delivered products serving millions of users for Bank of England, NHS, Unilever, Danone, Parity PLC, Inition, UEFA, Turner Broadcasting, Internews Europe, Mencap, and many smaller but ambitious startups.
As an initiator of the ERC948 Recurring Payment standard, John is a thought leader in decentralized and token-based subscription systems. In his role as an advisor on the Mythril team, he co-leads and supports development of the decentralized SaaS licensing system.
Mythril partners fall into two categories:
- System Development Partners are instrumental in building out the Mythril platform and system and may be companies or individuals that provide work for hire or open source contributions.
- Platform Integration Partners build features, extensions and tools powered by the Mythril platform. These partners will be provided with early access to API releases and direct support from the Mythril team through a dedicated partner portal.
The ConsenSys Diligence team specializes in smart-contract security engineering and audits. Working with clients such as Gnosis, WeiFund, SingularDTV, uPort, and adChain, they are actively involved in writing and reviewing code deployed in production systems on private chains at some of the largest Fortune 500 companies in the world.
Gitcoin is an open source incentivization platform where projects post bounties on Github issues that are then solved by the Gitcoin (and broader Web3) community. They've worked with projects like Augur, Decentraland, Truffle, Parity, Geth, and Solidity, and currently have Ethereum Foundation and ECF grants to help fund core web3 infrastructure.
Established in 2010, Atchai is a digital consultancy and development house based in London, UK. The Atchai team works closely with customers to develop innovative digital products, specialising in data-driven and blockchain-based applications.
As a system development partner, Atchai support the Mythril project in developing the token-based, decentralized licensing system.
Building the right tools for every programming language, development environment and build pipeline is a near-impossible task. With Mythril Platform, we aim to build a tool ecosystem that offers significantly better usability, performance, reliability and support than all existing tools on the market.
A core element of this strategy is building a community of engaged security-minded developers and encouraging the creation of a wide variety of tools. To achieve this, we have designed a token model that rewards community members and tool developers. The tokens will be rolled out gradually without a traditional ICO and there will be no fundraising. Instead, we use a market contract system where the Ether received is used to back the value of the token.
In the long-term, we plan to expand the capabilities of Mythril beyond the Ethereum ecosystem to capture an even larger number of decentralized app and smart contract developers using other languages, compilers, and blockchains.
The Ethereum developer ecosystem is the biggest group of developers in blockchain space. As of June 2018, the number of Ethereum developers is 250,000 and Github lists 14,000 repositories and 220,000 commits concerning Ethereum5. If some percentage of Ethereum developers have a need for security analysis in during development and continuous integration cycles, we have a significant business opportunity to capture.
As of August 27th, Mythril has been downloaded via Pypi 114,791 times, and the official Docker container has been pulled from DockerHub 22,457 times. Based on these numbers, we estimate that 15-20% of all Ethereum developers have at least tried the open-source version of Mythril.
Another way of estimating the market opportunity for Mythril Platform is by looking at the number of smart contracts and decentralized applications and extrapolate that a percentage of them will be tested by Mythril at some point during their lifecycle.
Pramod Chandersekhar shows that several hundred thousand new smart contracts are deployed every quarter and that the rate at which new contracts are deployed is increasing rapidly. However, only 1% of smart contracts have shown high activity during their lifetime (more than 100 transactions) and another 5% have shown little activity (less than 10 transactions)6.
Based on those numbers, we estimate that 2% of all smart contracts on the mainnet are associated with legitimate projects that would benefit from the Mythril service. If we also estimate (conservatively) that 3,000,000 smart contracts will be deployed to the mainnet this year, this leaves us with 60,000 smart contracts deployed in 2018 that would benefit from our service.
Considering the numbers presented above, we think that we can realistically grow our user base to 10,000 users by the end of 2019, and to 100,000+ users by the end of 2024, assuming that growth of the Ethereum ecosystem and smart contract platforms overall continues. Additional drivers for demand of the MYTH tokens include:
- Premium packages that cost more MYTH (e.g. higher level of support);
- Integrations with Truffle, Visual Studio and other popular environments;
- Enterprise and partner plans with staking requirements;
- Future support for additional platforms (EOS, Cardano, NEO).
Mythril license tokens (MYTH) represent a license for professional use of the Mythril service. Purchasing license tokens unlock higher rate limits, execution speed and computing power in the Mythril platform. Our token model is significantly different from other projects in the blockchain space. Key tenets of the MYTH tokens are:
- Build a working product first. Our SaaS platform is fully built and tested before the MYTH token is released to the mainnet.
- Token is designed to reflect the real-world value of the service. The token price increases linearly with the amount of tokens in circulation. Token supply is calculated to match the expected user base and leave an upside to the price as demand for the service increases.
- No ICO. Tokens can be purchased via a market contract that implements buy and sell functions. The ETH paid for tokens remain in the contract account. Tokens are sent back to the market contract and burned, and Ether is returned based on the current bid.
MYTH tokens will become available three phases.Team, contributors, tool developers, partners and early adopters will have the opportunity to purchase tokens early at discounted prices. The token will become available to end users at an initial price of Ξ 0.001.
As the system goes into full production mode, a total of 3,000,000 MYTH will have been minted. 1,800,000 of the tokens will be locked into vesting schedules or reserved for bounties. We believe that the tokens supply will be adequate to support the our user base by 2019, and aim create enough demand to justify a circulating supply of 7,000,000 tokens within 5 years.
In this phase, the founding team will purchase the initial batch of 2,000,000 MYTH tokens at Ξ
0.00001 each. The tokens are divided as follows:
- 55% (1,100,000 MYTH) go to the Mythril team. This allocation is paid out gradually via a vesting schedule.
- 25% (500,000 MYTH) go to ConsenSys after a lock-in period in return for funding initial development.
- 10% (200,000 MYTH) Bounties and development fund for community projects.
- 10% (200,000 MYTH) Community pool for early contributors.
Early adopters phase
An additional 1,000,000 tokens are made available for purchase by partners, contributors and early adopters. Buyers must apply on the Mythril website to be added to a whitelist and the maximum amount of tokens that can be purchased will be capped. The price for minting tokens will start at Ξ 0.00001 and top out at Ξ 0.001 when total supply reaches 3,000,000 MYTH.
Purchases are capped as follows:
- Up to 20,000 MYTH for individuals
- Up to 100,000 MYTH for partners
The MYTH token becomes available to end users. Token purchase price in the market contracts contract starts at Ξ 0.001 per token and increases linearly with supply.
The buyback function of the market contract activates at the start of this phase. Tokens can now be sold back to the market contract. Any tokens received by the contract are burned, and ETH is paid out to the sender accordingly at the current rate.
Mythril tool developers will be able to register in the license contract, and will receive a share of the incoming MYTH paid by end users. The sharing model will be developed together with the developer community during the testnet phase. Parts of the revenue will be routed into the community pool and token holders will be able to vote on the allocation of those funds.
Initial supply is based on estimates about the size of the addressable market. Initially, the following license models will be available:
- 24 hours of access (with up to 1,000 analysis passes) for 1 MYTH
- 30 days of access (with up to 1,000 analysis passes per day) for 20 MYTH
- 365 days of access (with up to 1,000 analysis passes per day) for 200 MYTH
As the system gains adoption the following will happen:
- A larger amount of MYTH will be locked in the license contract at any point in time. Consequently, a larger supply of MYTH is needed to support the user base.
- A revenue flow of MYTH tokens to the Mythril team and community is established.
Received MYTH are distributed between the Mythril team and Mythril tool developers with a split based on the daily active users of each tool.
The fiat price of MYTH is determined by the size of the user base and the maximum price users are willing to pay for using the service.
Below, we discuss some important considerations and potential risks associated with our token model.
Some properties of the Mythril license system could be realized by using Ether or an existing stablecoin instead of a custom token. However, creating a closed-loop token economy has some neat advantages:
- Price discovery. We think of the MYTH token as a divisible and transferable software license rather than a currency. In our system, the platform is seen as a scarce resource and ownership of MYTH represents the right to use it. Price goals will be reached only if we entice a large enough user base to pay a reasonable price for the service (i.e., the value provided by the Mythril tools ecosystem is reflected by the token price).
- Boosting the ecosystem. Our goal is to incentivize third-party developers and partners to integrate Mythril tools into every possible environment. Developers who receive payments in the form of MYTH tokens have “skin in the game” and benefit from the overall growth of the Mythril tools ecosystem.
What prevents early token holders from dumping their tokens?
In a worst-case scenario, a large percentage of early token holders could decide to sell their tokens to the market contract the moment the buy function gets activated, extracting the Ether and collapsing the price. To prevent this from happening we have the following controls in place:
- Access to the token is tightly controlled in the early stages. Team, community, contributors, partners, tools developers and early adopters will have access to tokens, while whales and speculators will be kept out.
- The amount of tokens purchasable during the early adopters phase is capped at 20,000 MYTH for community members and 100,000 MYTH for partners.
- Team allocations will be paid out quarterly according to a vesting schedule.
The key is to get tokens into the hand of community members and partners who truly believe in the success of the project. We are confident that the community will act in its own best interest by adding value to the system and growing the user base.
Wouldn’t high volatility deter end users from using the service?
Using a token could leave end customers at a disadvantage, as the fiat price for accessing the API could be too volatile.
To mitigate this risk, or market contract implements use a linear price progression with a shallow gradient. In our system, price movements are less dramatic than in previously proposed bonding curve smart contracts which use exponential curves.
Users seeking to escape volatility can buy larger amounts of MYTH up-front to activate monthly and yearly pay-per-use plans.
The token lacks marginal utility. Why would anyone want to own more than 1 token?
One key element of our design is the license contract. Users commit batches of tokens to the license contract, and the API tracks usage of the tokens. Long-term subscriptions, which come with a discount, require users to commit more MYTH in the license contract. The larger the user base gets, the more tokens will be locked in the license contract at any point in time, increasing the total supply necessary to support the Mythril economy.
Developers who hold MYTH gain the right to vote on the distribution of community funds. Voting weight is determined by amount of tokens held. Developers are incentivized to hold some tokens to gain a say in the further development of the system.
The alpha release of Mythril Platform is made accessible to a select group of developers. During this phase, the interface and backend technology are still undergoing significant changes. The goal of this phase is to make the service robust enough for public beta testing and to expand the team and community.
In the beta testing phase we open up the security analysis API to tool developers and end users. Initially, testnet MYTH can be used to access the service. Developers can now start to build Mythril tools that use the API.
The main goals of this phase are to establish an enthusiastic community of developers and early testers, polish the system based on their feedback, and setup a fair usage-based revenue sharing model to incentivizes all participants to take part in the system.
The MYTH token market contract and license contract are deployed on the Ropsten testnet. The testnet phase allows us to test and refine the licensing system before the mainnet MYTH token is launched. Testnet MYTH can be minted by sending testnet ETH to the market contract.
The MYTH market contract is deployed on the mainnet, but license plans are still activated with testnet MYTH.
During this phase, whitelisted team members, contributors, partners and early adopters are allowed to purchase tokens, and contributors who made active contributions during the alpha and beta testing will receive MYTH from the community pool. Tokens cannot be sold back to the market contract until the system goes into production.
Scimitar marks release 1.0 of Mythril Platform. The system is fully tested, and comprehensive documentation and end user support are available.
The license system switches to the mainnet MYTH token. The MYTH market contract enters production phase. The whitelist is deactivated and the “buy” function is activated, starting the price discovery mechanism.
Development does not stop after the mainnet launch. All aspects of the system, including security analysis engine, API and SDKs, will be improved continuously.
For API version 2 (Ultima), we plan a substantial rewrite of the API to enable multi-transactional analysis and highly configurable static, dynamic and concolic testing. API v2 will be available to paying subscribers only.