package tezos-smart-rollup-alpha

You can search for identifiers within the package.

in-package search v0.2.0

tezos-smart-rollup-alpha
- Tezos_smart_rollup_alpha
  - Context_helpers
    
    In_memory
    
    Tree
  - Game_helpers
    
    Wasm
  - Proof_helpers
  - Pvm_in_memory
    
    Arith
    
    Internal_for_tests
    
    S
    
    Internal_for_tests
    
    Wasm
    
    Internal_for_tests

Legend:
Library
Module
Module type
Parameter
Class
Class type

val origination_proof : 
  boot_sector:string ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Kind.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Proof.serialized
    Tezos_protocol_alpha.Environment.Error_monad.tzresult
    Lwt.t

origination_proof ~boot_sector kind instantiate a kind PVM with an in memory context and produce the origination_proof for boot_sector