Skip to main content

Documentation Index

Fetch the complete documentation index at: https://docs.starknet.io/llms.txt

Use this file to discover all available pages before exploring further.

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.