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()