Structs§
- Prover
- The prover for Triton VM’s zk-STARK. The core method is
prove. It is probably more convenient to callStark::provedirectly. - 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 callStark::verifydirectly.
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.