Initializes empty witness table of arity 4

Create a new, empty Plookup table, with arity 4.

Generates a new empty `StandardComposer` with all of it's fields set to hold an initial capacity of 0. # Note The usage of this may cause lots of re

Builds a new [`Point`] from `X` and `Y` coordinates. # Safety This method should only be called when we have a guarantee in some [`StandardComposer`

Generates a new structure for preparing a [`WnafRound`] ROUND.

TO BE checked

These are the formulas for the irreducible factors used in the product argument

Returns the Circuit size padded to the next power of two.

Preprocess a circuit to obtain a [`PlonkVerifierKey<F, PC>`] and a circuit descriptor so that the `Verifier` instance can verify [`Proof`]s for this c

Preprocesses the underlying constraint system.

return (x + pre_add)^5 + post_add

Computes the quotient polynomial term for the given gate type for the given value of `selector` instantiated with `separation_challenge` and `values`.

poseidon should output something if num_inputs = arity

poseidon should output something if num_inputs > arity

Tests that a circuit initially has 3 gates.

FIXME: Move this to integration tests

Tests that the circuit gets padded to the correct length. FIXME: We can do this test without dummy_gadget method.

Checks PublicInputs does not allow to override already inserted values.

Checks PublicInputs representation is not affected by insertion order or extra zeros.

Tests that an empty circuit proof passes.