Skip to main content

Module fractional_sumcheck_gkr

openvm_stark_backend::verifier

Module fractional_sumcheck_gkr 

Source

Enums§

GkrVerificationError

Functions§

verify_gkr
Verifies the GKR protocol for fractional sumcheck.