Module binius_core::protocols::msetcheck
source · Expand description
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§
Enums§
Functions§
- Prove a multiset check instance reduction.
- Verify a multiset check instance reduction.