Module annotation_parser

Structs

• SplitProofs
  SplitProofs maps the split proof json file which contains the main proof and the merkle statements

Functions

• split_fri_merkle_statements
  This is the main function to use to split an AnnotatedProof file into a SplitProofs file. This processes the annotations of the original proof, and extra annotations prepared by a verifier, and returns a shortened proof (with merkle decommitments removed) in binary form, and a dictionary merkles_statements from the names of the merkle commitments used in the proof to dictionaries containing all data necessary for registering them in the Merkle Fact Registry.