Examples.ETransparent.ELogicProof (Anoma v0.34.0)

Summary

Functions

trivial_false_proof()
trivial_true_2_nullifier()
trivial_true_commitment()
trivial_true_eph_nullifier()
trivial_true_swap_proof_commitment()
trivial_true_swap_proof_nullifier()

Functions

trivial_false_proof()

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

trivial_true_2_nullifier()

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

trivial_true_commitment()

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

trivial_true_eph_nullifier()

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

trivial_true_swap_proof_commitment()

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

trivial_true_swap_proof_nullifier()

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