trait Credentialler[F[_]] extends AnyRef
Defines a Credentialler. A Credentialler is responsible for proving and verifying transactions.
- Alphabetic
- By Inheritance
- Credentialler
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Abstract Value Members
- abstract def prove(unprovenTx: IoTransaction): F[IoTransaction]
Prove a transaction.
Prove a transaction. That is, prove all the inputs within the transaction if possible
Note: If a proposition is unable to be proven, it's proof will be Proof.Value.Empty
- unprovenTx
The unproven transaction to prove
- returns
The proven version of the transaction.
- abstract def proveAndValidate(unprovenTx: IoTransaction, ctx: Context[F]): F[Either[List[ValidationError], IoTransaction]]
Prove and validate a transaction.
Prove and validate a transaction. That is, attempt to prove all the inputs within the transaction and then validate if the transaction is syntactically valid and successfully proven
- unprovenTx
The unproven transaction to prove
- returns
The proven version of the input if valid. Else the validation errors
- abstract def validate(tx: IoTransaction, ctx: Context[F]): F[List[ValidationError]]
Validate whether the transaction is syntactically valid and authorized.
Validate whether the transaction is syntactically valid and authorized. A Transaction is authorized if all contained attestations are satisfied
TODO: Revisit when we have cost estimator to decide which validations should occur
- tx
Transaction to validate
- ctx
Context to validate the transaction in
- returns
List of validation errors, if any
Concrete Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @HotSpotIntrinsicCandidate() @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @HotSpotIntrinsicCandidate() @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @HotSpotIntrinsicCandidate() @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @HotSpotIntrinsicCandidate() @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @HotSpotIntrinsicCandidate() @native()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated
(Since version 9)