slop-challenger
Fiat-Shamir challenger with SP1-specific extensions.
Built on p3_challenger from Plonky3, with additional functionality:
FromChallengertrait needed to enable challengers on GPU.IopCtxtrait defining a common collection of trait bounds appearing throughout the proof system.VariableLengthChallengertrait for variable-length challenge absorption.
The challenger provides the randomness needed to make interactive proofs non-interactive via the Fiat-Shamir heuristic.
License
This crate builds on Plonky3, which is licensed under MIT/Apache-2.0.
Part of SLOP, the Succinct Library of Polynomials.