Module seq

Sequential (non-parallelized, non-distributed) proving for Stwo.

Structs

• Proof
  The Stwo proof, alongside machine configuration information needed for verification.
• Stwo
  Prover for the Nexus zkVM, when using Stwo.

Enums

• Error
  Errors that occur while proving using Stwo.