From f2aaa43126b0200a29b8ad82d4ffb7ceccea28ba Mon Sep 17 00:00:00 2001 From: Kirk Haines Date: Mon, 2 Oct 2023 19:20:31 -0600 Subject: [PATCH] Apply David's suggestions, and add a definition for equivocation. --- content/glossary.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/content/glossary.md b/content/glossary.md index 0bd3ac8..9038f4a 100644 --- a/content/glossary.md +++ b/content/glossary.md @@ -239,6 +239,9 @@ A modern form of [asymmetric cryptography](./glossary.html#asymmetric-key-crypto ### Epoch In Topos, an epoch refers to a continuous sequence of $r$ blocks, denoted as $Ep = {bl_1, bl_2, ... , bl_r}$. The specific number $r$ is a system parameter. Typically, an epoch corresponds to approximately 24 hours. +### Equivocation +This refers to a type of misbehavior where a participant in the system sends conflicting or contradictory information. Such behavior can disrupt consensus mechanisms, leading to potential double spends or system errors. + ### Event An "event" represents a specific action in a process. @@ -417,7 +420,7 @@ See discussion, and the original definition, based on the NIST definition of *bl ### Linearization -Ensures that operations in a concurrent system appear as if they were executed sequentially, even if they occur simultaneously. It provides an illusion that every operation acts instantaneously between its start and finish, allowing concurrent object operations to be described by pre and post conditions. A system is linearizable when each of its individual objects is linearizable, distinguishing it from properties like sequential consistency. The concept is fundamental to the "C" (consistency) in the CAP Theorem. For a given operation, the linearization point, or the moment it seems to occur atomically, is its critical section. Contrastingly, [Serializability](./glossary.html#serializability)* concerns transactions involving multiple operations over various objects, ensuring they align with a particular serial order. +Ensures that operations in a concurrent system appear as if they were executed sequentially, even if they occur simultaneously. It provides an illusion that every operation acts atomically between its start and finish, allowing concurrent object operations to be described by pre and post conditions. A system is linearizable when each of its individual objects is linearizable, distinguishing it from properties like sequential consistency. The concept is fundamental to the "C" (consistency) in the CAP Theorem. For a given operation, the linearization point, or the moment it seems to occur atomically, is its critical section. Contrastingly, [Serializability](./glossary.html#serializability)* concerns transactions involving multiple operations over various objects, ensuring they align with a particular serial order. @@ -466,7 +469,7 @@ Pertains to the rules and guarantees about how messages are delivered among diff * *Causal Order Delivery*: The order preserves the sequence of messages based on their cause-and-effect relationship. If a message "$a$" is delivered before message "$b$" is sent, then "$a$" will always precede "$b$". Likewise, if a sender sends message "$b$" before dispatching message "$c$", "$c$" will always come after "$b$". ### Oracle -An oracle is a component that facilitates communication between blockchain networks and external data sources. It provides smart contracts with access to real-world information, events, or conditions that are outside the native blockchain, enabling them to execute decisions based on external data. Oracles are crucial for enhancing the functionality and applicability of smart contracts across multiple real-world use cases. +An oracle is a component that facilitates communication between blockchain networks and external data sources. It provides smart contracts with access to real-world information, events, or conditions that are outside the native blockchain, enabling enabling the chain to execute decisions based on external data. Oracles are crucial for enhancing the functionality and applicability of smart contracts across multiple real-world use cases. ### plonky2 The proving/verifying backend for the zk-EVM STARK proof, in Rust.