Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #296 from cardano-foundation/not-a-testnet
change structure to reflect name changes
- Loading branch information
Showing
23 changed files
with
119 additions
and
129 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,7 @@ | ||
--- | ||
title: Glow | ||
description: Root navigation | ||
order: 3 | ||
parent: '2020-11-18_12-00-00_programming-languages' | ||
last_updated: "2020-07-09T17:00:00+01:00" | ||
--- |
4 changes: 2 additions & 2 deletions
4
resources/content/articles/en/2020-05-04_06-00-00_plutus-en.md
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,7 +1,7 @@ | ||
--- | ||
title: Plutus | ||
description: Root navigation | ||
order: 4 | ||
parent: '' | ||
order: 1 | ||
parent: '2020-11-18_12-00-00_programming-languages' | ||
last_updated: "2020-07-09T17:00:00+01:00" | ||
--- |
This file was deleted.
Oops, something went wrong.
7 changes: 7 additions & 0 deletions
7
resources/content/articles/en/2020-05-04_07-00-00_virtual-machines-en.md
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,7 @@ | ||
--- | ||
title: Virtual Machines | ||
description: Root navigation | ||
order: 2 | ||
parent: '' | ||
last_updated: "2020-05-01T09:00:00+01:00" | ||
--- |
4 changes: 2 additions & 2 deletions
4
resources/content/articles/en/2020-05-04_08-00-00_marlowe-en.md
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,7 +1,7 @@ | ||
--- | ||
title: Marlowe | ||
description: Root navigation | ||
order: 5 | ||
parent: '' | ||
order: 2 | ||
parent: '2020-11-18_12-00-00_programming-languages' | ||
last_updated: "2020-05-01T09:00:00+01:00" | ||
--- |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,7 +1,7 @@ | ||
--- | ||
title: IELE | ||
description: IELE section | ||
parent: 2020-05-04_07-00-00_more | ||
order: 2 | ||
parent: 2020-05-04_07-00-00_virtual-machines | ||
order: 3 | ||
last_updated: "2020-05-01T09:00:00+01:00" | ||
--- |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,7 +1,7 @@ | ||
--- | ||
title: KEVM | ||
description: KEVM section | ||
parent: 2020-05-04_07-00-00_more | ||
order: 1 | ||
parent: 2020-05-04_07-00-00_virtual-machines | ||
order: 2 | ||
last_updated: "2020-05-01T09:00:00+01:00" | ||
--- |
7 changes: 7 additions & 0 deletions
7
resources/content/articles/en/2020-11-18_12-00-00_programming-languages-en.md
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,7 @@ | ||
--- | ||
title: Programming Languages | ||
description: Root navigation | ||
order: 3 | ||
parent: '' | ||
last_updated: "2020-07-09T17:00:00+01:00" | ||
--- |
7 changes: 7 additions & 0 deletions
7
resources/content/articles/en/2020-11-18_12-00-00_testnets-en.md
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,7 @@ | ||
--- | ||
title: Testnets | ||
description: Root navigation | ||
order: 1 | ||
parent: '' | ||
last_updated: "2020-05-01T09:00:00+01:00" | ||
--- |
7 changes: 7 additions & 0 deletions
7
resources/content/articles/en/2020-11-25_09-00-00_development-environments-en.md
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,7 @@ | ||
--- | ||
title: Development Environments | ||
description: Root navigation | ||
order: 1 | ||
parent: '' | ||
last_updated: "2020-11-25T09:00:00+01:00" | ||
--- |
16 changes: 16 additions & 0 deletions
16
resources/content/articles/en/2020-11-25_09-00-00_native-tokens-en.md
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,16 @@ | ||
--- | ||
title: Native tokens | ||
description: Native tokens in Cardano | ||
parent: 2020-11-25_09-00-00_development-environments | ||
order: 5 | ||
last_updated: "2020-12-03T09:00:00+01:00" | ||
--- | ||
## COMING SOON... | ||
|
||
Native Tokens is the name of Cardano's Multi-Asset (MA) support feature, which enables users to transact with ada, and an unlimited number of user-defined (custom) tokens natively. | ||
|
||
Native support offers distinct advantages for developers: there is no need to create smart contracts to handle custom tokens, for example, which removes a layer of added complexity and potential for manual errors since the ledger handles all token-related functionality. | ||
|
||
The Native Tokens feature extends the existing accounting infrastructure defined in the ledger model (originally designed for processing ada-only transactions) to accommodate transactions using a range of assets. These assets include ada and a variety of user-defined custom token types. | ||
|
||
We’ll be expanding these pages over the weeks and months ahead; [take our short survey](https://input-output.typeform.com/c/OJsf0XcD) to be kept informed of the latest updates. |
17 changes: 17 additions & 0 deletions
17
resources/content/articles/en/2020-11-25_09-00-00_overview-en.md
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,17 @@ | ||
--- | ||
title: Overview | ||
description: Glow | ||
order: 1 | ||
parent: 2020-05-04_06-00-00_glow | ||
last_updated: "2020-12-03T17:00:00+01:00" | ||
hasNoChildContent: true | ||
--- | ||
## Overview | ||
|
||
Glow is a new domain specific language (DSL) for developing decentralized applications (dApps) on blockchain. With Glow, you can write secure dApps and be assured that your smart contracts can run safely in an adversarial environment. Glow is the brainchild of Mukn, a valued community partner within the Cadano ecosystem. | ||
|
||
Glow is a language to develop not just a smart contract, but an entire dApp itself, which also includes client code and formal proofs. It is backed by formal methods that are intrinsically built into the language and its actual implementation. It is this inherent correctness of the language that means the code will perform as expected and the dApp will behave as users want (so users do not have their transactions blocked or their assets locked). | ||
|
||
Additionally, the Glow compiler generates matching client code, and a logical model of your dApp, so you can actually prove that it is correct prior to deploying it. From a single Glow specification, the compiler will generate matching code for both the dApp client and the smart contract itself. The runtime component tracks the code versions to ensure you are always using the correct, matching, and trusted versions of both the client and smart contract. Finally, since correctness is such a priority for dApps, Glow helps you specify a logical model of your dApp, so you can formally verify that it is indeed correct. | ||
|
||
We are currently working on additional documentation to support our integration with Glow, and explain exactly how you can use and interact with this language. New content will be added to this website soon, so we encourage you to check this site regularly for these updates. |
20 changes: 20 additions & 0 deletions
20
resources/content/articles/en/2020-12-01_09-00-00_comingsoon-en.md
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,20 @@ | ||
--- | ||
title: Coming soon | ||
description: Virtual Machines coming soon | ||
parent: 2020-05-04_07-00-00_virtual-machines | ||
order: 1 | ||
last_updated: "2020-12-03T09:00:00+01:00" | ||
hasNoChildContent: true | ||
|
||
--- | ||
## COMING SOON... | ||
|
||
As Cardano thrives and evolves, the network is expanding its reach and interoperability by creating novel avenues of cooperation. We are now opening Cardano up to the Solidity/Ethereum community via a compatible and interoperable platform using their native code. | ||
|
||
Such a framework, when implemented, will create a permanent bridge that will enable developers to work seamlessly across both ecosystems, now and into the future. | ||
|
||
To this end, we are restarting and accelerating the K Ethereum Virtual Machine (EVM) program. The EVM runs within the K Framework, a semantics platform used to create formally-verified programming languages and VMs. | ||
|
||
K enables developers to define or implement the formal semantics of a programming language in an intuitive and modular way. K also generates an executable, 'correct by construction VM' from its formal specification, which is fast and powerful enough to run real programs and smart contracts. Long term, in partnership with our friends at Runtime Verification, we want to build a K environment where we can just 'plug-and-play' new VMs. | ||
|
||
We’ll be expanding these pages over the weeks and months ahead; [take our short survey](https://input-output.typeform.com/c/OJsf0XcD) to be kept informed of all the latest updates. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,20 +1,20 @@ | ||
--- | ||
title: en (English) site content | ||
head: | ||
title: Cardano Testnets | ||
title: Cardano Developers | ||
meta: | ||
- { name: "description", content: "Documentation for Cardano testnets.", file: "" } | ||
- { name: "description", content: "Documentation for Cardano Developers.", file: "" } | ||
- { name: "language", content: "en", file: "" } | ||
- { name: "twitter:card", content: "summary", file: "" } | ||
- { name: "twitter:title", content: "Cardano Testnets", file: "" } | ||
- { name: "twitter:description", content: "Documentation for Cardano testnets.", file: "" } | ||
- { name: "twitter:title", content: "Cardano Developers", file: "" } | ||
- { name: "twitter:description", content: "Documentation for Cardano Developers.", file: "" } | ||
- { name: "twitter:site", content: "@CardanoStiftung", file: "" } | ||
- { name: "twitter:creator", content: "@CardanoStiftung", file: "" } | ||
- { name: "twitter:image", content: "https://ucarecdn.com/e3e4c8eb-2d13-4583-80cd-881490903513/", file: "" } | ||
- { name: "og:title", content: "Cardano Testnets", file: "" } | ||
- { name: "og:title", content: "Cardano Developers", file: "" } | ||
- { name: "og:type", content: "website", file: "" } | ||
- { name: "og:description", content: "Documentation for Cardano testnets.", file: "" } | ||
- { name: "og:site_name", content: "Cardano Testnets", file: "" } | ||
- { name: "og:description", content: "Documentation for Cardano Developers.", file: "" } | ||
- { name: "og:site_name", content: "Cardano Developers", file: "" } | ||
- { name: "og:image", content: "https://ucarecdn.com/e3e4c8eb-2d13-4583-80cd-881490903513/", file: "" } | ||
- { name: "robots", content: "index,follow", file: "" } | ||
--- |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,6 +1,6 @@ | ||
--- | ||
title: en (English) site content | ||
head: | ||
title: Cardano Testnets | ||
title: Cardano Developers | ||
meta: [] | ||
--- |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,8 +1,8 @@ | ||
--- | ||
title: en (English) site content | ||
head: | ||
title: Cardano Testnets - Search | ||
title: Cardano Developers - Search | ||
meta: | ||
- { name: "twitter:title", content: "Cardano Testnets - Search", file: "" } | ||
- { name: "og:title", content: "Cardano Testnets - Search", file: "" } | ||
- { name: "twitter:title", content: "Cardano Developers - Search", file: "" } | ||
- { name: "og:title", content: "Cardano Developers - Search", file: "" } | ||
--- |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters