Skip to main content

​
Proof Generation and Verification

In this final section, we cover the implementation of the STARK prover and verifier. This section brings together all the components from previous sections and describes the complete STARK proof generation and verification algorithms. We explain the prove and verify functions used to generate and verify proofs, as introduced in the Writing a Simple AIR section.
This section is organized as follows:
  • STARK Prover: Details the implementation of the proof generation algorithm.
  • STARK Verifier: Describes the verification algorithm.