From 3ad2a7e9dcba912918e2524a652509a8692da818 Mon Sep 17 00:00:00 2001 From: Kirk Haines Date: Wed, 15 Nov 2023 14:07:34 -0700 Subject: [PATCH] Backport a couple comments from a recent blog article about cross-chain transactions (#19) --- content/module-1/4-protocol.md | 2 +- content/module-1/5-cross-subnet.md | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/content/module-1/4-protocol.md b/content/module-1/4-protocol.md index 7891f0a..32c7bd3 100644 --- a/content/module-1/4-protocol.md +++ b/content/module-1/4-protocol.md @@ -21,7 +21,7 @@ Do not be intimidated by the above diagram, as you will review its details in th ## Subnets -Topos allows communication across so-called **subnets**. A subnet is a set of components including a state machine. This state machine can be a blockchain, which will be the focus here. +Topos allows communication across so-called **subnets**. A subnet is composed of components including a state machine. This state machine can be a blockchain, and it will commonly be a blockchain, which will be the focus here. It is important to note, however, that there is no requirement for the state machine to be a blockchain. Thus, a subnet could be built around a legacy applications, databases, key-value stores, and anything else that can be represented as a state machine. ![Topos component - subnet](./images/topos-components-subnet.png) diff --git a/content/module-1/5-cross-subnet.md b/content/module-1/5-cross-subnet.md index 6f145b1..353227f 100644 --- a/content/module-1/5-cross-subnet.md +++ b/content/module-1/5-cross-subnet.md @@ -41,7 +41,7 @@ While holding immense potential, cross-chain transactions pose significant chall -Blockchains are designed to be **self-sufficient decentralized ledgers**. The internal state is the result of deterministic computation. In summary: +Blockchains are designed to be **self-sufficient decentralized ledgers**, with the state of a given instance of a blockchain being the only correct interpretation of the history of that instance. The internal state is the result of deterministic computation. In summary: * An initial state was created, according to a prescribed protocol. * Cryptographically signed transactions occurred, according to a prescribed protocol. @@ -109,7 +109,7 @@ In the current example, inclusion is proven with: ### Validity proof -Instead of proving the validity of a subnet's state transitions by re-executing the transactions, Topos leverages **validity proofs** of execution. These proofs allow for the verification of complex subnet computations without requiring each verifying actor to perform the computations themselves, or even to have access to all of the underlying and potentially sensitive data (such as state or transaction details). The information necessary to verify the proof is included in a certificate and exchanged over the Transmission Control Engine (TCE). +Instead of proving the validity of a subnet's state transitions by re-executing the transactions, Topos leverages **validity proofs** of execution. These proofs allow for the verification of subnet state transitions without requiring each verifying actor to perform the state transitions themselves, or even to have access to all of the underlying and potentially sensitive data (such as state or transaction details). The information necessary to verify the proof is included in a certificate and exchanged over the Transmission Control Engine (TCE). In the current example, a validity proof is created based on the following elements: