Scalus
1.5.0
Generated with
Scalus/scalus/scalus.cardano/scalus.cardano.ledger/scalus.cardano.ledger.rules/StakeCertificatesValidator

StakeCertificatesValidator

scalus.cardano.ledger.rules.StakeCertificatesValidator
object StakeCertificatesValidator extends Validator

Attributes

Graph
Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type

Members list

Type members

Types

final override type Error = StakeCertificatesException

Inherited types

final type Context = Context

Attributes

Inherited from:
STS
final type Event = Transaction

Attributes

Inherited from:
STS
final type Result = Either[Error, Value]

Attributes

Inherited from:
STS
final type State = State

Attributes

Inherited from:
STS
final override type Value = Unit

Attributes

Inherited from:
Validator

Value members

Concrete methods

override def validate(context: Context, state: State, event: Event): Result

Checks the certificates against the accounts after the withdrawals of the same tx, as the Conway LEDGER rule drains withdrawals before CERTS, spec [SC-3a]. So a tx can withdraw the full balance and deregister the account.

Checks the certificates against the accounts after the withdrawals of the same tx, as the Conway LEDGER rule drains withdrawals before CERTS, spec [SC-3a]. So a tx can withdraw the full balance and deregister the account.

A phase-2-invalid tx skips this check: Conway LEDGER runs CERTS only when isValid is true, spec [SC-3f].

Attributes

Definition Classes

Inherited methods

final override def apply(context: Context, state: State, event: Event): Result

Attributes

Definition Classes
Inherited from:
Validator
def name: String

Attributes

Inherited from:
STS
Generated with