Examples.ETransparent.ELogicProof (Anoma v0.32.0)

Summary

Functions

Link to this function

trivial_false_proof()

@spec trivial_false_proof() :: Anoma.RM.Transparent.ProvingSystem.RLPS.Instance.t()
Link to this function

trivial_true_2_nullifier()

@spec trivial_true_2_nullifier() ::
  Anoma.RM.Transparent.ProvingSystem.RLPS.Instance.t()
Link to this function

trivial_true_commitment()

@spec trivial_true_commitment() ::
  Anoma.RM.Transparent.ProvingSystem.RLPS.Instance.t()
Link to this function

trivial_true_eph_nullifier()

@spec trivial_true_eph_nullifier() ::
  Anoma.RM.Transparent.ProvingSystem.RLPS.Instance.t()
Link to this function

trivial_true_swap_proof_commitment()

@spec trivial_true_swap_proof_commitment() ::
  Anoma.RM.Transparent.ProvingSystem.RLPS.Instance.t()
Link to this function

trivial_true_swap_proof_nullifier()

@spec trivial_true_swap_proof_nullifier() ::
  Anoma.RM.Transparent.ProvingSystem.RLPS.Instance.t()