Module annotated_proof

Structs

• AnnotatedProof
  AnnotatedProof maps annotated proof json file which contains the original proof and the annotations generated by verifier of stone-prover
• FriParameters
• MemorySegment
  Memory segments for cairo builtins
• ProofParameters
• PublicInput
  Public input for a cairo execution
• PublicMemory
  Public memory for a cairo execution
• StarkParameters