Module stark

Structs

• Prover
  The prover for Triton VM’s zk-STARK. The core method is prove. It is probably more convenient to call Stark::prove directly.
• Stark
  Parameters for the Zero-Knowledge Scalable Transparent ARgument of Knowledge (STARK) for Triton VM.
• Verifier
  The verifier for Triton VM’s zs-STARK. The core method is verify. It is probably more convenient to call Stark::verify directly.

Constants

• NUM_QUOTIENT_SEGMENTS
  The number of segments the quotient polynomial is split into. Helps keeping the FRI domain small.
• NUM_RANDOMIZER_POLYNOMIALS
  The number of randomizer polynomials over the extension field used in the STARK. Integral for achieving zero-knowledge in FRI.