Convert an ark_poly_commit error

Given a [`MultiSet`], return it in it's bytes representation element by element.

Checks that the [`Variable`]s are valid by determining if they have been added to the system.

Attempts to look up a value from a lookup table. If successful, all four elements are pushed to their respective multisets.

Verifies a [`Proof`] using `pc_verifier_key` and `public_inputs`.

Verifies a proof using the provided `CircuitInputs` & `VerifierKey` instances.

Creates a Permutation struct with an expected capacity of `n`.

Creates a [`MultiSet`] witch capacity for `len` elements

Creates a new `Verifier` instance with some expected size.

Creates a new `Prover` object with some expected size.

Creates a new circuit with an expected circuit size. This will allow for less reallocations when building the circuit since the `Vec`s will already ha

Creates a `MultiSet` of length `len` filled with zeros

Returns the `X`-coordinate of `self`.

Creates an xor table for addends from the lower bound up to the upper bound 2^n

Returns the `Y`-coordinate of `self`.