package sdk

Get desktop application:
View/edit binary Protocol Buffers messages

• rpc SubmitProof (ProofSubmissionRequest, ProofSubmissionResponse)

  service.proto:28

  message ProofSubmissionRequest

  service.proto:16

  • optional StarkProof proof = 1

  • optional MidenPublicInputs public_inputs = 2

  • SourceProofSystem source_proof_system = 3

  • TargetChain target_chain = 4

  message ProofSubmissionResponse

  service.proto:23

  • string receipt = 1

Used in: ConstraintQueries, FriProofLayer, TraceQueries

• repeated Digest leaves = 1

• repeated BatchMerkleProofLayer nodes = 2

• uint32 depth = 3

Used in: BatchMerkleProof

• repeated Digest nodes = 1

Used in: StarkProof

• repeated Digest trace_roots = 1

• optional Digest constraint_root = 2

• repeated Digest fri_roots = 3

Used in: StarkProof

• optional Table evaluations = 1

• optional BatchMerkleProof query_proof = 2

Used in: StarkProof

• optional TraceLayout trace_layout = 1

• uint64 trace_length = 2

• bytes trace_meta = 3

• optional FieldElement field_modulus = 4

• optional ProofOptions options = 5

Used in: BatchMerkleProof, BatchMerkleProofLayer, Commitments, MidenPublicInputs

• bytes data = 2

  digest bytes

Used in: OodFrame

• repeated FieldElement current = 1

• repeated FieldElement next = 2

Used in: Context, EvaluationFrame, FriProof, FriProofLayer, MidenProgramOutputs, MidenPublicInputs, OodFrame, Table

• bytes element = 2

  element le bytes

Used in: ProofOptions

• NONE = 0

  we do not support field extension yet

  QUADRATIC = 2; CUBIC = 3;

Used in: StarkProof

• repeated FriProofLayer layers = 1

  TODO - convert to prover agnostic format, now it's miden specific

• repeated FieldElement remainder = 2

• uint32 num_partitions = 3

  stored as power of 2

Used in: FriProof

• repeated FieldElement values = 1

• optional BatchMerkleProof proofs = 2

Used in: ProofOptions

• BLAKE2S = 0

  we only support blake2s for now

We will use a WASM module as the prover, so these data types will be used to interact with it

• string program = 1

• repeated uint64 stack_init = 1

• repeated uint64 advice_tape = 2

  TODO do we need these? advice_map: BTreeMap<[u8; 32], Vec<Felt>>, advice_sets: BTreeMap<[u8; 32], AdviceSet>,

Used in: MidenPublicInputs

• repeated FieldElement stack = 1

  / The elements on the stack at the end of execution.

• repeated FieldElement overflow_addrs = 2

  / The overflow table row addresse required to reconstruct the final state of the table.

Used in: ProofSubmissionRequest

• optional Digest program_hash = 1

• repeated FieldElement stack_inputs = 2

• optional MidenProgramOutputs outputs = 3

Used in: StarkProof

• optional EvaluationFrame main_frame = 1

• optional EvaluationFrame aux_frame = 2

• repeated FieldElement evaluations = 3

Used in: ProofOptions

• GOLDILOCKS = 0

  goldilocks field represented by 64 bit field elements

Used in: Context

• uint32 num_queries = 1

• uint32 blowup_factor = 2

• uint32 grinding_factor = 3

• HashFunction hash_fn = 4

• FieldExtension field_extension = 5

• uint32 fri_folding_factor = 6

• uint32 fri_max_remainder_size = 7

• PrimeField prime_field = 8

Used in: ProofSubmissionRequest

• MIDEN = 0

A STARK proof for a computation.

Used in: ProofSubmissionRequest

• optional Context context = 1

  Basic metadata about the execution of the computation described by this proof.

• optional Commitments commitments = 2

  Commitments made by the prover during the commit phase of the protocol.

• optional TraceQueries trace_queries = 3

  Decommitments of extended execution trace values (for all trace segments) at position queried by the verifier.

• optional ConstraintQueries constraint_queries = 4

  Decommitments of constraint composition polynomial evaluations at positions queried by the verifier.

• optional OodFrame ood_frame = 5

  Trace and constraint polynomial evaluations at an out-of-domain point.

• optional FriProof fri_proof = 6

  Low-degree proof for a DEEP composition polynomial.

• uint64 pow_nonce = 7

  Proof-of-work nonce for query seed grinding.

Used in: ConstraintQueries, TraceQueries

• uint32 n_rows = 1

• uint32 n_cols = 2

• repeated FieldElement elements = 3

  stored as a single dim vector each row at a time

Used in: ProofSubmissionRequest

• STARKNET = 0

Used in: Context

• uint64 main_segment_width = 1

• repeated uint64 aux_segment_widths = 2

• repeated uint64 aux_segment_rands = 3

• uint64 num_aux_segments = 4

Used in: StarkProof

• optional Table main_states = 1

• optional Table aux_states = 2

• repeated BatchMerkleProof query_proofs = 3