| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cooked.Validators
Description
This module introduces standard dummy validators to be used in attacks, traces or tests. More precisely, it introduces the always True and always False validators, which will respectively always succeed or always fail.
Synopsis
- alwaysTrueValidator :: forall a. TypedValidator a
- alwaysFalseValidator :: forall a. TypedValidator a
- alwaysFalseProposingValidator :: Versioned Script
- alwaysTrueProposingValidator :: Versioned Script
- mkScript :: CompiledCode (BuiltinData -> BuiltinData -> ()) -> Versioned Script
- validatorToTypedValidator :: Validator -> TypedValidator a
- validatorToTypedValidatorV2 :: Validator -> TypedValidator a
- data MockContract
Documentation
alwaysTrueValidator :: forall a. TypedValidator a Source #
The trivial validator that always succeds; this is in particular a sufficient target for the datum hijacking attack since we only want to show feasibility of the attack.
alwaysFalseValidator :: forall a. TypedValidator a Source #
The trivial validator that always fails
alwaysFalseProposingValidator :: Versioned Script Source #
A dummy false proposing validator
alwaysTrueProposingValidator :: Versioned Script Source #
A dummy true proposing validator
mkScript :: CompiledCode (BuiltinData -> BuiltinData -> ()) -> Versioned Script Source #
Helper to build a script. This should come from plutus-script-utils at some point.
data MockContract Source #
A Mock contract type to instantiate validators with
Instances
| ValidatorTypes MockContract Source # | |
Defined in Cooked.Validators | |
| type DatumType MockContract Source # | |
Defined in Cooked.Validators | |
| type RedeemerType MockContract Source # | |
Defined in Cooked.Validators | |