Packages

package api

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

Type Members

  1. trait Proposer[F[_], A] extends AnyRef
  2. trait Prover[F[_], A] extends AnyRef
  3. trait Verifier[F[_], Datum] extends AnyRef

    A Verifier evaluates whether a given Proof satisfies a certain Proposition

Value Members

  1. object Proposer
  2. object Prover
  3. object Verifier

Ungrouped