Forge (octez-protocol-alpha-libs.Tezos_protocol_plugin

module S : sig ... end

val register : unit -> unit

module Manager : sig ... end

val operation : 
  'a Tezos_protocol_alpha.Environment.RPC_context.simple ->
  'a ->
  branch:Tezos_protocol_environment_alpha.Block_hash.t ->
  'b Tezos_protocol_alpha.Protocol.Alpha_context.contents ->
  Tezos_protocol_environment_alpha.Bytes.t
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val attestation : 
  'a Tezos_protocol_alpha.Environment.RPC_context.simple ->
  'a ->
  branch:Tezos_protocol_environment_alpha.Block_hash.t ->
  consensus_content:
    Tezos_protocol_alpha.Protocol.Alpha_context.consensus_content ->
  ?dal_content:Tezos_protocol_alpha.Protocol.Alpha_context.dal_content ->
  unit ->
  Tezos_protocol_environment_alpha.Bytes.t
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val proposals : 
  'a Tezos_protocol_alpha.Environment.RPC_context.simple ->
  'a ->
  branch:Tezos_protocol_environment_alpha.Block_hash.t ->
  source:Tezos_protocol_alpha.Protocol.Alpha_context.public_key_hash ->
  period:int32 ->
  proposals:Tezos_protocol_environment_alpha.Protocol_hash.t list ->
  unit ->
  Tezos_protocol_environment_alpha.Bytes.t
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val ballot : 
  'a Tezos_protocol_alpha.Environment.RPC_context.simple ->
  'a ->
  branch:Tezos_protocol_environment_alpha.Block_hash.t ->
  source:Tezos_protocol_alpha.Protocol.Alpha_context.public_key_hash ->
  period:int32 ->
  proposal:Tezos_protocol_environment_alpha.Protocol_hash.t ->
  ballot:Tezos_protocol_alpha.Protocol.Alpha_context.Vote.ballot ->
  unit ->
  Tezos_protocol_environment_alpha.Bytes.t
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val failing_noop : 
  'a Tezos_protocol_alpha.Environment.RPC_context.simple ->
  'a ->
  branch:Tezos_protocol_environment_alpha.Block_hash.t ->
  message:string ->
  unit ->
  Tezos_protocol_environment_alpha.Bytes.t
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val seed_nonce_revelation : 
  'a Tezos_protocol_alpha.Environment.RPC_context.simple ->
  'a ->
  branch:Tezos_protocol_environment_alpha.Block_hash.t ->
  level:Tezos_protocol_alpha.Protocol.Alpha_context.Raw_level.t ->
  nonce:Tezos_protocol_alpha.Protocol.Alpha_context.Nonce.t ->
  unit ->
  Tezos_protocol_environment_alpha.Bytes.t
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val vdf_revelation : 
  'a Tezos_protocol_alpha.Environment.RPC_context.simple ->
  'a ->
  branch:Tezos_protocol_environment_alpha.Block_hash.t ->
  solution:Tezos_protocol_alpha.Protocol.Alpha_context.Seed.vdf_solution ->
  unit ->
  Tezos_protocol_environment_alpha.Bytes.t
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val double_baking_evidence : 
  'a Tezos_protocol_alpha.Environment.RPC_context.simple ->
  'a ->
  branch:Tezos_protocol_environment_alpha.Block_hash.t ->
  bh1:Tezos_protocol_alpha.Protocol.Alpha_context.Block_header.t ->
  bh2:Tezos_protocol_alpha.Protocol.Alpha_context.Block_header.t ->
  unit ->
  Tezos_protocol_environment_alpha.Bytes.t
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val double_consensus_operation_evidence : 
  'a Tezos_protocol_alpha.Environment.RPC_context.simple ->
  'a ->
  branch:Tezos_protocol_environment_alpha.Block_hash.t ->
  slot:Tezos_protocol_alpha.Protocol.Alpha_context.Slot.t ->
  op1:
    'b Tezos_protocol_alpha.Protocol.Alpha_context.Kind.consensus
      Tezos_protocol_alpha.Protocol.Alpha_context.operation ->
  op2:
    'c Tezos_protocol_alpha.Protocol.Alpha_context.Kind.consensus
      Tezos_protocol_alpha.Protocol.Alpha_context.operation ->
  unit ->
  Tezos_protocol_environment_alpha.Bytes.t
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val dal_entrapment_evidence : 
  'a Tezos_protocol_alpha.Environment.RPC_context.simple ->
  'a ->
  branch:Tezos_protocol_environment_alpha.Block_hash.t ->
  attestation:
    'b Tezos_protocol_alpha.Protocol.Alpha_context.Kind.consensus
      Tezos_protocol_alpha.Protocol.Alpha_context.operation ->
  consensus_slot:Tezos_protocol_alpha.Protocol.Alpha_context.Slot.t ->
  slot_index:Tezos_protocol_alpha.Protocol.Alpha_context.Dal.Slot_index.t ->
  shard_with_proof:
    Tezos_protocol_alpha.Protocol.Alpha_context.Dal.Shard_with_proof.t ->
  Tezos_protocol_environment_alpha.Bytes.t
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val empty_proof_of_work_nonce : bytes