The low-degree testing protocol inside FASTPQ STARK proofs that lets verifiers check massive execution traces with logarithmic work.
Deep Fri
CryptographyThe low-degree testing protocol inside FASTPQ STARK proofs that lets verifiers check massive execution traces with logarithmic work.
Sections
Definition
The low-degree testing protocol inside FASTPQ STARK proofs that lets verifiers check massive execution traces with logarithmic work.