# Cardano Smart Contracts Testnet Release **URL:** \ **Category:** Developers\ **Created:** [28 May 2018 13:12 UTC](https://forum.cardano.org/t/cardano-smart-contracts-testnet-release/12427 "2018-05-28T13:12:51Z")\ **Posts on this page:** 11\ **Page:** 1
**Author:** ![IOHK\_Laurie](https://sea1.discourse-cdn.com/flex023/user_avatar/forum.cardano.org/iohk_laurie/32/1015_2.png) [@IOHK\_Laurie](https://forum.cardano.org/u/IOHK_Laurie)\ **Post date:** [28 May 2018 13:12 UTC](https://forum.cardano.org/t/cardano-smart-contracts-testnet-release/12427/1 "2018-05-28T13:12:51Z")
IOHK is pleased to announce the release of the KEVM [testnet](https://testnet.iohkdev.io/goguen/). This is the first smart contracts testnet for Cardano. Smart contracts must be formally verified, so they run exactly as specified and are free from bugs or flaws. Only then can they be widely adopted as financial infrastructure that can be relied upon by billions of people. The KEVM is a correct by construction version of the Ethereum Virtual Machine (EVM) specified in the K framework. This technology, produced by Runtime Verification with the support of IOHK, is the first time that a complete formal semantics of the EVM have been produced. This is an important first in cryptocurrency that is a necessary step towards the promise of third-generation blockchains. Developers will be able to take any application that runs on the EVM and execute it on the KEVM, which can also be used to rigorously prove that smart contracts work correctly. This is done by formally specifying a contract’s desired properties in K, combining the contract with the KEVM specification, and then using the K framework to verify those properties. Read the [full statement](https://iohk.io/blog/first-cardano-testnet-launches-for-smart-contracts/) and watch our [video](https://www.youtube.com/watch?v=7f6MTEPoJxo) introducing the Cardano testnets. Team IOHK ---
**Author:** ![vantuz-subhuman](https://sea1.discourse-cdn.com/flex023/user_avatar/forum.cardano.org/vantuz-subhuman/32/3976_2.png) [@vantuz-subhuman](https://forum.cardano.org/u/vantuz-subhuman)\ **Post date:** [28 May 2018 13:21 UTC](https://forum.cardano.org/t/cardano-smart-contracts-testnet-release/12427/2 "2018-05-28T13:21:25Z")
For lazy people, here it is 🙂 [https://testnet.iohkdev.io](https://testnet.iohkdev.io) ---
**Author:** ![ElliotHill](https://sea1.discourse-cdn.com/flex023/user_avatar/forum.cardano.org/elliothill/32/6382_2.png) [@ElliotHill](https://forum.cardano.org/u/ElliotHill)\ **Post date:** [28 May 2018 13:55 UTC](https://forum.cardano.org/t/cardano-smart-contracts-testnet-release/12427/3 "2018-05-28T13:55:56Z")
Great stuff! ---
**Author:** ![yanik](https://sea1.discourse-cdn.com/flex023/user_avatar/forum.cardano.org/yanik/32/9018_2.png) [@yanik](https://forum.cardano.org/u/yanik)\ **Post date:** [28 May 2018 14:34 UTC](https://forum.cardano.org/t/cardano-smart-contracts-testnet-release/12427/4 "2018-05-28T14:34:30Z")
I cant request Fauce, the following error appears: > An unknown error has occurred. This may be due to an unknown address or component-related error. > > Please confirm the address you are using is correct. > > If you need to raise an issue please refer to support ---
**Author:** ![vantuz-subhuman](https://sea1.discourse-cdn.com/flex023/user_avatar/forum.cardano.org/vantuz-subhuman/32/3976_2.png) [@vantuz-subhuman](https://forum.cardano.org/u/vantuz-subhuman)\ **Post date:** [28 May 2018 14:43 UTC](https://forum.cardano.org/t/cardano-smart-contracts-testnet-release/12427/5 "2018-05-28T14:43:20Z")
> [@yanik](#): > > I cant request Fauce, the following error appears: Hi! I think it would be more suitable to ask about troubles like this in our dev chat 🙂 Might get faster response there. > **[Cardano Developers Official](https://t.me/CardanoDevelopersOfficial)** > > Official Cardano Foundation chatroom for Developers ---
**Author:** ![KazFurukawa](https://sea1.discourse-cdn.com/flex023/user_avatar/forum.cardano.org/kazfurukawa/32/2638_2.png) [@KazFurukawa](https://forum.cardano.org/u/KazFurukawa)\ **Post date:** [28 May 2018 14:54 UTC](https://forum.cardano.org/t/cardano-smart-contracts-testnet-release/12427/6 "2018-05-28T14:54:13Z")
Good information. Thanks, Laurie! ---
**Author:** ![dominik](https://sea1.discourse-cdn.com/flex023/user_avatar/forum.cardano.org/dominik/32/4826_2.png) [@dominik](https://forum.cardano.org/u/dominik)\ **Post date:** [28 May 2018 18:56 UTC](https://forum.cardano.org/t/cardano-smart-contracts-testnet-release/12427/7 "2018-05-28T18:56:03Z")
Is there any tutorial/intro how to actually verify a EVM smart contract and how to deploy it to the Cordano testnet? ---
**Author:** ![vantuz-subhuman](https://sea1.discourse-cdn.com/flex023/user_avatar/forum.cardano.org/vantuz-subhuman/32/3976_2.png) [@vantuz-subhuman](https://forum.cardano.org/u/vantuz-subhuman)\ **Post date:** [28 May 2018 19:19 UTC](https://forum.cardano.org/t/cardano-smart-contracts-testnet-release/12427/8 "2018-05-28T19:19:40Z")
> [@dominik](#): > > Is there any tutorial/intro how to actually verify a EVM smart contract and how to deploy it to the Cordano testnet? I’m not sure what you mean by “verify”, but you can find useful info in the “Get Started” section: [https://testnet.iohkdev.io/goguen/testnet/get-started/using-the-kevm-testnet/](https://testnet.iohkdev.io/goguen/testnet/get-started/using-the-kevm-testnet/) ---
**Author:** ![dominik](https://sea1.discourse-cdn.com/flex023/user_avatar/forum.cardano.org/dominik/32/4826_2.png) [@dominik](https://forum.cardano.org/u/dominik)\ **Post date:** [29 May 2018 03:00 UTC](https://forum.cardano.org/t/cardano-smart-contracts-testnet-release/12427/9 "2018-05-29T03:00:47Z")
The main new idea, in my understanding, for this release is that the KEVM is used. From the website: > KEVM is also an interpreter for EVM, automatically derived from the KEVM specification. You could say that the K specification of EVM is the “source code” for the interpreter. But it is much more than that. KEVM can be used to prove that smart contracts are correct. This is done by specifying a contract’s desired properties in K, combining the contract with the KEVM specification, and then using the K framework to verify those properties. KEVM can be used to check for errors such as integer over and under flows, stack over and under flows, out-of-gas, and other contract generic properties. You can also verify more targeted properties for specific contracts. I was wondering if there are examples or tutorials to verify a Solidity smart contract using the K framework and how to use the wallet to deploy the contract to the testnet. ---
**Author:** ![IOHK\_Laurie](https://sea1.discourse-cdn.com/flex023/user_avatar/forum.cardano.org/iohk_laurie/32/1015_2.png) [@IOHK\_Laurie](https://forum.cardano.org/u/IOHK_Laurie)\ **Post date:** [29 May 2018 09:17 UTC](https://forum.cardano.org/t/cardano-smart-contracts-testnet-release/12427/11 "2018-05-29T09:17:45Z")
Hi yanik, please head over to: [https://testnet.iohkdev.io/goguen/testnet/resources/support-and-help/](https://testnet.iohkdev.io/goguen/testnet/resources/support-and-help/) and submit a ticket. Thanks for your feedback! ---
**Author:** ![Janis\_Ratkevics](https://avatars.discourse-cdn.com/v4/letter/j/edb3f5/32.png) [@Janis\_Ratkevics](https://forum.cardano.org/u/Janis_Ratkevics)\ **Post date:** [30 September 2018 20:50 UTC](https://forum.cardano.org/t/cardano-smart-contracts-testnet-release/12427/13 "2018-09-30T20:50:04Z")
Hello! I am Janis Ratkevics. I working in ministry of Environment protection and regional development of Republic of Latvia. We discuss about possibilities to make regulation for smart contracts. We are interested in some private company, who can make a technological platform for smart contracts. If you are interested in, please contact me at janis.ratkevics@varam.gov.lv