slop-challenger 6.0.2

Fiat-Shamir challenger with SP1-specific extensions for SLOP
Documentation

slop-challenger

Fiat-Shamir challenger with SP1-specific extensions.

Built on p3_challenger from Plonky3, with additional functionality:

  • FromChallenger trait needed to enable challengers on GPU.
  • IopCtx trait defining a common collection of trait bounds appearing throughout the proof system.
  • VariableLengthChallenger trait 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.