Module binius_core::protocols::msetcheck

The multiset check polynomial protocol.

Multiset check provides a deterministic reduction of multiset equality claims to product check claims (see prove for an in-depth description)

Structs

• MsetcheckClaim
• MsetcheckProveOutput
• MsetcheckWitness

Enums

• Error

Functions

• prove
  Prove a multiset check instance reduction.
• verify
  Verify a multiset check instance reduction.