<
Back
Packages
package
root
Definition Classes
root
package
co
Definition Classes
root
package
topl
Definition Classes
co
package
quivr
Definition Classes
topl
package
algebras
Definition Classes
quivr
package
api
Definition Classes
quivr
Proposer
Prover
Verifier
package
runtime
Definition Classes
quivr
p
co
.
topl
.
quivr
api
package
api
Ordering
Alphabetic
Visibility
Public
Protected
Type Members
trait
Proposer
[
F
[
_
]
,
A
]
extends
AnyRef
trait
Prover
[
F
[
_
]
,
A
]
extends
AnyRef
trait
Verifier
[
F
[
_
]
,
Datum
]
extends
AnyRef
A Verifier evaluates whether a given Proof satisfies a certain Proposition
Value Members
object
Proposer
object
Prover
object
Verifier
Ungrouped