../../.cargo/katex-header.html

Module starky::stark

source ·
Expand description

Implementation of the Stark trait that defines the set of constraints related to a statement.

Traits§

  • Stark
    Represents a STARK system.