root
API
Generated with
root/org.sigilaris/org.sigilaris.node/org.sigilaris.node.jvm/org.sigilaris.node.jvm.runtime/org.sigilaris.node.jvm.runtime.application/org.sigilaris.node.jvm.runtime.application.v2/HistoricalConsensusSafety

HistoricalConsensusSafety

org.sigilaris.node.jvm.runtime.application.v2.HistoricalConsensusSafety
object HistoricalConsensusSafety

A deliberately conservative documented safe-vote profile: every new vote extends the current locked block through original parent/QC evidence; window watermarks increase lexicographically (height, view). It does not invent or relax the safe-vote rule of an unknown deployment.

Attributes

Source
HistoricalConsensusSafety.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

final class VerifiedSafety

Attributes

Source
HistoricalConsensusSafety.scala
Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

def verify[F[_] : Monad](profile: HistoricalSafetyProfile, originalBytes: Vector[Bytes], consensus: HistoricalConsensusAuthentication[F], history: HistoricalConsensusRepository[F], validators: ValidatorSetLookup[F]): Result[F, VerifiedSafety]

No runtime snapshot can substitute for these complete original rows. The initial trust profile is independently retained deployment birth evidence.

No runtime snapshot can substitute for these complete original rows. The initial trust profile is independently retained deployment birth evidence.

Attributes

Source
HistoricalConsensusSafety.scala
Generated with