binius_core

Module constraint_system

source

Modules§

Structs§

Functions§

  • Generates a proof that a witness satisfies a constraint system with the standard FRI PCS.
  • Verifies a proof against a constraint system.

Type Aliases§

  • Constraint system proof with the standard PCS.