Checked (vrf_lib_tests.Vrf_lib_tests.Integrated

val eval : 
  'shifted Group.Checked.Shifted.m ->
  private_key:Scalar.var ->
  Message.var ->
  Output_hash.var Snark_params.Tick.Checked.t

val eval_and_check_public_key : 
  'shifted Group.Checked.Shifted.m ->
  private_key:Scalar.var ->
  public_key:Group.var ->
  Message.var ->
  Output_hash.var Snark_params.Tick.Checked.t