p3-uni-stark 0.4.0

A minimal univariate STARK framework providing core components for proof generation and verification.
Documentation